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.