Skip to content

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

Closed
@JohelEGP

Description

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

1677012121

Originally posted by @JohelEGP in #6135 (comment)

Activity

JohelEGP

JohelEGP commented on Feb 23, 2023

@JohelEGP
ContributorAuthor

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

JohelEGP commented on Feb 23, 2023

@JohelEGP
ContributorAuthor

See also #6135 (comment).

hewillk

hewillk commented on Mar 30, 2023

@hewillk
Contributor

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

JohelEGP commented on Mar 30, 2023

@JohelEGP
ContributorAuthor

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

JohelEGP

JohelEGP commented on Apr 1, 2023

@JohelEGP
ContributorAuthor

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

Dani-Hub commented on Apr 2, 2023

@Dani-Hub
Member

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

changed the title [-][ranges.syn,range.enumerate] Inconsistent _template-head_[/-] [+][ranges.syn,range.enumerate] Inconsistent _template-head_ LWG3914[/+] on Apr 2, 2023
JohelEGP

JohelEGP commented on Oct 14, 2024

@JohelEGP
ContributorAuthor

Status: WP

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    lwgIssue must be reviewed by LWG.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      Participants

      @Dani-Hub@JohelEGP@jensmaurer@hewillk

      Issue actions

        [ranges.syn,range.enumerate] Inconsistent _template-head_ LWG3914 · Issue #6151 · cplusplus/draft