[Bug c++/125733] contracts: ICE on deducing this and precondition

"waffl3x at gcc dot gnu.org via Gcc-bugs" <[email protected]> Sat, 15 Aug 2026 04:43:59 +0000

Newsgroups	gmane.comp.gcc.bugs
Message-ID	<[email protected]/bugzilla/>

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

Waffl3x <waffl3x at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED
           Assignee|waffl3x at gcc dot gnu.org         |unassigned at gcc dot gnu.org

--- Comment #1 from Waffl3x <waffl3x at gcc dot gnu.org> ---
Dupe.
(In reply to Ivan Lazaric from comment #0)

> https://godbolt.org/z/jez3Tods1
> Also ICEs if return type is `int` instead of `auto`
> https://godbolt.org/z/fMxoGsoKM
These are PR124395

Thanks for the report

*** This bug has been marked as a duplicate of bug 125537 ***