@0⦊fn main() -> Result<(), u8> {
let mut countdown = 10⦉@0;
while @1,2⦊countdown > 0⦉@1,2 {
if @3,5⦊countdown < 5⦉@3,5 @6,8⦊{
might_abort(false);
}⦉@6,8@7⦊‸⦉@7
// See discussion (below the `Notes` section) on coverage results for the closing brace.
if @9⦊countdown < 5⦉@9 @10,12⦊{ might_abort(false); }⦉@10,12@11⦊‸⦉@11 // Counts for different regions on one line.
// For the following example, the closing brace is the last character on the line.
// This shows the character after the closing brace is highlighted, even if that next
// character is a newline.
if @13⦊countdown < 5⦉@13 @14,16⦊{ might_abort(false); }⦉@14,16@15⦊‸⦉@15
@17,18⦊countdown -= 1⦉@17,18;
}
@4⦊Ok(())
}⦉@4