1 // PR c++/67142 2 // { dg-do compile { target c++17 } } 3 4 namespace detail { 5 template <int> int split_at; 6 } 7 struct A { 8 decltype(0) operator()(); 9 }; 10 template <typename> A make; 11 struct Tuple; 12 auto check = 13 [](auto, auto, auto) { [](auto... xs) { [=] { make<Tuple>(xs...); }; }(); }; main()14int main() { 15 namespace vd = detail; 16 check(vd::split_at<0>, make<Tuple>, make<Tuple>); 17 } 18