fn main() { // Initialize test constants in a way that cannot be determined at compile time, to ensure // rustc and LLVM cannot optimize out statements (or coverage counters) downstream from // dependent conditions. let @0,1,2,3⦊is_true = std::env::args().len() == 1; let mut countdown = 1⦉@0,1,2,3; if @0,1,2,3⦊is_true⦉@0,1,2,3 @4,6⦊{ countdown = 0; }⦉@4,6@5⦊‸⦉@5 for @13,15,17⦊_⦉@13,15,17 in @9,10,11⦊0..2⦉@9,10,11 { let z ; match @13,15,17⦊countdown⦉@13,15,17 { @18⦊x⦉@18 if @13,15,17⦊x < 1⦉@13,15,17@19⦊‸⦉@19 => @18⦊{ z = countdown ; let y = countdown ; countdown = 10 ; }⦉@18 _ => @16⦊{}⦉@16 } }@7,8⦊‸⦉@7,8@20⦊‸⦉@20 }@12⦊‸⦉@12