Wasmtime GitHub notifications bot (Dec 03 2025 at 16:18): Wasmtime GitHub notifications bot (Dec 03 2025 at 16:18):fitzgen opened PR #12115 from fitzgen:core-infallible to bytecodealliance:main:
I didn't realize that the standard library already had an uninhabited type available for us to reuse.
<!--
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 ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
Wasmtime GitHub notifications bot (Dec 03 2025 at 16:18):fitzgen requested alexcrichton for a review on PR #12115.
Wasmtime GitHub notifications bot (Dec 03 2025 at 16:18):fitzgen requested wasmtime-core-reviewers for a review on PR #12115.
Wasmtime GitHub notifications bot (Dec 03 2025 at 16:18):fitzgen requested wasmtime-default-reviewers for a review on PR #12115.
Wasmtime GitHub notifications bot (Dec 03 2025 at 16:26):alexcrichton submitted PR review.
Wasmtime GitHub notifications bot (Dec 03 2025 at 18:51):github-actions[bot] commented on PR #12115:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "pulley", "wasmtime:api", "wasmtime:ref-types"Thus the following users have been cc'd because of the following labels:
- fitzgen: pulley, 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 (Dec 03 2025 at 21:18):fitzgen updated PR #12115.
Wasmtime GitHub notifications bot (Dec 03 2025 at 21:19):fitzgen has enabled auto merge for PR #12115.
Wasmtime GitHub notifications bot (Dec 03 2025 at 21:58):fitzgen merged PR #12115.
Last updated: Dec 06 2025 at 06:05 UTC