[spec] Add missing side conditions

WebAssembly / gc

Branch of the spec repo scoped to discussion of GC integration in WebAssembly

https://webassembly.github.io/gc/

Other

997 stars 72 forks source link

Closed rossberg closed 1 year ago

rossberg commented 1 year ago

Add side conditions on ref.test/ref.cast rules that check that the RHS type is well-formed before invoking subtyping.

@conrad-watt, PTAL