[Issue 16021] Template constraint bug

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Fri May 13 14:27:39 PDT 2016


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.


More information about the Digitalmars-d-bugs mailing list