[DIP] Resolution of Alias Template Parameters in Function Templates

[Stefanos Baziotis]

On Monday, 20 May 2019 at 18:12:08 UTC, jmh530 wrote:

> If you change the alias to
> alias Num(T) = T;
> and the second is statement to
> is(T : Num!U, U)
> then it becomes equivalent to what I had done above. This fails 
> for the same reason as discussed above.

But with the above reasoning we want this to fail (that is, 
evaluate is(T == int) as true and go there) because aliases and 
template aliases are indistinguishable from
the type they alias.