[Bug c++/126643] [contracts] ICE on implicit conversion inside template function precondition
kengusername at proton dot me via Gcc-bugs <[email protected]> Tue, 04 Aug 2026 20:41:58 +0000
| Newsgroups | gmane.comp.gcc.bugs |
|---|---|
| Message-ID | <[email protected]/bugzilla/> |
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126643
--- Comment #1 from keng <kengusername at proton dot me> ---
The ICE also happens when accessing a struct member
```
struct num {
signed x;
};
template<auto = 0> constexpr auto foo(num x) pre(x.x > 1) {}
static_assert((foo({123}), 0));
```
https://godbolt.org/z/d7eabfe59