[RFC] std.experimental.concepts

Daniel N via Digitalmars-d digitalmars-d at puremagic.com
Sat Jul 25 07:47:12 PDT 2015

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.

More information about the Digitalmars-d mailing list