From Jason Turner

[unique.ptr.single.dtor]

Diff to HTML by rtfpessoa

tmp/tmpvt90076t/{from.md → to.md} RENAMED
@@ -1,13 +1,13 @@
1
- ##### `unique_ptr` destructor <a id="unique.ptr.single.dtor">[[unique.ptr.single.dtor]]</a>
2
 
3
  ``` cpp
4
  ~unique_ptr();
5
  ```
6
 
7
- *Requires:* The expression `get_deleter()(get())` shall be well formed,
8
- shall have well-defined behavior, and shall not throw exceptions.
9
 
10
  [*Note 3*: The use of `default_delete` requires `T` to be a complete
11
  type. — *end note*]
12
 
13
  *Effects:* If `get() == nullptr` there are no effects. Otherwise
 
1
+ ##### Destructor <a id="unique.ptr.single.dtor">[[unique.ptr.single.dtor]]</a>
2
 
3
  ``` cpp
4
  ~unique_ptr();
5
  ```
6
 
7
+ *Preconditions:* The expression `get_deleter()(get())` is well-formed,
8
+ has well-defined behavior, and does not throw exceptions.
9
 
10
  [*Note 3*: The use of `default_delete` requires `T` to be a complete
11
  type. — *end note*]
12
 
13
  *Effects:* If `get() == nullptr` there are no effects. Otherwise