Restore the `extern` heap type (#4898)

The GC proposal has split `any` and `extern` back into two separate types, so
reintroduce `HeapType::ext` to represent `extern`. Before it was originally
removed in #4633, externref was a subtype of anyref, but now it is not. Now that
we have separate heaptype type hierarchies, make `HeapType::getLeastUpperBound`
fallible as well.

1 files changed, 6 insertions, 6 deletions

diff --git a/test/multivalue.wast.fromBinary.noDebugInfo b/test/multivalue.wast.fromBinary.noDebugInfo
index daf0a743e..66c0f52c5 100644
--- a/test/multivalue.wast.fromBinary.noDebugInfo
+++ b/test/multivalue.wast.fromBinary.noDebugInfo
@@ -1,7 +1,7 @@
 (module
  (type $none_=>_i32_i64 (func (result i32 i64)))
  (type $none_=>_none (func))
- (type $none_=>_i32_i64_anyref (func (result i32 i64 anyref)))
+ (type $none_=>_i32_i64_externref (func (result i32 i64 externref)))
  (type $none_=>_i64 (func (result i64)))
  (type $none_=>_f32_i64_i32 (func (result f32 i64 i32)))
  (type $none_=>_i32_i64_f32 (func (result i32 i64 f32)))
@@ -389,20 +389,20 @@
    )
   )
  )
- (func $14 (result i32 i64 anyref)
-  (local $0 (i32 i64 anyref))
+ (func $14 (result i32 i64 externref)
+  (local $0 (i32 i64 externref))
   (local.set $0
-   (if (result i32 i64 anyref)
+   (if (result i32 i64 externref)
     (i32.const 1)
     (tuple.make
      (i32.const 42)
      (i64.const 42)
-     (ref.null any)
+     (ref.null extern)
     )
     (tuple.make
      (i32.const 42)
      (i64.const 42)
-     (ref.null any)
+     (ref.null extern)
     )
    )
   )