Type comparison tweak.

We assume that two types A.this.C and B.this.C where C is the same class symbol, yet A and B are unrelated, are equal (i.e. mutually subtypes of each other). Such types comes up in situations where the self type of a type is different from the enclosing class.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index e1e3e9c97..36513a2bc 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -1223,6 +1223,7 @@ object Types {
   final class CachedTermRef(prefix: Type, name: TermName) extends TermRef(prefix, name) {
     assert(prefix ne NoPrefix)
   }
+
   final class CachedTypeRef(prefix: Type, name: TypeName) extends TypeRef(prefix, name) {
     assert(prefix ne NoPrefix)
   }