C++11 static_assert and template instantiation

Question

In C++11, should the operation of static_assert within a template depend on whether that template has been instantiated or not? For example, with the following code

Answer 1

I believe that the compiler is well within it's rights to expand any static assertions that are not dependent on template parameters without needing an instantiation- but I don't believe this is required. Remember also that different draft Standards may have different rules about when this may occur.