#[prelude_import]
use ::std::prelude::rust_2015::*;
#[macro_use]
extern crate std;
// https://github.com/rust-lang/rust/issues/82329
// compile-flags: -Zunpretty=hir,typed
// check-pass

pub fn main() ({
                   (if (true as bool)
                       ({ } as
                           ()) else {match ((Some as
                                                fn(i32) -> Option<i32> {Option::<i32>::Some})((3
                                                                                                  as
                                                                                                  i32))
                                               as Option<i32>) {
                                         Some(a) => { }
                                         _ => { }
                                     }} as ())
                    } as ())