[RFC / Patch] C++/26099 or front-end support to type traits

[Paolo Carlini]

Gabriel Dos Reis wrote:

>I was hoping that we would not need to use C++ template syntax.  I was
>hoping that the actual syntax should be C compatible
>
>   __trait__(T, __has_trivial_constructor__)
>
>where the first argument is a type, and the second could be made an
>enumeration (known to the compiler), or just identifiers à la
>offsetof, or GNU C attributes; with __trait__ itself a built in
>function as apposed to a keyword.
>  
>
I see, I couldn't imagine we wanted a so-different syntax... I should be 
able to prepare it reasonably quickly (in the new parser things are 
rather easy), can you help me a bit about the built in function thing? 
Where should I start?

Paolo.