1 files changed, 57 insertions, 3 deletions
diff --git a/test/typed-function-references.wast.fromBinary.noDebugInfo b/test/typed-function-references.wast.fromBinary.noDebugInfo
index 0808e0c52..be3099efa 100644
--- a/test/typed-function-references.wast.fromBinary.noDebugInfo
+++ b/test/typed-function-references.wast.fromBinary.noDebugInfo
@@ -1,9 +1,16 @@
 (module
  (type $none_=>_none (func))
+ (type $none_=>_anyref_f32_anyref_f32 (func (result anyref f32 anyref f32)))
  (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $none_=>_eqref (func (result eqref)))
+ (type $i32_i32_i32_i32_i32_=>_none (func (param i32 i32 i32 i32 i32)))
  (type $none_=>_i32 (func (result i32)))
- (type $ref_null<i32_->_i32>_=>_i32 (func (param (ref null (func (param i32) (result i32)))) (result i32)))
- (type $ref<i32_->_i32>_=>_i32 (func (param (ref (func (param i32) (result i32)))) (result i32)))
+ (type $none_=>_anyref (func (result anyref)))
+ (type $ref_null[i32_->_i32]_=>_i32 (func (param (ref null (func (param i32) (result i32)))) (result i32)))
+ (type $none_=>_i32_ref_null[_->_anyref_f32_anyref_f32]_f64 (func (result i32 (ref null (func (result anyref f32 anyref f32))) f64)))
+ (type $none_=>_ref_null[i32_i32_i32_i32_i32_->_] (func (result (ref null (func (param i32 i32 i32 i32 i32))))))
+ (type $f64_=>_ref_null[_->_eqref] (func (param f64) (result (ref null (func (result eqref))))))
+ (type $none_=>_ref_null[_->_ref_null[i32_i32_i32_i32_i32_->_]] (func (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32)))))))))
  (func $0
   (call_ref
    (ref.func $0)
@@ -20,7 +27,7 @@
    (ref.func $2)
   )
  )
- (func $3 (param $0 (ref (func (param i32) (result i32)))) (result i32)
+ (func $3 (param $0 (ref null (func (param i32) (result i32)))) (result i32)
   (call_ref
    (i32.const 42)
    (local.get $0)
@@ -42,5 +49,52 @@
    (local.get $0)
   )
  )
+ (func $6 (param $0 f64) (result (ref null (func (result eqref))))
+  (ref.null (func (result eqref)))
+ )
+ (func $7
+  (local $0 i32)
+  (local $1 f64)
+  (local $2 (ref null (func (result anyref))))
+  (nop)
+ )
+ (func $8
+  (local $0 (i32 (ref null (func (result anyref f32 anyref f32))) f64))
+  (local $1 (ref null (func (result anyref f32 anyref f32))))
+  (local $2 i32)
+  (local.set $0
+   (block $label$1 (result i32 (ref null (func (result anyref f32 anyref f32))) f64)
+    (unreachable)
+   )
+  )
+  (drop
+   (block (result i32)
+    (local.set $2
+     (tuple.extract 0
+      (local.get $0)
+     )
+    )
+    (drop
+     (block (result (ref null (func (result anyref f32 anyref f32))))
+      (local.set $1
+       (tuple.extract 1
+        (local.get $0)
+       )
+      )
+      (drop
+       (tuple.extract 2
+        (local.get $0)
+       )
+      )
+      (local.get $1)
+     )
+    )
+    (local.get $2)
+   )
+  )
+ )
+ (func $9 (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32)))))))
+  (unreachable)
+ )
 )