alexcrichton opened PR #14941 from alexcrichton:fix-subtyping to bytecodealliance:main:
Use the
Engineto 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:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease review the Bytecode Alliance's AI tool usage policy at
https://github.com/bytecodealliance/governance/blob/main/AI_TOOL_POLICY.mdPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
alexcrichton requested fitzgen for a review on PR #14941.
alexcrichton requested wasmtime-core-reviewers for a review on PR #14941.
alexcrichton removed the review request for wasmtime-core-reviewers from PR #14941.
github-actions[bot] added the label wasmtime:api on PR #14941.
:thumbs_up: fitzgen submitted PR review.
fitzgen added PR #14941 Fix subtype check of functions to the merge queue.
:check: fitzgen merged PR #14941.
fitzgen removed PR #14941 Fix subtype check of functions from the merge queue.
Last updated: Oct 31 2026 at 23:03 UTC