#[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() { }