rvolosatovs opened PR #14623 from rvolosatovs:fix/null-ref-val-ty to bytecodealliance:main:
Val::ExternRef(None).ty()returned(ref null nofunc)instead of(ref null noextern), andRef::Exn(None).ty()returned(ref null none)instead of(ref null noexn). Neither type is matched by the value it was computed from, so e.g. creating a global withGlobalType::new(v.ty(&store)?, ..)andvas the initial value failed for a null externref.
:thumbs_up: alexcrichton submitted PR review.
rvolosatovs updated PR #14623.
rvolosatovs edited PR #14623:
Val::ExternRef(None).ty()returned(ref null nofunc)instead of(ref null noextern), andRef::Exn(None).ty()returned(ref null none)instead of(ref null noexn). Neither type is matched by the value it was computed from, so e.g. creating a global withGlobalType::new(v.ty(&store)?, ..)andvas the initial value failed for a null externref.See https://webassembly.github.io/spec/core/text/types.html#reference-types
rvolosatovs has marked PR #14623 as ready for review.
rvolosatovs requested pchickey for a review on PR #14623.
rvolosatovs requested wasmtime-core-reviewers for a review on PR #14623.
rvolosatovs has enabled auto merge for PR #14623.
rvolosatovs added PR #14623 fix: ty() of null externref and exnref values to the merge queue.
:check: rvolosatovs merged PR #14623.
rvolosatovs removed PR #14623 fix: ty() of null externref and exnref values from the merge queue.
Last updated: Oct 11 2026 at 04:10 UTC