test erasure of ValueOf from dotty

scala · Dec 16, 2020 · 17a4adf · 17a4adf
1 parent 6b590a1
commit 17a4adf
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/test/tasty/run/src-2/tastytest/TestValueOfErasure.scala b/test/tasty/run/src-2/tastytest/TestValueOfErasure.scala
@@ -0,0 +1,7 @@
+package tastytest
+
+object TestValueOfErasure extends Suite("TestValueOfErasure") {
+
+  test(assert(ValueOfErasure.reify[23] === 23))
+
+}
diff --git a/test/tasty/run/src-3/tastytest/ValueOfErasure.scala b/test/tasty/run/src-3/tastytest/ValueOfErasure.scala
@@ -0,0 +1,5 @@
+package tastytest
+
+object ValueOfErasure {
+  def reify[I <: Int](implicit I: ValueOf[I]): I = valueOf[I]
+}