3914. Inconsistent template-head of ranges::enumerate_view

Section: 25.2 [ranges.syn], 25.7.24 [range.enumerate] Status: WP Submitter: Johel Ernesto Guerrero Peña Opened: 2023-03-30 Last modified: 2023-11-22

Priority: Not Prioritized

View other active issues in [ranges.syn].

View all other issues in [ranges.syn].

View all issues with WP status.

Discussion:

Originally editorial issue Editorial issue #6151.

The template-head of ranges::enumerate_view in the header synopsis is different from those in the class synopses of itself and its iterator/sentinel pair.

[2023-05-24; Reflector poll]

Set status to Tentatively Ready after five votes in favour during reflector poll.

[2023-06-17 Approved at June 2023 meeting in Varna. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4944.

1. Modify 25.2 [ranges.syn] as indicated:

   […]
   // 25.7.24 [range.enumerate], enumerate view
   template<view Vinput_range View>
     requires see belowview<View>
   class enumerate_view;
   […]