Use simpler given self type for opaque types in classes

odersky · odersky · commit bcb1f941e4ba · 2019-07-16T10:12:12.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/SymDenotations.scala b/compiler/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -444,7 +444,7 @@ object SymDenotations {
             enclClassInfo.selfInfo match {
               case self: Type =>
                 owner.info = enclClassInfo.derivedClassInfo(
-                  selfInfo = refineSelfType(enclClassInfo.selfType))
+                  selfInfo = refineSelfType(self.orElse(defn.AnyType)))
               case self: Symbol =>
                 self.info = refineSelfType(self.info)
             }

Original file line number	Diff line number	Diff line change
`@@ -444,7 +444,7 @@ object SymDenotations {`
`444`	`444`	`enclClassInfo.selfInfo match {`
`445`	`445`	`case self: Type =>`
`446`	`446`	`owner.info = enclClassInfo.derivedClassInfo(`
`447`		`- selfInfo = refineSelfType(enclClassInfo.selfType))`
	`447`	`+ selfInfo = refineSelfType(self.orElse(defn.AnyType)))`
`448`	`448`	`case self: Symbol =>`
`449`	`449`	`self.info = refineSelfType(self.info)`
`450`	`450`	`}`