I think there's a better chance for a static_assert proposal in C, especially since Torvalds isn't particularly fond of C++.
Edit: whoops, apparently static_assert is in C11 as well as in C++11. Ignore this comment.
Edit: whoops, apparently static_assert is in C11 as well as in C++11. Ignore this comment.