diff options
Diffstat (limited to 'test/lit/passes/simplify-locals-gc.wast')
| -rw-r--r-- | test/lit/passes/simplify-locals-gc.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lit/passes/simplify-locals-gc.wast b/test/lit/passes/simplify-locals-gc.wast index 1de41e8e8..2c5f56952 100644 --- a/test/lit/passes/simplify-locals-gc.wast +++ b/test/lit/passes/simplify-locals-gc.wast @@ -14,11 +14,11 @@ ;; CHECK: (type $struct-immutable (struct (field i32))) (type $struct-immutable (struct (field i32))) - (type $A (struct_subtype (field (ref null struct)) data)) + (type $A (sub (struct (field (ref null struct))))) ;; $B is a subtype of $A, and its field has a more refined type (it is non- ;; nullable). - (type $B (struct_subtype (field (ref struct)) $A)) + (type $B (sub $A (struct (field (ref struct))))) ;; Writes to heap objects cannot be reordered with reads. ;; CHECK: (func $no-reorder-past-write (type $4) (param $x (ref $struct)) (result i32) |