// build-pass
// edition:2018

// revisions: no_drop_tracking drop_tracking drop_tracking_mir
// [drop_tracking] compile-flags: -Zdrop-tracking
// [drop_tracking_mir] compile-flags: -Zdrop-tracking-mir

static mut A: [i32; 5] = [1, 2, 3, 4, 5];

fn is_send_sync<T: Send + Sync>(_: T) {}

async fn fun() {
    let u = unsafe { A[async { 1 }.await] };
    unsafe {
        match A {
            i if async { true }.await => (),
            _ => (),
        }
    }
}

fn main() {
    let index_block = async {
        let u = unsafe { A[async { 1 }.await] };
    };
    let match_block = async {
        unsafe {
            match A {
                i if async { true }.await => (),
                _ => (),
            }
        }
    };
    is_send_sync(index_block);
    is_send_sync(match_block);
    is_send_sync(fun());
}