Canonical type nodes, or, comptypes considered harmful

[Gabriel Dos Reis]

Benjamin Kosnik <bkoz@redhat.com> writes:

[...]

| My suggestion, which I've not seen here before, is to allow end-users
| to configure this. I see the need for both kinds of behavior: people
| who want to see the "real type" of the thing that they are using, and
| people who need "shorthands" to deal with complex types and the
| compilation errors that result (and will result, even with concepts.)
| 
| Maybe:
| -Wtypedef-as-underlying-type
| 
| This will also give programmers a way to make tradeoffs that impact
| compile-time performance. There's no need to hard wire this.

Indeed.  

We already have 
   -fdiagnostics-show-location=[once|every-line]
   -fdiagnostics-show-location

apparebtly, we are missing

   -fdiagnostics-show-typedef-name

-- gaby