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

   1 // { dg-options -std=c++17 }
   2
   3 template <class T>
   4 struct A
   5 {
   6   template <class U>
   7   static constexpr bool B = U();
   8
   9   template <class U, bool V = B<U>>
  10   A(T, U);
  11 };
  12
  13 A a (1,2);