Update reference types (#3084)

Align with the current state of the reference types proposal:
* Remove `nullref`
* Remove `externref` and `funcref` subtyping
* A `Literal` of a nullable reference type can now represent `null` (previously was type `nullref`)
* Update the tests and temporarily comment out those tests relying on subtyping

1 files changed, 4 insertions, 17 deletions

diff --git a/test/passes/simplify-locals_all-features.txt b/test/passes/simplify-locals_all-features.txt
index 34efb8726..f461a7580 100644
--- a/test/passes/simplify-locals_all-features.txt
+++ b/test/passes/simplify-locals_all-features.txt
@@ -1882,19 +1882,6 @@
  )
 )
 (module
- (type $none_=>_funcref (func (result funcref)))
- (func $subtype-test (result funcref)
-  (local $0 nullref)
-  (local $1 funcref)
-  (local $2 funcref)
-  (block $block
-   (nop)
-  )
-  (nop)
-  (local.get $0)
- )
-)
-(module
  (type $none_=>_none (func))
  (type $i32_exnref_=>_none (func (param i32 exnref)))
  (type $exnref_=>_none (func (param exnref)))
@@ -1907,7 +1894,7 @@
   (block $label$0
    (local.set $0
     (br_on_exn $label$0 $event$0
-     (ref.null)
+     (ref.null exn)
     )
    )
   )
@@ -1918,7 +1905,7 @@
   (drop
    (block $label$1 (result exnref)
     (br_on_exn $label$1 $event$1
-     (ref.null)
+     (ref.null exn)
     )
    )
   )
@@ -1930,7 +1917,7 @@
     (try
      (do
       (rethrow
-       (ref.null)
+       (ref.null exn)
       )
      )
      (catch
@@ -1973,7 +1960,7 @@
      (i32.const 3)
      (try (result exnref)
       (do
-       (ref.null)
+       (ref.null exn)
       )
       (catch
        (exnref.pop)