Merge pull request #7658 from dotty-staging/fix-7067

Fix #7067: type avoidance should handle both ThisType and TypeRef

Author: odersky

compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala

@@ -70,7 +70,9 @@ trait TypeAssigner {
         parent
     }
 
-    def close(tp: Type) = RecType.closeOver(rt => tp.substThis(cls, rt.recThis))
+    def close(tp: Type) = RecType.closeOver { rt =>
+      tp.subst(cls :: Nil, rt.recThis :: Nil).substThis(cls, rt.recThis)
+    }
 
     def isRefinable(sym: Symbol) = !sym.is(Private) && !sym.isConstructor
     val refinableDecls = info.decls.filter(isRefinable)

tests/pos/i7067.scala

@@ -0,0 +1,13 @@
+abstract class Foo[T] {
+  type Species
+  def foo(s: Species): Nothing = ???
+}
+
+class Test {
+def species[T] = {
+  class FooT extends Foo[T] {
+    type Species = FooT
+  }
+  new FooT()
+}
+}