diff options
Diffstat (limited to 'test/lit/validation/bad-non-nullable-locals.wast')
| -rw-r--r-- | test/lit/validation/bad-non-nullable-locals.wast | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/lit/validation/bad-non-nullable-locals.wast b/test/lit/validation/bad-non-nullable-locals.wast index f22771591..9268e9b3a 100644 --- a/test/lit/validation/bad-non-nullable-locals.wast +++ b/test/lit/validation/bad-non-nullable-locals.wast @@ -59,3 +59,14 @@ (func $helper) ) +;; CHECK: non-nullable local's sets must dominate gets +(module + (func $tuple + ;; Since this tuple local has a non-nullable element, it is subject to the + ;; non-nullability rules. + (local $x (i32 (ref any) i64)) + (drop + (local.get $x) + ) + ) +) |