On Thursday, 13 June 2019 at 22:13:51 UTC, Manu wrote: > > So don't implicitly convert to the base type? > B extends A, but I don't think it's a kind of A as for > polymorphic classes. So you want class Foo : BaseClass {} and struct Bar : BaseStruct {} to produce two different results?