How templates might be improved

[Stefan Koch via Digitalmars-d]

On Saturday, 17 September 2016 at 12:02:47 UTC, Stefan Koch wrote:
> On Friday, 16 September 2016 at 23:44:42 UTC, Chris Wright 
> wrote:
>
>>
>> On the other hand, in a change of behavior, this will be a 
>> cache miss and the template is instantiated twice:
>>
>>   alias myint = int;
>>   alias TypeA = Typedef!int;
>>   alias TypeB = Typedef!myint;
> No It would not be a miss the type is the same
Correction, typedef uses __traits(identifier, ) ?
I did not take that use into account that would miscompile :)