Skip to content

[spec] Fix subtyping rules for bottom heaptypes#2116

Merged
rossberg merged 1 commit intomainfrom
fix.2115
Mar 16, 2026
Merged

[spec] Fix subtyping rules for bottom heaptypes#2116
rossberg merged 1 commit intomainfrom
fix.2115

Commits

Commits on Mar 16, 2026