Change the default type system to isorecursive (#5239)

This makes Binaryen's default type system match the WasmGC spec.

Update the way type definitions without supertypes are printed to reduce the
output diff for MVP tests that do not involve WasmGC. Also port some
type-builder.cpp tests from test/example to test/gtest since they needed to be
rewritten to work with isorecursive type anyway.

A follow-on PR will remove equirecursive types completely.

1 files changed, 5 insertions, 5 deletions

diff --git a/test/passes/duplicate-function-elimination_all-features.txt b/test/passes/duplicate-function-elimination_all-features.txt
index 2ad1bdc16..1127d8d79 100644
--- a/test/passes/duplicate-function-elimination_all-features.txt
+++ b/test/passes/duplicate-function-elimination_all-features.txt
@@ -2,10 +2,10 @@
  (type $none_=>_i32 (func (result i32)))
  (type $none_=>_funcref (func (result funcref)))
  (elem declare func $0)
- (func $0 (result i32)
+ (func $0 (type $none_=>_i32) (result i32)
   (i32.const 0)
  )
- (func $test (result funcref)
+ (func $test (type $none_=>_funcref) (result funcref)
   (ref.func $0)
  )
 )
@@ -15,7 +15,7 @@
  (memory $foo 16 16)
  (export "memory" (memory $foo))
  (export "global" (global $bar))
- (func $bar
+ (func $bar (type $none_=>_none)
   (nop)
  )
 )
@@ -23,10 +23,10 @@
  (type $func (func (result i32)))
  (global $global$0 (ref $func) (ref.func $foo))
  (export "export" (func $2))
- (func $foo (result i32)
+ (func $foo (type $func) (result i32)
   (unreachable)
  )
- (func $2 (result i32)
+ (func $2 (type $func) (result i32)
   (call_ref $func
    (global.get $global$0)
   )