java.lang.VerifyError with erased value

[reftrans]

Compiler version

3.2.2 and also the actual latest git version 250757732398b92cb6fc8f02e50526573f1ba2b9.

Minimized code

@main
@annotation.experimental
def run(): Unit = fail(compiletime.erasedValue, 1)

@annotation.experimental
def fail(dumb: CanThrow[Exception], x: Int) = println(x)

Any erased type can be used, it does not have to be CanThrow[Exception].

Compile and run with scalac crash.scala && scala run.

Output

Compilation succeeds, runtime output is:

Exception in thread "main" java.lang.VerifyError: Bad local variable type
Exception Details:
  Location:
    crash$package$.fail()V @3: iload_1
  Reason:
    Type top (current frame, locals[1]) is not assignable to integer
  Current Frame:
    bci: @3
    flags: { }
    locals: { 'crash$package$' }
    stack: { 'scala/Predef$' }
  Bytecode:
    0000000: b200 231b b800 29b6 002d b1            

	at run.main(crash.scala:2)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.base/java.lang.reflect.Method.invoke(Method.java:568)
	at dotty.tools.runner.RichClassLoader$.run$extension$$anonfun$1(ScalaClassLoader.scala:36)
	at dotty.tools.runner.ScalaClassLoader$.asContext(ScalaClassLoader.scala:80)
	at dotty.tools.runner.RichClassLoader$.dotty$tools$runner$RichClassLoader$$$asContext$extension(ScalaClassLoader.scala:18)
	at dotty.tools.runner.RichClassLoader$.run$extension(ScalaClassLoader.scala:36)
	at dotty.tools.runner.CommonRunner.run(ObjectRunner.scala:23)
	at dotty.tools.runner.CommonRunner.run$(ObjectRunner.scala:13)
	at dotty.tools.runner.ObjectRunner$.run(ObjectRunner.scala:48)
	at dotty.tools.runner.CommonRunner.runAndCatch(ObjectRunner.scala:30)
	at dotty.tools.runner.CommonRunner.runAndCatch$(ObjectRunner.scala:13)
	at dotty.tools.runner.ObjectRunner$.runAndCatch(ObjectRunner.scala:48)
	at dotty.tools.MainGenericRunner$.run$1(MainGenericRunner.scala:215)
	at dotty.tools.MainGenericRunner$.process(MainGenericRunner.scala:270)
	at dotty.tools.MainGenericRunner$.main(MainGenericRunner.scala:281)
	at dotty.tools.MainGenericRunner.main(MainGenericRunner.scala)

It seems that the method def and call disagree on whether the erased parameter is erased or not. It is interesting, if the parameters are switched at the call site and def site, an incorrect compile error is produced instead:

4 |def run(): Unit = fail(1, compiletime.erasedValue)
  |                          ^^^^^^^^^^^^^^^^^^^^^^^
  |                          method erasedValue is declared as `erased`, but is in fact used
1 error found

Expectation

No crash, successful compilation.

[reftrans]

Despite introducing #17040, I confirm this issue has been fixed by e422066. Thank you, @natsukagami!