src/test/run-pass/static-assert.rs

#[static_assert]
static b: bool = true;

#[static_assert]
static c: bool = 1 == 1;

#[static_assert]
static d: bool = 1 != 2;

#[static_assert]
static f: bool = (4/2) == 2;

fn main() {
}