// check that we don't forget to drop the Box if we early return before
// initializing it
// ignore-tidy-linelength
// ignore-wasm32-bare compiled with panic=abort by default

#![feature(box_syntax)]

fn test() -> Option<Box<u32>> {
    Some(box (None?))
}

fn main() {
    test();
}

// END RUST SOURCE
// START rustc.test.ElaborateDrops.before.mir
// fn test() -> std::option::Option<std::boxed::Box<u32>> {
//     ...
//     bb0: {
//         StorageLive(_1);
//         StorageLive(_2);
//         _2 = Box(u32);
//         StorageLive(_3);
//         StorageLive(_4);
//         _4 = std::option::Option::<u32>::None;
//         _3 = const <std::option::Option<u32> as std::ops::Try>::into_result(move _4) -> [return: bb2, unwind: bb3];
//     }
//     bb1 (cleanup): {
//         resume;
//     }
//     bb2: {
//         StorageDead(_4);
//         _5 = discriminant(_3);
//         switchInt(move _5) -> [0isize: bb10, 1isize: bb5, otherwise: bb4];
//     }
//     bb3 (cleanup): {
//         drop(_2) -> bb1;
//     }
//     bb4: {
//         unreachable;
//     }
//     bb5: {
//         StorageLive(_6);
//         _6 = ((_3 as Err).0: std::option::NoneError);
//         StorageLive(_8);
//         StorageLive(_9);
//         _9 = _6;
//         _8 = const <std::option::NoneError as std::convert::From<std::option::NoneError>>::from(move _9) -> [return: bb7, unwind: bb3];
//     }
//     bb6: {
//         return;
//     }
//     bb7: {
//         StorageDead(_9);
//         _0 = const <std::option::Option<std::boxed::Box<u32>> as std::ops::Try>::from_error(move _8) -> [return: bb8, unwind: bb3];
//     }
//     bb8: {
//         StorageDead(_8);
//         StorageDead(_6);
//         drop(_2) -> bb9;
//     }
//     bb9: {
//         StorageDead(_2);
//         StorageDead(_1);
//         StorageDead(_3);
//         goto -> bb6;
//     }
//     bb10: {
//         StorageLive(_10);
//         _10 = ((_3 as Ok).0: u32);
//         (*_2) = _10;
//         StorageDead(_10);
//         _1 = move _2;
//         drop(_2) -> [return: bb12, unwind: bb11];
//     }
//     bb11 (cleanup): {
//         drop(_1) -> bb1;
//     }
//     bb12: {
//         StorageDead(_2);
//         _0 = std::option::Option::<std::boxed::Box<u32>>::Some(move _1,);
//         drop(_1) -> bb13;
//     }
//     bb13: {
//         StorageDead(_1);
//         StorageDead(_3);
//         goto -> bb6;
//     }
// }
// END rustc.test.ElaborateDrops.before.mir