https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94628
--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to Patrick Palka from comment #3)
> Reduced rejects-valid testcase:
>
> int f(int, int);
> int f(int);
>
> template<class...Args>
> auto select(Args... args) -> decltype(f(args...))
> {
> if constexpr(sizeof...(Args)>1)
> return select<char>(7);
> else
> return 0;
> }
>
> int a = select(0, 1);
>
>
>
> Replace 'args...' with 'decltype(args){}' to make it ICE-on-valid.
Oops, that should say 'decltype(args){}...'