cpp/ranges/subrange/operator PairLike

@1@ Converts to a pair-like type (i.e. a type models ). Equivalent to, where and  are the stored iterator and sentinel respectively. @@ is constrained that  is. @@ This conversion function has additional constraints imposed by (see below).

@2@ The exposition-only concept specifies a type is pair-like. Generally, an expression of a pair-like type can be used for structured binding (i.e.  is generally well-formed).

@3@ The exposition-only concept refines. It
 * rejects types,
 * requires that and  are convertible to the first and second element type of  respectively, and
 * requires the conversion from (which will be replaced by ) to the first element type to be non-slicing (see ).

Parameters
(none)

Return value
A value direct-initialized with the stored iterator and sentinel.