On Sun, Jan 5, 2020 at 8:24 PM language.lawyer--- via Std-Proposals <
std-proposals_at_[hidden]> 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