xdoardo opened PR #7861 from xdoardo:main to bytecodealliance:main:
Resolves part of #1056, removing the type parameter
TfromVerifierStepResult, which was always set to().
It seems that the rest of the issue was not agreed upon, so this PR tackles only the "other" part.
xdoardo requested wasmtime-compiler-reviewers for a review on PR #7861.
xdoardo requested abrown for a review on PR #7861.
Last updated: Dec 13 2025 at 19:03 UTC