On: Comparisons in C++20

[iso-8859-1]

To enforce correctness, you'd need to demand proofs. I think the most common approach for this is dependent types. I think you'll have to wait another 20 years before they become mainstream.