Given that all of the objections are explicitly over contracts, and only contracts, and not any of the other half-assed features in C++26, I don't think it's fair to say that that lesson isn't being drawn.