Language
C++
Compiler
gcc HEAD 11.0.0 20200709 (experimental)
Options
Warnings
Boost 1.73.0
C++2a(GNU)
no pedantic
$ g++ prog.cc -Wall -Wextra -I/opt/wandbox/boost-1.73.0/gcc-head/include -std=gnu++2a prog.cc: In instantiation of 'main()::<lambda(auto:11 ...)> [with auto:11 = {arbitrary_type<0>, arbitrary_type<1>, arbitrary_type<2>, arbitrary_type<3>, arbitrary_type<4>, arbitrary_type<5>, arbitrary_type<6>, arbitrary_type<7>, arbitrary_type<8>, arbitrary_type<9>, arbitrary_type<10>, arbitrary_type<11>, arbitrary_type<12>}]':
prog.cc:25:39: required by substitution of 'template<class F, auto ...Ints, class> constexpr auto test_signature(std::index_sequence<Ints ...>) [with F = main()::<lambda(auto:11 ...)>; auto ...Ints = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}; <template-parameter-1-3> = <missing>]'
prog.cc:32:61: required by substitution of 'template<auto I, class F> constexpr decltype (test_signature<F>(std::make_index_sequence<I>{})) arity_impl(int) [with auto I = 13; F = main()::<lambda(auto:11 ...)>]'
prog.cc:48:48: required from 'constexpr auto arity_impl() [with F = main()::<lambda(auto:11 ...)>; auto MaxArity = 12]'
prog.cc:58:63: required from 'constexpr const auto arity_v<main()::<lambda(auto:11 ...)>, 12>'
prog.cc:61:69: required from 'constexpr const bool is_variadic_v<main()::<lambda(auto:11 ...)> >'
prog.cc:65:14: required from 'void foo(F) [with F = main()::<lambda(auto:11 ...)>]'
prog.cc:77:3: required from here
prog.cc:76:7: error: no match for call to '(main()::<lambda(int, int)>) (arbitrary_type<0>&, arbitrary_type<1>&, arbitrary_type<2>&, arbitrary_type<3>&, arbitrary_type<4>&, arbitrary_type<5>&, arbitrary_type<6>&, arbitrary_type<7>&, arbitrary_type<8>&, arbitrary_type<9>&, arbitrary_type<10>&, arbitrary_type<11>&, arbitrary_type<12>&)'
76 | some(params...);
| ~~~~^~~~~~~~~~~
prog.cc:76:7: note: candidate: 'void (*)(int, int)' (conversion)
prog.cc:76:7: note: candidate expects 3 arguments, 14 provided
prog.cc:71:14: note: candidate: 'main()::<lambda(int, int)>'
71 | auto some = [](int i, int j) {
| ^
prog.cc:71:14: note: candidate expects 2 arguments, 13 provided
Exit Code:
1