On Sun, Jan 5, 2020 at 8:24 PM language.lawyer--- via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
Why not to add a trait to check if two types are similar?

That would be something like this, yes?

What use would that be? Nothing in the standard library (or in any user-defined library I can think of) depends on being able to tell if two types are "similar," does it?