From Jason Turner

[reverse.iter.cons]

Diff to HTML by rtfpessoa

tmp/tmp649gojs_/{from.md → to.md} RENAMED
@@ -17,17 +17,24 @@ constexpr explicit reverse_iterator(Iterator x);
17
 
18
  ``` cpp
19
  template<class U> constexpr reverse_iterator(const reverse_iterator<U>& u);
20
  ```
21
 
 
 
 
22
  *Effects:* Initializes `current` with `u.current`.
23
 
24
  ``` cpp
25
  template<class U>
26
  constexpr reverse_iterator&
27
  operator=(const reverse_iterator<U>& u);
28
  ```
29
 
30
- *Effects:* Assigns `u.base()` to `current`.
 
 
 
 
31
 
32
  *Returns:* `*this`.
33
 
 
17
 
18
  ``` cpp
19
  template<class U> constexpr reverse_iterator(const reverse_iterator<U>& u);
20
  ```
21
 
22
+ *Constraints:* `is_same_v<U, Iterator>` is `false` and `const U&` models
23
+ `convertible_to<Iterator>`.
24
+
25
  *Effects:* Initializes `current` with `u.current`.
26
 
27
  ``` cpp
28
  template<class U>
29
  constexpr reverse_iterator&
30
  operator=(const reverse_iterator<U>& u);
31
  ```
32
 
33
+ *Constraints:* `is_same_v<U, Iterator>` is `false`, `const U&` models
34
+ `convertible_to<Iterator>`, and `assignable_from<Iterator&, const U&>`
35
+ is modeled.
36
+
37
+ *Effects:* Assigns `u.current` to `current`.
38
 
39
  *Returns:* `*this`.
40