On 07/01/2020 00:40, Arthur O'Dwyer wrote:
> 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

Looks correct.

> 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?

I'm not aware of anything which could benefit from such a trait, but thought that someone might know.