LWG2130 Missing ordering constraints