Fix #4370: Add regression test

Author: nicolasstucki

tests/neg/i4370.scala

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