diff options
Diffstat (limited to 'test/lit/nominal-func.wast')
| -rw-r--r-- | test/lit/nominal-func.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lit/nominal-func.wast b/test/lit/nominal-func.wast index 08acae21d..9e59d6900 100644 --- a/test/lit/nominal-func.wast +++ b/test/lit/nominal-func.wast @@ -9,7 +9,7 @@ ;; CHECK: (type $foo_t (func_subtype func)) (type $foo_t (func)) - ;; CHECK: (func $foo + ;; CHECK: (func $foo (type $foo_t) ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: ) (func $foo (type $foo_t) @@ -17,7 +17,7 @@ ) ;; $foo needs to be assigned type foo_t rather than bad_t for this to validate. - ;; CHECK: (func $make-ref (result (ref $foo_t)) + ;; CHECK: (func $make-ref (type $none_=>_ref|$foo_t|) (result (ref $foo_t)) ;; CHECK-NEXT: (ref.func $foo) ;; CHECK-NEXT: ) (func $make-ref (result (ref $foo_t)) |