gcc/testsuite/g++.dg/concepts/memfun2.C

   1 // PR c++/72415
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template<int... Indices>
   5 struct indices {};
   6
   7 template<typename Dummy>
   8 struct foo_type {
   9     template<int... Indices>
  10     static void impl(indices<Indices...>)
  11         requires (... && (Indices, true));
  12
  13     static auto caller()
  14     { return impl(indices<0, 1, 2> {}); }
  15 };
  16
  17 int main()
  18 {
  19     // internal compiler error: in satisfy_predicate_constraint, at cp/constraint.cc:2013
  20     foo_type<void>::caller();
  21 }