// edition: 2021

// Make sure we don't ICE when suggesting a return type
// for an async fn that has late-bound vars...

async fn ice(_: &i32) {
    true
    //~^ ERROR mismatched types
}

fn main() {}