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 a, mut b, mut c) = (0, 0, 0)⦉@0,1,2,3; if @0,1,2,3⦊is_true⦉@0,1,2,3 @4,6⦊{ a = 1; b = 10; c = 100; }⦉@4,6 let @11⦊somebool⦉@11 = @7⦊a < b⦉@7 || @10⦊b < c⦉@10 ; let @15⦊somebool⦉@15 = @11⦊b < a⦉@11 || @14⦊b < c⦉@14 ; let @19⦊somebool⦉@19 = @15⦊a < b⦉@15 && @18⦊b < c⦉@18 ; let @23⦊somebool⦉@23 = @19⦊b < a⦉@19 && @22⦊b < c⦉@22 ; }@23⦊⦉@23