#[prelude_import]
use ::std::prelude::rust_2015::*;
#[macro_use]
extern crate std;
// compile-flags: -Zunpretty=hir
// check-pass



fn foo(x:
        Option<u32>) {
        let Some(_) = x else
            {

            { ::std::rt::begin_panic("explicit panic") }
        };
    }
fn main() { }