Merge pull request #5740 from dotty-staging/fix-#4370

Fix #4370: Add regression test

Author: odersky

tests/neg/i4370.scala

@@ -0,0 +1,4 @@
+object App {
+  class Foo { type R = A } // error
+  type A = List[Foo#R]
+}