[DIP] Resolution of Alias Template Parameters in Function Templates

[jmh530]

On Monday, 20 May 2019 at 18:20:06 UTC, Stefanos Baziotis wrote:
> [snip]
>
> 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.

Sorry, it would be true for Num!int, but false for Num!float or 
something else.