#[static_assert]
static a: bool = false; //~ ERROR static assertion failed

fn main() {
}