Static assertions are marked as dead code

[jdm]

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

fn main() {
}

/tmp/sa.rs:2:1: 2:25 warning: code is never used: `a`, #[warn(dead_code)] on by default
/tmp/sa.rs:2 static a: bool = 1 == 1;
             ^~~~~~~~~~~~~~~~~~~~~~~~

[thestinger]

I think we should just remove this feature... it's quite unintuitive to use a static this way. Real static asserts make little sense because they would break parametric polymorphism for generics.

[steveklabnik]

Triage: static_assert is behind a feature gate, and it doesn't look like it's being used anywhere at all in the codebase. We still warn.