fix scala#9482: add pos test

dotty-staging · Jul 22, 2021 · 3267c67 · 3267c67
1 parent c84f057
commit 3267c67
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
+}