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 @9,10,11⦊for _⦉@9,10,11 in @7,8⦊0..2⦉@7,8 { let z ; match @13,15,17⦊countdown { x if x < 1⦉@13,15,17 => @18⦊{ z = countdown ; let y = countdown ; countdown = 10 ; }⦉@18 _ => @16⦊{}⦉@16 } } }@12⦊‸⦉@12