Skip to content

Conversation

@kripken
Copy link
Member

@kripken kripken commented Dec 19, 2025

We must skip such fields and not refine them, as we can't use casts to fix
up refinement issues. But we were just not writing anything to GUFA's
tracking of that location, which meant it looked unwritten - hence any
reads would be unreachable, and trap. To fix this, just write the current
type there.

@kripken kripken requested a review from tlively December 19, 2025 00:20
@kripken kripken merged commit e548091 into WebAssembly:main Dec 19, 2025
17 checks passed
@kripken kripken deleted the tr.gufa.empty branch December 19, 2025 00:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants