https://issues.dlang.org/show_bug.cgi?id=16574
--- Comment #5 from [email protected] --- In a first time the good new is that I have a reduction: interface Desc {} class Bug(T): Desc if (is(T : Desc)) {} alias Type = Bug!Bar; class Bar: Desc { Type a; void test(){} } class Baz: Bar { override void test(){} } void main() { Bar b = new Bar; } --
