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, 24 insertions, 24 deletions

diff --git a/test/reference-types.wast.fromBinary b/test/reference-types.wast.fromBinary
index 670645cf2..163c29d4a 100644
--- a/test/reference-types.wast.fromBinary
+++ b/test/reference-types.wast.fromBinary
@@ -21,19 +21,19 @@
  (tag $e-i32 (param i32))
  (export "export_func" (func $import_func))
  (export "export_global" (global $import_global))
- (func $take_eqref (param $0 eqref)
+ (func $take_eqref (type $sig_eqref) (param $0 eqref)
   (nop)
  )
- (func $take_funcref (param $0 funcref)
+ (func $take_funcref (type $sig_funcref) (param $0 funcref)
   (nop)
  )
- (func $take_anyref (param $0 anyref)
+ (func $take_anyref (type $sig_anyref) (param $0 anyref)
   (nop)
  )
- (func $foo
+ (func $foo (type $none_=>_none)
   (nop)
  )
- (func $test
+ (func $test (type $none_=>_none)
   (local $local_eqref eqref)
   (local $local_funcref funcref)
   (local $local_anyref anyref)
@@ -544,80 +544,80 @@
    )
   )
  )
- (func $return_eqref_local (result eqref)
+ (func $return_eqref_local (type $none_=>_eqref) (result eqref)
   (local $local_eqref eqref)
   (local.get $local_eqref)
  )
- (func $return_eqref_global (result eqref)
+ (func $return_eqref_global (type $none_=>_eqref) (result eqref)
   (global.get $global_eqref)
  )
- (func $return_eqref_null (result eqref)
+ (func $return_eqref_null (type $none_=>_eqref) (result eqref)
   (ref.null none)
  )
- (func $return_funcref_local (result funcref)
+ (func $return_funcref_local (type $none_=>_funcref) (result funcref)
   (local $local_funcref funcref)
   (local.get $local_funcref)
  )
- (func $return_funcref_global (result funcref)
+ (func $return_funcref_global (type $none_=>_funcref) (result funcref)
   (global.get $global_funcref)
  )
- (func $return_funcref_null (result funcref)
+ (func $return_funcref_null (type $none_=>_funcref) (result funcref)
   (ref.null nofunc)
  )
- (func $return_funcref_func (result funcref)
+ (func $return_funcref_func (type $none_=>_funcref) (result funcref)
   (ref.func $foo)
  )
- (func $return_anyref_local (result anyref)
+ (func $return_anyref_local (type $none_=>_anyref) (result anyref)
   (local $local_anyref anyref)
   (local.get $local_anyref)
  )
- (func $return_anyref_global (result anyref)
+ (func $return_anyref_global (type $none_=>_anyref) (result anyref)
   (global.get $global_anyref)
  )
- (func $return_anyref_null (result anyref)
+ (func $return_anyref_null (type $none_=>_anyref) (result anyref)
   (ref.null none)
  )
- (func $return_anyref2 (result anyref)
+ (func $return_anyref2 (type $none_=>_anyref) (result anyref)
   (local $local_eqref eqref)
   (local.get $local_eqref)
  )
- (func $return_anyref3 (result anyref)
+ (func $return_anyref3 (type $none_=>_anyref) (result anyref)
   (global.get $global_eqref)
  )
- (func $return_anyref4 (result anyref)
+ (func $return_anyref4 (type $none_=>_anyref) (result anyref)
   (ref.null none)
  )
- (func $returns_eqref (result eqref)
+ (func $returns_eqref (type $none_=>_eqref) (result eqref)
   (local $local_eqref eqref)
   (return
    (local.get $local_eqref)
   )
  )
- (func $returns_funcref (result funcref)
+ (func $returns_funcref (type $none_=>_funcref) (result funcref)
   (local $local_funcref funcref)
   (return
    (local.get $local_funcref)
   )
  )
- (func $returns_anyref (result anyref)
+ (func $returns_anyref (type $none_=>_anyref) (result anyref)
   (local $local_anyref anyref)
   (return
    (local.get $local_anyref)
   )
  )
- (func $returns_anyref2 (result anyref)
+ (func $returns_anyref2 (type $none_=>_anyref) (result anyref)
   (local $local_eqref eqref)
   (local $local_funcref funcref)
   (return
    (local.get $local_eqref)
   )
  )
- (func $ref-user
+ (func $ref-user (type $none_=>_none)
   (drop
    (ref.func $ref-taken-but-not-in-table)
   )
  )
- (func $ref-taken-but-not-in-table
+ (func $ref-taken-but-not-in-table (type $none_=>_none)
   (nop)
  )
 )