P1154 Type traits for structural comparison

[jensmaurer]

P1154R0 Type traits for structural comparison (Arthur O'Dwyer, Jeff Snyder)

[wg21bot]

P1154R1 Type traits for structural comparison (Arthur O'Dwyer, Jeff Snyder)

[jensmaurer]

Marked as "backlog" on San Diego EWG-I wiki.

[jfbastien]

Removing EWGI for now, please send back if needed.

[tituswinters]

LEWG in Kona:
We want all of the traits (rather than just strong structural equality).
SF F N A SA
0 2 4 0 3

Drop everything but has_strong_structural_equality_?, make sure to coordinate with P1185 <=> != == #141, and forward to LWG for C++20.
SF F N A SA
3 5 1 0 0

[wg21bot]

P1154R2 Type traits for structural comparison (Arthur O'Dwyer, Jeff Snyder)

[jensmaurer]

Integrated into P1614 The Mothership Has Landed: Adding <=> to the Library #391.