Test case for scala#13128

odersky · tanishiking · commit 43e1599cc558 · 2021-08-11T03:10:13.000+09: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
