PRECONDITION: not an end() iterator.
| 946 | |
| 947 | // PRECONDITION: not an end() iterator. |
| 948 | pointer operator->() const { return &operator*(); } |
| 949 | |
| 950 | // PRECONDITION: not an end() iterator. |
| 951 | iterator& operator++() { |
no outgoing calls
no test coverage detected