https://issues.dlang.org/show_bug.cgi?id=16021
Kenji Hara <k.hara...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |INVALID --- Comment #1 from Kenji Hara <k.hara...@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. --