src/test/ui/async-await/drop-track-bad-field-in-fru.rs


1
2
3
4
5
6
7
8
9
10

// compile-flags: -Zdrop-tracking
// edition: 2021

fn main() {}

async fn foo() {
    None { value: (), ..Default::default() }.await;
    //~^ ERROR `Option<_>` is not a future
    //~| ERROR variant `Option<_>::None` has no field named `value`
}