Fix scala#10549: Add test

oleg-py · Apr 29, 2021 · 9dfcfa9 · 9dfcfa9
1 parent 9e0dc21
commit 9dfcfa9
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/tests/init/neg/i10549b.scala b/tests/init/neg/i10549b.scala
@@ -0,0 +1,9 @@
+class Wrap {
+  def qux[T](e: E[T]) = e.foo
+
+  abstract class E[+T] { def foo: T }
+  object E {
+    final val A: E[Nothing] = new E { def foo = ref }
+    val ref = qux(A)      // error
+  }
+}
diff --git a/tests/init/pos/i10549a.scala b/tests/init/pos/i10549a.scala
@@ -0,0 +1,7 @@
+class Wrap {
+  class E
+  object E {
+    final val A = new E {}
+    val $values = Array(A)
+  }
+}