diff --git a/tests/neg/i4370.scala b/tests/neg/i4370.scala
new file mode 100644
index 000000000000..4c4924d95d7d
--- /dev/null
+++ b/tests/neg/i4370.scala
@@ -0,0 +1,4 @@
+object App {
+  class Foo { type R = A } // error
+  type A = List[Foo#R]
+}