From Jason Turner

[mem.poly.allocator.ctor]

Diff to HTML by rtfpessoa

tmp/tmp76d0jzpn/{from.md → to.md} RENAMED
@@ -1,6 +1,6 @@
1
- #### `polymorphic_allocator` constructors <a id="mem.poly.allocator.ctor">[[mem.poly.allocator.ctor]]</a>
2
 
3
  ``` cpp
4
  polymorphic_allocator() noexcept;
5
  ```
6
 
@@ -8,21 +8,20 @@ polymorphic_allocator() noexcept;
8
 
9
  ``` cpp
10
  polymorphic_allocator(memory_resource* r);
11
  ```
12
 
13
- *Requires:* `r` is non-null.
14
 
15
  *Effects:* Sets `memory_rsrc` to `r`.
16
 
17
  *Throws:* Nothing.
18
 
19
  [*Note 1*: This constructor provides an implicit conversion from
20
  `memory_resource*`. — *end note*]
21
 
22
  ``` cpp
23
- template <class U>
24
- polymorphic_allocator(const polymorphic_allocator<U>& other) noexcept;
25
  ```
26
 
27
  *Effects:* Sets `memory_rsrc` to `other.resource()`.
28
 
 
1
+ #### Constructors <a id="mem.poly.allocator.ctor">[[mem.poly.allocator.ctor]]</a>
2
 
3
  ``` cpp
4
  polymorphic_allocator() noexcept;
5
  ```
6
 
 
8
 
9
  ``` cpp
10
  polymorphic_allocator(memory_resource* r);
11
  ```
12
 
13
+ *Preconditions:* `r` is non-null.
14
 
15
  *Effects:* Sets `memory_rsrc` to `r`.
16
 
17
  *Throws:* Nothing.
18
 
19
  [*Note 1*: This constructor provides an implicit conversion from
20
  `memory_resource*`. — *end note*]
21
 
22
  ``` cpp
23
+ template<class U> polymorphic_allocator(const polymorphic_allocator<U>& other) noexcept;
 
24
  ```
25
 
26
  *Effects:* Sets `memory_rsrc` to `other.resource()`.
27