https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116976
Bug ID: 116976
Summary: vector<bool>::iterator fails to meet
Cpp17InputIterator requirements
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Keywords: rejects-valid
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: de34 at live dot cn
Target Milestone: ---
The following program doesn't compile (https://godbolt.org/z/676oqj9r5)
```
#include <vector>
int main()
{
std::vector<bool> vb{true};
vb.begin()->flip();
(*vb.begin()).flip();
}
```
As per [tab:inputiterator], it seems that vb.begin()->flip() needs to be
supported with the same semantic as (*vb.begin()).flip().
Although it's not very clear that std::vector<bool>::iterator is even required
to meet the Cpp17InputIterator named requirements.
