[Bug c++/127572] [c++26][contracts] a function-contract-specifier binds to the preceding parameter list rather than to the declarator

[berne at notadragon dot com via Gcc-bugs]

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

--- Comment #2 from Joshua Berne <berne at notadragon dot com> ---
Created attachment 65666
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65666&action=edit
group 1, wrong-code: accepted, contract never runs -- must be run