1

#

Subclause [concepts.compare] describes concepts that establish relationships and orderings on values of possibly differing object types.

2

#

Given an expression E and a type C, let CONVERT_TO_LVALUE<C>(E) be:

• (2.1)

  static_cast<const C&>(as_const(E)) if that is a valid expression, and

• (2.2)

  static_cast<const C&>(std​::​move(E)) otherwise.