3679. Is <ranges> sufficient for istream_view?

Section: 25.6.6 [range.istream] Status: LEWG Submitter: Barry Revzin Opened: 2022-02-24 Last modified: 2022-11-10

Priority: 3

View all issues with LEWG status.

Discussion:

The following is rejected by libstdc++:

#include <ranges>

void call(std::ranges::istream_view<int>& v);

The error is quite cryptic, but ultimately the issue is not including <istream>. I think this currently isn't required to work, so the fact that it does not work is conforming. But should it be required to work?

I think either this should work or we should add a note to 25.6.6 [range.istream] about the include.

[2022-03-04; Reflector poll]

Set priority to 3 after reflector poll.

[Kona 2022-11-08; discussed at joint LWG/SG9 session. Send to LEWG (with suggested options)]

Proposed resolution: