[Issue 16021] Template constraint bug

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16021

Kenji Hara <k.hara.pg at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from Kenji Hara <k.hara.pg at gmail.com> ---
This is expected behavior. While testing a template constraint, the template is
not yet instantiated.

When A!B is started to instantiation, its template constraint is(B : A!B) will
be tested. BUT the instance A!B is not yet instantiated, so compiler cannot
know it will be a class.

--