Merge pull request #8473 from dotty-staging/fix-#5278

Fix #5278: Add regression test

Author: anatoliykmetyuk

tests/neg/i5278.scala

@@ -0,0 +1,11 @@
+trait T { self: {type M = Int} =>
+    type T = self.M
+    def lift(x: Int): T = x
+  }
+
+  class Test {
+    val t = new T {
+      type M = Int
+    }
+    t.lift(1): t.T // error
+  }