From Jason Turner

[variant.specalg]

Diff to HTML by rtfpessoa

tmp/tmpmh7iyrov/{from.md → to.md} RENAMED
@@ -3,12 +3,14 @@
3
  ``` cpp
4
  template<class... Types>
5
  void swap(variant<Types...>& v, variant<Types...>& w) noexcept(see below);
6
  ```
7
 
 
 
 
 
8
  *Effects:* Equivalent to `v.swap(w)`.
9
 
10
- *Remarks:* This function shall not participate in overload resolution
11
- unless `is_move_constructible_v<``Tᵢ``> && is_swappable_v<``Tᵢ``>` is
12
- `true` for all i. The expression inside `noexcept` is equivalent to
13
  `noexcept(v.swap(w))`.
14
 
 
3
  ``` cpp
4
  template<class... Types>
5
  void swap(variant<Types...>& v, variant<Types...>& w) noexcept(see below);
6
  ```
7
 
8
+ *Constraints:*
9
+ `is_move_constructible_v<``Tᵢ``> && is_swappable_v<``Tᵢ``>` is `true`
10
+ for all i.
11
+
12
  *Effects:* Equivalent to `v.swap(w)`.
13
 
14
+ *Remarks:* The expression inside `noexcept` is equivalent to
 
 
15
  `noexcept(v.swap(w))`.
16