Knowing that a feature like "labels" is coming, I am happy with the
status quo for C++26, but we probably won't enable C++26 contracts for
anything that targets mixed contexts until we get labels. YMMV.

This means that you need a flag like -fno-contracts. Keep in mind that you will get preconditions/postconditions in certain functions from the standard library.