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?
(https://timsong-cpp.github.io/cppwp/n4659/conv.qual#def:similar_types)

That would be something like this, yes?
https://godbolt.org/z/aZU2q6

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?

–Arthur