//@ compile-flags: -Zunpretty=hir //@ check-pass fn foo(x: Option) { let Some(_) = x else { panic!() }; } fn main() {}