Stream: git-wasmtime

Topic: wasmtime / PR #13472 Avoid GC funcref type mismatch panics

Wasmtime GitHub notifications bot (May 24 2026 at 12:12):

angelnereira opened PR #13472 from angelnereira:gc-funcref-type-check-bail to bytecodealliance:main:

Summary

• Replace the GC funcref table subtype assertion with bail_bug so corrupted funcref table IDs are reported as controlled internal errors instead of panicking in release builds.
• Add a focused regression test for mismatched typed funcref table lookups.

Context

This follows the defense-in-depth direction discussed in #13216: GC heap corruption checks should prefer controlled internal errors where the surrounding code can already return Result.

Testing

• cargo fmt --all -- --check
• cargo check -p wasmtime
• cargo test -p wasmtime typed_get_rejects_mismatched_func_type
• git diff --check

Wasmtime GitHub notifications bot (May 24 2026 at 12:12):

angelnereira requested pchickey for a review on PR #13472.

Wasmtime GitHub notifications bot (May 24 2026 at 12:12):

angelnereira requested wasmtime-core-reviewers for a review on PR #13472.

Wasmtime GitHub notifications bot (May 24 2026 at 15:03):

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

Wasmtime GitHub notifications bot (May 24 2026 at 15:03):

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

Wasmtime GitHub notifications bot (May 24 2026 at 15:04):

github-actions[bot] commented on PR #13472:

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>

Wasmtime GitHub notifications bot (May 24 2026 at 15:13):

:thumbs_up: alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (May 24 2026 at 15:13):

:speech_balloon: alexcrichton created PR review comment:

It's ok to skip the test on this one, we don't really have a great way of testing internal assertions and bail_bug!, and that's just something we'll have to live with over time. I'd prefer to avoid testing internal details like this as an alternative.

Last updated: Jun 01 2026 at 09:49 UTC