gcc/testsuite/g++.dg/cpp1y/pr84496.C

   1 // PR c++/84496
   2 // { dg-do compile { target c++14 } }
   3
   4 template <typename T, T n> struct C { static constexpr T D = n; };
   5 struct E : C<bool, false> {};
   6 template <typename> struct F : C<bool, false> {};
   7 template <typename T> T foo ();
   8 template <typename> struct H { typedef int G; };
   9 template <typename> class I;
  10 struct L;
  11 template <typename, typename> struct J;
  12 template <bool, bool, typename...> struct K;
  13 struct R {
  14   template <typename M, typename... N>
  15   static J<decltype (foo<M> () (foo<N>...)), L> o;
  16 };
  17 template <typename P, typename... Q> struct K<false, false, P, Q...> : R {
  18   typedef decltype (o<P, Q...>) G;
  19 };
  20 template <typename P, typename... Q>
  21 struct D : K<E::D, F<typename H<P>::G>::D, P, Q...> {};
  22 template <typename P, typename... Q> struct I<P (Q...)> : D<P, Q...> {};
  23 template <typename> class function;
  24 template <typename S, typename... Q> struct function<S (Q...)> {
  25   template <typename T, typename = typename I<T (Q...)>::G> struct C;
  26   template <typename, typename> using U = int;
  27   template <typename P, typename = U<int, void>, typename = U<C<P>, void>>
  28   function (P);
  29 };
  30 template <typename S, typename... Q>
  31 template <typename P, typename, typename>
  32 function<S (Q...)>::function (P)
  33 {
  34 }
  35 void bar (function<void (int)>);
  36
  37 void
  38 baz ()
  39 {
  40   auto a = [] {
  41     static int counter;
  42     bar ([] (auto) { counter++; });
  43   };
  44 }