Add regression test

nicolasstucki · nicolasstucki · commit ff4610474e40 · 2023-03-06T09:16:14.000+01:00
Closes #16943
diff --git a/tests/run/i16943.scala b/tests/run/i16943.scala
@@ -0,0 +1,6 @@
+@main
+@annotation.experimental
+def Test(): Unit = fail(compiletime.erasedValue, 1)
+
+@annotation.experimental
+def fail(dumb: CanThrow[Exception], x: Int) = println(x)
