Test case for #13128

odersky · odersky · commit 941f2e3cf4e7 · 2021-07-30T22:02:05.000+02:00
diff --git a/tests/pos/i13128/A_1.scala b/tests/pos/i13128/A_1.scala
@@ -0,0 +1 @@
+opaque type Foo[T <: Int] = Int
diff --git a/tests/pos/i13128/B_2.scala b/tests/pos/i13128/B_2.scala
@@ -0,0 +1,3 @@
+def grabT[T <: Int](arg : Foo[T]) : T = ???
+final val t1 = grabT(??? : Foo[8])
+val t2 : 8 = t1
