[Bug c++/124395] [contracts] ICE in check_postconditions_in_redecl when instantiating function template with pre()/post() and empty parameter pack

[waffl3x at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |waffl3x at gcc dot 
gnu.org
   Last reconfirmed|                            |2026-08-15
           Keywords|                            |c++26, ice-on-valid-code
     Ever confirmed|0                           |1
                 CC|                            |waffl3x at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW

--- Comment #3 from Waffl3x <waffl3x at gcc dot gnu.org> ---
```
template <typename... Ts>
void f(Ts...) pre(true) {}

template void f<>();
```
Confirmed.