@0,1,2,3⦊pub fn used_inline_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