On Mon, May 27, 2024 at 4:04 PM Gašper Ažman wrote
>
> strongly against a baseclass. The reason anyone would use anything but
> std::elide is because they have their own, and changing that is
> difficult.
>
> Request a `bool std::is_elider_v<my-class>` specialization and then
> have `template <typename X> concept elider = std::is_elider_v<remove_cvref_t<X>>`.


I think that's more complicated than just having:

    class elide {
    public:
        typedef true_type tag_elide;
    };

Plus, my strategy has the added versatility of being able to override
it in a derived class with "false" instead of "true":

    class MyElide : public std::elide {
    public:
        typedef std::false_type tag_elide;
    };