On Tue, Feb 1, 2022 at 6:01 PM Peter Dimov <pdimov_at_[hidden]> wrote:

> 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.
>

My concern is not that this would not be doable, more like that it's *ugly*
:)