[Bug c++/114625] requires { T{}; } wrongly returns false when T{} is ill-formed while in concept

[ppalka at gcc dot gnu.org via Gcc-bugs]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=94885

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Non-concepts testcase:

struct b { explicit b(); };
struct d : b {};

template<class T, class = decltype(T{})> void f(int) = delete;
template<class T> void f(...);

int main() {
  f<d>(0);
}

This seems related to PR94885 / r11-20-g30da2906ac5217, maybe Marek would be
interested.