https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94890 --- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> --- Minimal testcase: template <class e, class = decltype(e(0))> void foo(); struct t { int a; }; void bar() { foo<t>(); }