static_assert in for-init-statement of the for statement

Question

What prevents compilers from compiling a static_assert placed in for-init-statement of the for statement?

For example:

for(static_assert(true, ""); false; ); // error

Answer 1

Grammatically. A for loop is:

for ( init-statement; conditionopt ; expressionopt ) statement

where an init-statement is either an expression followed by a ; or a simple-declaration. A static_assert-declaration is neither of those things, hence it can't go there.