https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94628
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ppalka at gcc dot gnu.org --- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- 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.