Skip to content

Commit 7e4006f

Browse files
authored
Mark TypeFinalizing/Unfinalizing as requiring closed world (#8039)
They change the ABI, possibly making casts start to work/fail.
1 parent 8e0f19f commit 7e4006f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

scripts/fuzz_opt.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2484,6 +2484,8 @@ def write_commands(commands, filename):
24842484
("--abstract-type-refining",),
24852485
("--cfp",),
24862486
("--cfp-reftest",),
2487+
("--type-finalizing",),
2488+
("--type-unfinalizing",),
24872489
("--type-ssa",),
24882490
("--type-merging",),
24892491
("--unsubtyping",)}

0 commit comments

Comments
 (0)