Semantics for _Static_assert.