@0,1,2,3⦊pub fn used_function() ⦉@0,1,2,3{ // 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 = 0; if is_true⦉@0,1,2,3 @4⦊{ countdown = 10; }⦉@4@5⦊‸⦉@5 @6,7⦊use_this_lib_crate(); }⦉@6,7