diff options
Diffstat (limited to 'test/typed-function-references.wast')
| -rw-r--r-- | test/typed-function-references.wast | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/typed-function-references.wast b/test/typed-function-references.wast index 59346f615..47fd789d0 100644 --- a/test/typed-function-references.wast +++ b/test/typed-function-references.wast @@ -1,4 +1,7 @@ (module + ;; inline ref type in result + (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null (func (result eqref)))))) + (type $i32-i32 (func (param i32) (result i32))) (func $call-ref @@ -21,4 +24,21 @@ (local.set $f (ref.func $call-ref-more)) (call_ref (i32.const 42) (local.get $f)) ) + (func $ref-in-sig (param $0 f64) (result (ref null (func (result eqref)))) + ;; ref.null of an inline type + (ref.null (func (result eqref))) + ) + (func $type-only-in-tuple-local + (local $x (i32 (ref null (func (result anyref))) f64)) + ) + (func $type-only-in-tuple-block + (drop + (block (result i32 (ref null (func (result anyref f32 anyref f32))) f64) + (unreachable) + ) + ) + ) + (func $nested-type-only-there (result (ref (func (result (ref (func (param i32 i32 i32 i32 i32))))))) + (unreachable) + ) ) |