From Jason Turner

[tuple.traits]

Diff to HTML by rtfpessoa

tmp/tmpu5y665n2/{from.md → to.md} RENAMED
@@ -1,14 +1,14 @@
1
- #### Tuple traits <a id="tuple.traits">[[tuple.traits]]</a>
2
 
3
  ``` cpp
4
  template<class... Types, class Alloc>
5
  struct uses_allocator<tuple<Types...>, Alloc> : true_type { };
6
  ```
7
 
8
- *Requires:* `Alloc` shall be an
9
- `Allocator` ([[allocator.requirements]]).
10
 
11
  [*Note 1*: Specialization of this trait informs other library
12
  components that `tuple` can be constructed with an allocator, even
13
  though it does not have a nested `allocator_type`. — *end note*]
14
 
 
1
+ ### Tuple traits <a id="tuple.traits">[[tuple.traits]]</a>
2
 
3
  ``` cpp
4
  template<class... Types, class Alloc>
5
  struct uses_allocator<tuple<Types...>, Alloc> : true_type { };
6
  ```
7
 
8
+ *Preconditions:* `Alloc` meets the *Cpp17Allocator* requirements
9
+ ([[cpp17.allocator]]).
10
 
11
  [*Note 1*: Specialization of this trait informs other library
12
  components that `tuple` can be constructed with an allocator, even
13
  though it does not have a nested `allocator_type`. — *end note*]
14