```Scala trait Abc: opaque type Log = Double class AbcClass extends Abc val v = new AbcClass ``` Fails with : self type of class AbcClass does not conform to self type Any{Log = LazyRef(Double)} The most simplistic case of this was fixed as [8750](https://github.com/lampepfl/dotty/issues/8750)