https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125403
--- Comment #1 from [email protected] --- This is a simplified example that still reproduces the ICE: ```cpp struct Foo { Foo() #ifdef __cpp_contracts post(true) #endif = default; int x = 42; }; void f() { Foo foo; } ``` CE link: https://godbolt.org/z/sKE9hxxMh
