From Jason Turner

[thread.thread.assign]

Diff to HTML by rtfpessoa

tmp/tmp_7huhvko/{from.md → to.md} RENAMED
@@ -1,14 +1,14 @@
1
- #### `thread` assignment <a id="thread.thread.assign">[[thread.thread.assign]]</a>
2
 
3
  ``` cpp
4
  thread& operator=(thread&& x) noexcept;
5
  ```
6
 
7
  *Effects:* If `joinable()`, calls `terminate()`. Otherwise, assigns the
8
  state of `x` to `*this` and sets `x` to a default constructed state.
9
 
10
- *Postconditions:* `x.get_id() == id()` and `get_id()` returns the value
11
- of `x.get_id()` prior to the assignment.
12
 
13
  *Returns:* `*this`.
14
 
 
1
+ #### Assignment <a id="thread.thread.assign">[[thread.thread.assign]]</a>
2
 
3
  ``` cpp
4
  thread& operator=(thread&& x) noexcept;
5
  ```
6
 
7
  *Effects:* If `joinable()`, calls `terminate()`. Otherwise, assigns the
8
  state of `x` to `*this` and sets `x` to a default constructed state.
9
 
10
+ *Ensures:* `x.get_id() == id()` and `get_id()` returns the value of
11
+ `x.get_id()` prior to the assignment.
12
 
13
  *Returns:* `*this`.
14