fitzgen requested elliottt for a review on PR #8550.
fitzgen requested wasmtime-core-reviewers for a review on PR #8550.
fitzgen opened PR #8550 from fitzgen:noextern-values
to bytecodealliance:main
:
<!--
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
-->
alexcrichton submitted PR review:
Apologies if I'm a bit pedantic below, I'm still getting up-to-speed on this I think
alexcrichton submitted PR review:
Apologies if I'm a bit pedantic below, I'm still getting up-to-speed on this I think
alexcrichton created PR review comment:
Mind adding debug asserts
self
is none andabi
is null?
alexcrichton created PR review comment:
This is technically
true
, right? But can befalse
due to no GC interactions here?(if so mind adding a comment here and/or updating the method name?)
alexcrichton created PR review comment:
copy/paste comment?
alexcrichton created PR review comment:
Is this perhaps best modelled as
usize
? Because technically this is a pointer-sized integer that is a relative offset into the GC heap?
alexcrichton created PR review comment:
Mind matching on self/abi here to avoid the
unreachable!
?
alexcrichton created PR review comment:
copy/paste for funcref
alexcrichton created PR review comment:
Also I'm a bit confused by the implementation here, shouldn't this be
Ok(())
in this case? If thevaltype
matches then we're guaranteed that the expected/given is the exact same, right?
github-actions[bot] commented on PR #8550:
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>
fitzgen submitted PR review.
fitzgen created PR review comment:
Yeah this is a copy-paste. This method should be unreachable because there are no concrete heap types in the external type hierarchy that this can be a subtype of.
fitzgen submitted PR review.
fitzgen created PR review comment:
Yeah it should be a
u32
, since if inhabitednoextern
would be aVMGcRef
which is aNonZeroU32
so if we make it optional/nullable we are left with au32
.
fitzgen submitted PR review.
fitzgen created PR review comment:
Did some renaming here.
fitzgen updated PR #8550.
fitzgen has enabled auto merge for PR #8550.
fitzgen updated PR #8550.
fitzgen updated PR #8550.
fitzgen has enabled auto merge for PR #8550.
fitzgen updated PR #8550.
fitzgen has enabled auto merge for PR #8550.
fitzgen merged PR #8550.
Last updated: Dec 23 2024 at 12:05 UTC