[RFC] std.experimental.concepts

[Daniel N via Digitalmars-d]

On Saturday, 25 July 2015 at 14:14:52 UTC, Martin Nowak wrote:
>
> Templates are not bijective, so we'll never be generally able 
> to determine T by matching Putty, i.e. 2 different T could have 
> the same Putty!T type.
> Adding an exception for identity templates seems to be a hack.

If it only was done for the sake of IFTI, then yes indeed it 
would be a hack, but probably other things as well such as 
shorter mangling could benefit from the compiler being aware of 
identity templates.