Because you would make many *proven* algorithms from Knuth or CLRS illegal. This...

		anlp1kk on May 24, 2020 \| parent \| context \| favorite \| on: Chromium project finds that 70% of security defect... 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.