Test showing the absence of a forward reference

These are only forbidden in terms, they are permitted in
types.

1 files changed, 11 insertions, 0 deletions

diff --git a/test/files/pos/t5390.scala b/test/files/pos/t5390.scala
new file mode 100644
index 0000000000..36febb6a58
--- /dev/null
+++ b/test/files/pos/t5390.scala
@@ -0,0 +1,11 @@
+class A {
+  case class B[A](s: String)
+}
+
+object X {
+  def foo {
+    val a = new A
+    val b = new a.B[c.type]("") // not a forward reference
+    val c = ""
+  }
+}
\ No newline at end of file