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

BTW, the number of SIM()s can be reduced if note the commutativity of the relation
https://godbolt.org/z/V7SqAu