Matus Chochlik wrote:
> template <std::meta::info mo> auto baz() {
>     return do_something([: mo :]);
> }
>
> template <std::meta::info mo> auto bar(auto arg1, auto arg2) {
>     return bar<transform1<transform2<mo>(arg2)>(arg1)>();
> }

I suppose P1240 is betting that it would be possible to still do

template <std::meta::info mo> auto bar(auto arg1, auto arg2) {
    return baz<transform1(transform2(mo, arg2), arg1)>();
}

with transform1 and transform2 being consteval.