Stream: git-wasmtime

Topic: wasmtime / PR #15076 Fix `unreachable!` in `I31` and `Non...


view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 19:04):

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 19:05):

alexcrichton removed the review request for wasmtime-core-reviewers from PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 19:05):

alexcrichton requested pchickey for a review on PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 19:05):

alexcrichton requested wasmtime-core-reviewers for a review on PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 20:49):

:thumbs_up: pchickey submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 20:56):

alexcrichton added PR #15076 Fix unreachable! in I31 and NoneRef type-checks to the merge queue.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 23:44):

github-actions[bot] added the label wasmtime:api on PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 29 2026 at 23:44):

github-actions[bot] added the label wasmtime:ref-types on PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2026 at 00:57):

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:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2026 at 02:31):

:check: alexcrichton merged PR #15076.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 30 2026 at 02:31):

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