diff --git a/tests/run/i16943.scala b/tests/run/i16943.scala
new file mode 100644
index 000000000000..68e1f8fb5aa3
--- /dev/null
+++ 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)