Calling Warning.set with badly typed argument crashes interpreter

[radeusgd]

The following script:

from Standard.Base import all

main =
    c = Panic.catch Any (Warning.set 1 2) caught_panic-> IO.println caught_panic.payload
    IO.println c

Actual behaviour

crashes the interpreter with

Execution finished with an error: com.oracle.truffle.api.CompilerDirectives$ShouldNotReachHere
        at <java> org.graalvm.truffle/com.oracle.truffle.api.CompilerDirectives.shouldNotReachHere(CompilerDirectives.java:574)
        at <java> org.graalvm.truffle/com.oracle.truffle.api.CompilerDirectives.shouldNotReachHere(CompilerDirectives.java:546)
        at <java> org.enso.runtime/org.enso.interpreter.runtime.warning.SetWarningsNode.doSetInteropArray(SetWarningsNode.java:95)
        at <java> org.enso.runtime/org.enso.interpreter.runtime.warning.SetWarningsNodeGen.executeAndSpecialize(SetWarningsNodeGen.java:260)
        at <java> org.enso.runtime/org.enso.interpreter.runtime.warning.SetWarningsNodeGen.execute(SetWarningsNodeGen.java:122)
        at <java> org.enso.runtime/org.enso.interpreter.runtime.warning.SetWarningsMethodGen.execute(SetWarningsMethodGen.java:154)
        at <enso> Warning.set_array(Internal)
        at <enso> Warning.type.set(Warning.enso:94:26-49)
        at <enso> warning-set-crash.main<arg-2>(warning-set-crash.enso:4:26-40)
        at <enso> Panic.catch(Internal)
        at <enso> warning-set-crash.main(warning-set-crash.enso:4:9-88)

This cannot be caught with Panic.catch as demonstrated by the script.

Expected behaviour

This should fail, like any other function expecting a specific type (here a Vector), with a Type_Error panic that can be normally caught by Panic.catch.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-12-16):

Progress: .

• fix Calling Warning.set with badly typed argument crashes interpreter #11571 by raiseAssertionPanic instead of shouldNotReachHere #11877
• testing native image fix: [Native Image] Missing support for ServiceLoader services registered via module-info oracle/graal#9952 (comment)
• standup
• meeting Dmitry (more of Ydoc?)
• duplicated IR issue: Report duplicates in the IR after each pass #11873
• review of BuiltinObject: Every builtin type has a common super class #11861 (review)
• Main.duplicate: bb4aff2#r1886843955
• fixing JVM tests: Report duplicates in the IR after each pass #11873 (comment) It should be finished by 2024-12-18.