//@ known-bug: #127880
//@ compile-flags: -Cinstrument-coverage

#[coverage]
fn main() {}