[Bug c++/126837] New: [contracts] using a parameter that comes after a pack in a postcondition is rejected

"waffl3x at gcc dot gnu.org via Gcc-bugs" <[email protected]> Thu, 13 Aug 2026 02:58:13 +0000

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

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

            Bug ID: 126837
           Summary: [contracts] using a parameter that comes after a pack
                    in a postcondition is rejected
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: waffl3x at gcc dot gnu.org
  Target Milestone: ---

https://godbolt.org/z/75oEaznWY
```
template<typename... Args>
void f(Args... args, int const a)
  post(a) {}

template void f<int, int>(int, int, int);
```