https://issues.dlang.org/show_bug.cgi?id=14286
Simen Kjaeraas <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #2 from Simen Kjaeraas <[email protected]> --- Indeed. For clarification: the inner struct can be templated, the outer cannot: struct Inner1 {} struct Inner2() {} struct Outer1 { Inner1 a; alias a this; } struct Outer2 { Inner2!() a; alias a this; } struct Outer3() { Inner1 a; alias a this; } struct Outer4() { Inner2!() a; alias a this; } // Non-template outer struct: static assert( is(Outer1 : Inner1)); static assert( is(Outer2 : Inner2!())); // Templated outer struct: static assert(!is(Outer3 : Inner1)); static assert(!is(Outer4 : Inner2!())); --
