Proposal to Add Static Assertions to the Core Language (Revision 3)

The C++ language currently supports two facilities for testing software assertions: the assert macro and the #error preprocessor directive. Neither of these facilities is appropriate for use in template libraries.