dicej requested alexcrichton for a review on PR #13691.
dicej opened PR #13691 from dicej:futures-must-write2 to bytecodealliance:main:
Previously, we only trapped if the writable end of a future was dropped without having writen a value _and_ the readable end had not yet been dropped, but the spec says we need to trap regardless of whether the readable end has been dropped.
Test case courtesy of Alex.
Fixes #13661
<!--
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
-->
dicej requested wasmtime-core-reviewers for a review on PR #13691.
github-actions[bot] added the label wasmtime:api on PR #13691.
:thumbs_up: alexcrichton submitted PR review.
alexcrichton added PR #13691 require write-before-drop for futures unconditionally to the merge queue.
:check: alexcrichton merged PR #13691.
alexcrichton removed PR #13691 require write-before-drop for futures unconditionally from the merge queue.
Last updated: Jul 29 2026 at 05:03 UTC