Hi Arsen, On 10 December 2022 14:14:59 CET, "Arsen Arsenović via Gcc-patches" <gcc-patches@gcc.gnu.org> wrote: > >Arsen Arsenović <ar...@aarsen.me> writes: > >> Afternoon, >> >> This change prevents contracts from emitting wrapper functions that have the >> same name as the original function, by moving the logic that disambiguates >> them >> from the mangler into the build_contract_condition_function helper. >> >> Thanks, have nice day. > >Oh, forgot to mention; tested on x86_64-pc-linux-gnu via check-g++. >
From a very distant POV this auto sounds really like an ugly bandaid and I, personally would have used a conditional in place argument. auto is really like c++ didn't have the guts to go straight to implicit typed LHS like python et al nor to learn from Fortran's IMPLICIT defaults from some 60 years ago by now (which might have made sense on punchcards, but IMHO not so much nowadays, at least in the light of multi lingual people). The real change does sound plausible, but I didn't really look closely. All in all, not even a comment ;-) Cheers,
