P1115R3

Improving the return value of erase-like algorithms, part 2: free erase[_if]