Add regression test (#17047)

nicolasstucki · web-flow · commit aa079a5554d4 · 2023-03-07T11:14:03.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)
