There is a deep divide between those that believe that contract violations should never result in exceptions and those that believe that they should. In practic

There is a deep divide between those that believe that contract violations should never result in exceptions and those that believe that they should. In practice we end up with the worst of both worlds were we get inconsistent semantics on specific APIs depending on who's present on the day the feature is voted in (hence at for vector but not in span), while large changes like contracts never reach consensus. This is more and more of an issue with the c++ standardization process.