Test case for scala#13128

dotty-staging · Jul 30, 2021 · f89ccf4 · f89ccf4
1 parent 565c5aa
commit f89ccf4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
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