1 files changed, 57 insertions, 3 deletions
diff --git a/test/typed-function-references.wast.fromBinary b/test/typed-function-references.wast.fromBinary
index dcabbeaaf..5cb2ff7c6 100644
--- a/test/typed-function-references.wast.fromBinary
+++ b/test/typed-function-references.wast.fromBinary
@@ -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 $call-ref
   (call_ref
    (ref.func $call-ref)
@@ -20,7 +27,7 @@
    (ref.func $call-ref-more)
   )
  )
- (func $call_from-param (param $f (ref (func (param i32) (result i32)))) (result i32)
+ (func $call_from-param (param $f (ref null (func (param i32) (result i32)))) (result i32)
   (call_ref
    (i32.const 42)
    (local.get $f)
@@ -42,5 +49,52 @@
    (local.get $f)
   )
  )
+ (func $ref-in-sig (param $0 f64) (result (ref null (func (result eqref))))
+  (ref.null (func (result eqref)))
+ )
+ (func $type-only-in-tuple-local
+  (local $x i32)
+  (local $1 f64)
+  (local $2 (ref null (func (result anyref))))
+  (nop)
+ )
+ (func $type-only-in-tuple-block
+  (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 $nested-type-only-there (result (ref null (func (result (ref null (func (param i32 i32 i32 i32 i32)))))))
+  (unreachable)
+ )
 )