[ranges.syn,range.enumerate] Inconsistent _template-head_ LWG3914

[JohelEGP]

          This is paper-correct. But there's an inconsistency with the synopsis (which this PR applied faithfully):

Originally posted by @JohelEGP in #6135 (comment)

[JohelEGP]

Here's the template-head in [ranges.enumerate], as present in the view and its iterator/sentinel pair.

  template<@\libconcept{view}@ V>
    requires @\exposconcept{range-with-movable-references}@<V>

[JohelEGP]

See also #6135 (comment).

[hewillk]

Um, any updates?
It seems to me that range-with-movable-references may need to be declared in [ranges.syn], which would facilitate a later updated resolution for LWG 3731.

[JohelEGP]

I just mailed lwgchair to have an issue opened for this.

[JohelEGP]

It seems to me that range-with-movable-references may need to be declared in [ranges.syn], which would facilitate a later updated resolution for LWG 3731.

I just used your previously suggested see below, like other views do.

[Dani-Hub]

@JohelEGP Now we have an LWG issue for this: LWG 3914

[JohelEGP]

Status: WP