On Sun, 20 Apr 2025 at 03:06, Ville Voutilainen
<ville.voutilainen_at_[hidden]> wrote:
>
> On Sun, 20 Apr 2025 at 01:59, Frederick Virchanza Gotham via
> Std-Proposals <std-proposals_at_[hidden]> wrote:
> >
> > This past week in the thread about "std::arithmetic", we've been
> > talking about different ways of tagging a class.
> >
> > Here's a class that has a tag that will be inherited by all derived classes:
> >
> > #include <type_traits>
> >
> > class MyClass {
> > public:
> > typedef int tag_arithmetic;
> > };
>
> No, it isn't. That's valid existing code, and it will not be given new
> semantics where aliases like that are automatically inherited.
>
> Go do your homework and come back when you have a starting point that
> is not dead on arrival.

The remark applies more to the rest of this wonderful idea, tho.