Skip to content

Commit 05521de

Browse files
kripkentlively
andauthored
Update test/lit/passes/type-refining-gufa-exact.wast
Co-authored-by: Thomas Lively <[email protected]>
1 parent 733b81c commit 05521de

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

test/lit/passes/type-refining-gufa-exact.wast

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -146,7 +146,7 @@
146146
(func $make
147147
;; Make the struct twice, once with a proper continuation, and once with a
148148
;; call to a function that GUFA infers a trap in. The latter would usually
149-
;; be fixed up, allowing the struct field to be refined, but a cast is not
149+
;; be fixed up, allowing the struct field to be refined to be exact, but a cast is not
150150
;; valid on a continuation, so we must avoid refining this struct to have an
151151
;; exact field.
152152
(drop

0 commit comments

Comments
 (0)