This allows types to be considered trivially equality comparable if a defaulted hidden friend is used.
No, this is for optimization purposes. It is true when it is know that comparing two instances of T is equivalent to a memcmp. Or in other words every bit in the type is part of its value representation. Does that help?
Defaulted equality comparison is a C++20 feature.