Title
`flat_set::erase(iterator)` is underconstrained
Status
new
Section
[flat.set.defn] [flat.multiset.defn]
Submitter
Hewill Kang

Created on 2025-09-25.00:00:00 last changed 2 weeks ago

Messages

Date: 2025-09-27.05:43:16

Proposed resolution:

This wording is relative to N5014.

  1. Modify [flat.set.defn] as indicated:

    iterator erase(iterator position) requires (!same_as<iterator, const_iterator>);
    iterator erase(const_iterator position);
    
  2. Modify [flat.multiset.defn] as indicated:

    iterator erase(iterator position) requires (!same_as<iterator, const_iterator>);
    iterator erase(const_iterator position);
    
Date: 2025-09-25.00:00:00

This is a follow-up of LWG 3704 since we now have `flat_set` and `flat_multiset`.

History
Date User Action Args
2025-09-27 05:43:16adminsetmessages: + msg15086
2025-09-25 00:00:00admincreate