This proposal introduces a new kind of entity - a qualifier - which will
need to operate correctly with all parts of the language, and it does not
solve the problem of recursive lambdas, nor all save the deduction of the
qualifier that "deducing this" solves. I think there is a pretty large body
of work required here before it's a better solution. All the other
parameters can already be handled with existing metaprogramming, too.

Gašper

On Sun, Sep 29, 2019, 14:14 Phil Bouchard via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> The approach I propose is more generic as it can apply to all other
> parameters as well; not only "this".
>
>
> --
>
> *Phil Bouchard*
> Founder
> C.: (819) 328-4743
>
> [image: Fornux Logo] <http://www.fornux.com>
> --
> Std-Proposals mailing list
> Std-Proposals_at_[hidden]
> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>