#![feature(prelude_import)]
#![no_std]
#[prelude_import]
use ::std::prelude::rust_2015::*;
#[macro_use]
extern crate std;
//@ check-pass
//@ compile-flags: -Z unpretty=expanded

fn main() { if let 0 = 1 {} }