drop_then_use_fake_reads.rs

//@ edition:2021
//@ check-pass

#![feature(rustc_attrs)]
#![allow(dropping_references)]

fn main() {
    let mut x = 1;
    let c = || {
        drop(&mut x);
        match x { _ => () }
    };
}

// ferrocene-annotations: fls_u2mzjgiwbkz0
// Destructors