// Regression test for issue #76375.
//
// edition:2018
// build-pass
// compile-flags: -Z mir-opt-level=2
// aux-build:issue_76375_aux.rs

#![crate_type = "lib"]

extern crate issue_76375_aux;

pub async fn g() {
    issue_76375_aux::copy_prop(true);
    h().await;
}

pub async fn u() {
    let b = [0u8; 32];
    let mut i = 0;
    while i != 10 {
        issue_76375_aux::dest_prop(&b);
        h().await;
        i += 1;
    }
}

pub async fn h() {}
