fn main() {
    *(&4);
}

// END RUST SOURCE
// START rustc.main.ConstProp.before.mir
// bb0: {
//     ...
//     _2 = &(promoted[0]: i32);
//     _1 = (*_2);
//     ...
//}
// END rustc.main.ConstProp.before.mir
// START rustc.main.ConstProp.after.mir
// bb0: {
//     ...
//     _2 = &(promoted[0]: i32);
//     _1 = const 4i32;
//     ...
// }
// END rustc.main.ConstProp.after.mir