//@ check-pass
//@ edition:2018
#[allow(dead_code)]
async fn foo () { // unreachable lint doesn't trigger
unimplemented!()
}
fn main() {}