> interface IBase {} > class Impl(T): IBase { > T value; > } > void main() { > IBase a = true ? (new Impl!uint) : (new Impl!string); > } I have added a note: https://issues.dlang.org/show_bug.cgi?id=3543 Bye, bearophile