[Bug c++/125163] When a contract predicate exits via exception the contract violation shows detection_mode as predicate_false

[avr5309 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125163

--- Comment #3 from arunachalaeshwaran v r <avr5309 at gmail dot com> ---
I don't think evaluation_exception() needs to be added, as it was removed in a
later proposal according to
https://cppstat.dev/?tags=cpp26&search=evaluation_exception. Also, refer to
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3819r0.pdf.