Stream: git-wasmtime

Topic: wasmtime / issue #13022 Compilation panic with array of c...

Wasmtime GitHub notifications bot (Apr 09 2026 at 20:15):

alexcrichton opened issue #13022:

This input:

(module
  (type $ft (func))
  (type $ct (cont $ft))
  (type $arr (array (mut (ref null $ct))))
  (func (export "boom")
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 2)))
    (array.copy $arr $arr
      (local.get $a) (i32.const 0)
      (local.get $a) (i32.const 0)
      (i32.const 1))
  )
)

fails with:

$ wasmtime compile testcase.wat -W stack-switching,function-references,gc

thread '<unnamed>' (402972) panicked at crates/cranelift/src/func_environ/gc/enabled.rs:1534:9:
assertion `left == right` failed
  left: types::I128
 right: types::I32
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
zsh: IOT instruction (core dumped)  wasmtime compile testcase.wast -W stack-switching,function-references,gc

Wasmtime GitHub notifications bot (Apr 09 2026 at 20:15):

alexcrichton added the wasm-proposal:stack-switching label to Issue #13022.

Wasmtime GitHub notifications bot (Apr 09 2026 at 20:15):

alexcrichton edited issue #13022:

This input:

(module
  (type $ft (func))
  (type $ct (cont $ft))
  (type $arr (array (mut (ref null $ct))))
  (func (export "boom")
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 2)))
    (array.copy $arr $arr
      (local.get $a) (i32.const 0)
      (local.get $a) (i32.const 0)
      (i32.const 1))
  )
)

fails with:

$ wasmtime compile testcase.wat -W stack-switching,function-references,gc

thread '<unnamed>' (402972) panicked at crates/cranelift/src/func_environ/gc/enabled.rs:1534:9:
assertion `left == right` failed
  left: types::I128
 right: types::I32
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
zsh: IOT instruction (core dumped)  wasmtime compile testcase.wast -W stack-switching,function-references,gc

Last updated: Apr 13 2026 at 00:25 UTC