Because you would make many proven algorithms from Knuth or CLRS illegal. This is never acknowledged by the C++ people: Idiomatic C++ is not suitable for forma

Because you would make many proven algorithms from Knuth or CLRS illegal. This is never acknowledged by the C++ people: Idiomatic C++ is not suitable for formal proofs, if you don't believe me, ask Xavier Leroy.