gcc/testsuite/g++.dg/cpp1z/class-deduction70.C

// PR c++/93596

template <typename> struct A {};
template <typename> struct B {};
template <typename> struct C {
  void foo () { B a = A<int> { foo }; } // { dg-error "" }
};