WebAssembly / gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly
https://webassembly.github.io/gc/
Other
992 stars 71 forks source link

[spec] Add note and algorithmic rules about typing with top type #513

Closed rossberg closed 8 months ago

rossberg commented 8 months ago

Address question in #511.

tlively commented 8 months ago

cc @fitzgen, I believe this new note would have helped you as well.

fitzgen commented 8 months ago

cc @fitzgen, I believe this new note would have helped you as well.

Yes, it would have. Glad to see it added for future readers!