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: Jan 10 2026 at 02:36 UTC