fix #9482: add pos test

scala · Jul 22, 2021 · 7bf1f60 · 7bf1f60
1 parent c8c76b5
commit 7bf1f60
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/tests/pos/i9482.scala b/tests/pos/i9482.scala
@@ -0,0 +1,11 @@
+import scala.reflect.OptManifest
+
+object Ref {
+  def make[A: OptManifest]: Ref[A] = ???
+}
+trait Ref[A]
+
+trait Foo[A] {
+  val bar = Ref.make[Int]
+  val baz: Ref[A] = Ref.make
+}