Stream: git-wasmtime

Topic: wasmtime / issue #13021 Missing contref handling in `VMAr...

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

alexcrichton opened issue #13021:

The contref top type isn't handled here. Wanted to file a tracking issue for this.

For example this test:

(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))
  )
)
(invoke "boom")

fails as:

$ wasmtime wast testcase.wast -W stack-switching,function-references,gc -C collector=null

thread 'main' (402739) panicked at crates/wasmtime/src/runtime/vm/gc/enabled/arrayref.rs:182:30:
internal error: entered unreachable code: not a top type: Cont
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
zsh: IOT instruction (core dumped)  wasmtime wast testcase.wast -W stack-switching,function-references,gc -C

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

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

Last updated: Apr 12 2026 at 23:10 UTC