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

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