1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
// PR c++/86480 // { dg-do compile { target c++17 } } template <class...> constexpr bool val = true; template <class... T> void f() { [](auto... p) { []{ if constexpr (val<T..., decltype(p)...>) { return true; } return false; }(); }(42); } int main() { f<int>(); }