Separate `func` into a separate type hierarchy (#4955)

Just like `extern` is no longer a subtype of `any` in the new GC type system,
`func` is no longer a subtype of `any`, either. Make that change in our type
system implementation and update tests and fuzzers accordingly.

1 files changed, 6 insertions, 4 deletions

diff --git a/test/passes/Oz_fuzz-exec_all-features.wast b/test/passes/Oz_fuzz-exec_all-features.wast
index c8ad3700a..a07e7e3d7 100644
--- a/test/passes/Oz_fuzz-exec_all-features.wast
+++ b/test/passes/Oz_fuzz-exec_all-features.wast
@@ -203,14 +203,16 @@
   (local $x anyref)
   ;; set x to something that is not null, but also not data
   (local.set $x
-   (ref.func $a-void-func)
+   (i31.new
+    (i32.const 0)
+   )
   )
   (drop
    (block $any (result anyref)
     (drop
      (br_on_non_data $any (local.get $x))
     )
-    ;; $x refers to a function, so we will branch, and not log
+    ;; $x refers to an i31, so we will branch, and not log
     (call $log (i32.const 1))
     (ref.null any)
    )
@@ -219,8 +221,8 @@
  (func "br-on_non_null"
   (drop
    (block $non-null (result (ref any))
-    (br_on_non_null $non-null (ref.func $a-void-func))
-    ;; $x refers to a function, which is not null, so we will branch, and not
+    (br_on_non_null $non-null (i31.new (i32.const 0)))
+    ;; $x refers to an i31, which is not null, so we will branch, and not
     ;; log
     (call $log (i32.const 1))
     (unreachable)