alexcrichton opened PR #15076 from alexcrichton:i31-check to bytecodealliance:main:
While these type-check locations were listed as
unreachable!they're actually reachable and can be hit. Fill out the implementation and add a test ensuring it's correct.Part of https://github.com/bytecodealliance/wasmtime/security/advisories/GHSA-3982-jqvv-277m
alexcrichton removed the review request for wasmtime-core-reviewers from PR #15076.
alexcrichton requested pchickey for a review on PR #15076.
alexcrichton requested wasmtime-core-reviewers for a review on PR #15076.
:thumbs_up: pchickey submitted PR review.
alexcrichton added PR #15076 Fix unreachable! in I31 and NoneRef type-checks to the merge queue.
github-actions[bot] added the label wasmtime:api on PR #15076.
github-actions[bot] added the label wasmtime:ref-types on PR #15076.
github-actions[bot] commented on PR #15076:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "wasmtime:api", "wasmtime:ref-types"Thus the following users have been cc'd because of the following labels:
- fitzgen: wasmtime:ref-types
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
:check: alexcrichton merged PR #15076.
alexcrichton removed PR #15076 Fix unreachable! in I31 and NoneRef type-checks from the merge queue.
Last updated: Oct 31 2026 at 23:03 UTC