```Scala class Abc: opaque type Log = Double val v : Abc = new Abc ``` Fails with error: Abc does not conform to its self type Any{Log = LazyRef(Double)}; cannot be instantiated