Stream: git-wasmtime

Topic: wasmtime / PR #14012 Exceptions: trace exception index in...


view this post on Zulip Wasmtime GitHub notifications bot (Jul 28 2026 at 21:44):

cfallin opened PR #14012 from cfallin:trace-exn-ty to bytecodealliance:main:

I believe this is unreachable in practice because aggregate Wasm types can hold only exnref (/ noexnref); the Wasm type system does not have a concrete exn as a separate type that could appear within an aggregate. Nevertheless, for completeness, we should have this match arm.

Pointed out by Alex (thanks!).

<!--
Please make sure you include the following information:

Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.html

Please ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->

view this post on Zulip Wasmtime GitHub notifications bot (Jul 28 2026 at 21:44):

cfallin requested wasmtime-core-reviewers for a review on PR #14012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 28 2026 at 21:44):

cfallin requested pchickey for a review on PR #14012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 28 2026 at 22:09):

pchickey unassigned pchickey from PR #14012 Exceptions: trace exception index inside a WasmHeapTy..

view this post on Zulip Wasmtime GitHub notifications bot (Jul 28 2026 at 22:09):

pchickey requested alexcrichton for a review on PR #14012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 29 2026 at 15:12):

:thumbs_up: alexcrichton submitted PR review:

While you're here can you go ahead and make these matches exhaustive to prevent this from recurring?

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 03:54):

cfallin updated PR #14012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 03:54):

cfallin has enabled auto merge for PR #14012.

view this post on Zulip Wasmtime GitHub notifications bot (Jul 30 2026 at 04:03):

cfallin added PR #14012 Exceptions: trace exception index inside a WasmHeapTy. to the merge queue

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

:check: cfallin merged PR #14012.

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

cfallin removed PR #14012 Exceptions: trace exception index inside a WasmHeapTy. from the merge queue


Last updated: Aug 30 2026 at 10:08 UTC