Make `i31ref` and `dataref` nullable (#4843)

Match the latest version of the GC spec. This change does not depend on V8
changing its interpretation of the shorthands because we are still temporarily
not emitting the binary shorthands, but all Binaryen users will have to update
their interpretations along with this change if they use the text or binary
shorthands.

1 files changed, 4 insertions, 4 deletions

diff --git a/test/binaryen.js/kitchen-sink.js.txt b/test/binaryen.js/kitchen-sink.js.txt
index f92ceeb4a..7d52a31ff 100644
--- a/test/binaryen.js/kitchen-sink.js.txt
+++ b/test/binaryen.js/kitchen-sink.js.txt
@@ -2161,10 +2161,10 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7}
        (pop eqref)
       )
       (drop
-       (pop i31ref)
+       (pop (ref i31))
       )
       (drop
-       (pop dataref)
+       (pop (ref data))
       )
       (drop
        (pop stringref)
@@ -4265,10 +4265,10 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7}
        (pop eqref)
       )
       (drop
-       (pop i31ref)
+       (pop (ref i31))
       )
       (drop
-       (pop dataref)
+       (pop (ref data))
       )
       (drop
        (pop stringref)