From Jason Turner

[string.erase]

Diff to HTML by rtfpessoa

tmp/tmp77vzn8no/{from.md → to.md} RENAMED
@@ -31,11 +31,11 @@ constexpr iterator erase(const_iterator first, const_iterator last);
31
  ```
32
 
33
  *Preconditions:* `first` and `last` are valid iterators on `*this`.
34
  \[`first`, `last`) is a valid range.
35
 
36
- *Effects:* Removes the characters in the range `[first, last)`.
37
 
38
  *Returns:* An iterator which points to the element pointed to by `last`
39
  prior to the other elements being erased. If no such element exists,
40
  `end()` is returned.
41
 
@@ -43,11 +43,11 @@ prior to the other elements being erased. If no such element exists,
43
 
44
  ``` cpp
45
  constexpr void pop_back();
46
  ```
47
 
48
- *Preconditions:* `!empty()`.
49
 
50
  *Effects:* Equivalent to `erase(end() - 1)`.
51
 
52
  *Throws:* Nothing.
53
 
 
31
  ```
32
 
33
  *Preconditions:* `first` and `last` are valid iterators on `*this`.
34
  \[`first`, `last`) is a valid range.
35
 
36
+ *Effects:* Removes the characters in the range \[`first`, `last`).
37
 
38
  *Returns:* An iterator which points to the element pointed to by `last`
39
  prior to the other elements being erased. If no such element exists,
40
  `end()` is returned.
41
 
 
43
 
44
  ``` cpp
45
  constexpr void pop_back();
46
  ```
47
 
48
+ `empty()` is `false`.
49
 
50
  *Effects:* Equivalent to `erase(end() - 1)`.
51
 
52
  *Throws:* Nothing.
53