https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106211
--- Comment #4 from David Stone <davidfromonline at gmail dot com> --- The types for the first parameters of the inner lambda are deduced in my first two examples, but the arity is fixed in all of them -- equal to the arity of the outer function. Also, `return [](any<int> auto, auto) {};` is perfectly valid. It accepts one argument that satisfies `any<int>` (which is any type), and another argument that matches anything -- in other words, two arguments.