Re: Template constraint on alias template parameter.

[jmh530 via Digitalmars-d-learn]

On Thursday, 6 August 2020 at 18:09:50 UTC, ag0aep6g wrote:

[snip]

`is(...)` only works on types. You're looking for `__traits(isSame, T, Foo)`.

For `is(T!U == Foo!U, U)` to work, the compiler would have to guess U. If the first guess doesn't work, it would have to guess again, and again, and again, until it finds a U that does work. Could take forever.

Thanks for the explanation!