1 2 3 4 5 6 7 8 9 10 11
// PR c++/83644 // { dg-do compile { target c++17 } } namespace std { template <typename> bool is_invocable_v; } template <typename F> auto compose(F) { [](auto... objs) noexcept(std::is_invocable_v<decltype(objs)...>){}; } auto f() { compose(3); }