https://issues.dlang.org/show_bug.cgi?id=1515
RazvanN <razvan.nitu1...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |razvan.nitu1...@gmail.com Resolution|--- |WONTFIX --- Comment #2 from RazvanN <razvan.nitu1...@gmail.com> --- The template is not semantically analyzed before instantiation, it is only parsed, so the compiler cannot reject the template definition before actually instantiating it. This is clearly stated in the spec. The error message points this out: "mixin test.B!(A!int) does not match template declaration B(T : A!T)". Closing as WONTFIX. --