https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107778
--- Comment #3 from cqwrteur <unlvsur at live dot com> --- (In reply to cqwrteur from comment #2) > BTW. Why does the default contract does not crash program when it violates? Also why the function is not noexcept?