P2321R2 zip

- Fix incorrect template-heads for tuple constructors taking a pair.
- Rephrased "expression within noexcept" to "exception specification".

Author: jensmaurer

source/containers.tex

@@ -6296,6 +6296,7 @@
       constexpr operator bool() const noexcept;
       constexpr reference& operator=(bool x) noexcept;
       constexpr reference& operator=(const reference& x) noexcept;
+      constexpr const reference& operator=(bool x) const noexcept;
       constexpr void flip() noexcept;   // flips the bit
     };
 

source/iterators.tex

@@ -1381,10 +1381,11 @@
 
 \pnum
 Expressions of integer-class type are
-explicitly convertible to any integral type.
+explicitly convertible to any integral type as well as any integer-class type.
 Expressions of integral type are
 both implicitly and explicitly convertible to any integer-class type.
-Conversions between integral and integer-class types
+Conversions between integral and integer-class types and
+between two integer-class types
 do not exit via an exception.
 
 \pnum
@@ -1434,6 +1435,14 @@
 if it models \tcode{\libconcept{unsigned_integral}<I>} or
 if it is an unsigned-integer-class type.
 
+\pnum
+For any two integer-like types \tcode{I1} and \tcode{I2},
+at least one of which is an integer-class type,
+\tcode{common_type_t<I1, I2>} denotes an integer-like type
+whose width is not less than that of \tcode{I1} or \tcode{I2}.
+If both \tcode{I1} and \tcode{I2} are signed-integer-like types,
+then \tcode{common_type_t<I1, I2>} is also a signed-integer-like type.
+
 \pnum
 \tcode{\exposid{is-integer-like}<I>} is \tcode{true}
 if and only if \tcode{I} is an integer-like type.