diff options
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/typed_continuations.wast | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/spec/typed_continuations.wast b/test/spec/typed_continuations.wast index 5f7b86f6c..e3bddbf77 100644 --- a/test/spec/typed_continuations.wast +++ b/test/spec/typed_continuations.wast @@ -5,6 +5,14 @@ (func $id (param $x (ref $ct)) (result (ref $ct)) (local.get $x) ) + + (func $cont-nocont (param $x (ref null $ct)) + (local $l1 (ref null cont)) + (local $l2 (ref null $ct)) + (local.set $l1 (local.get $x)) ;; $ct <: cont + (local.set $l2 (ref.null nocont)) ;; nocont <: $ct + (local.set $l1 (ref.null nocont)) ;; nocont <: cont + ) ) (assert_invalid |