Stream: git-wasmtime

Topic: wasmtime / PR #14941 Fix subtype check of functions


view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2026 at 17:08):

alexcrichton opened PR #14941 from alexcrichton:fix-subtyping to bytecodealliance:main:

Use the Engine to determine if functions are subtypes of one another instead of using structural subtyping. While structural subtyping is sound it's not correct from WebAssembly's perspective where supertypes must be explicitly stated.

<!--
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 review the Bytecode Alliance's AI tool usage policy at
https://github.com/bytecodealliance/governance/blob/main/AI_TOOL_POLICY.md

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 (Oct 22 2026 at 17:08):

alexcrichton requested fitzgen for a review on PR #14941.

view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2026 at 17:08):

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

view this post on Zulip Wasmtime GitHub notifications bot (Oct 22 2026 at 17:08):

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

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

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

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

:thumbs_up: fitzgen submitted PR review.

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

fitzgen added PR #14941 Fix subtype check of functions to the merge queue.

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

:check: fitzgen merged PR #14941.

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

fitzgen removed PR #14941 Fix subtype check of functions from the merge queue.


Last updated: Oct 31 2026 at 23:03 UTC