Make Copy* requirements include Move* requirements

Author: tkoeppe

source/lib-intro.tex

@@ -1628,7 +1628,7 @@
 \rSec3[utility.req.cpp17.equalitycomparable]{\oldconcept{EqualityComparable} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{EqualityComparable} requirement
+A type \tcode{T} meets the \oldconcept{EqualityComparable} requirements
 if the following expression is well-formed and has the specified semantics.
 
 \begin{itemdecl}
@@ -1657,7 +1657,7 @@
 \rSec3[utility.req.cpp17.lessthancomparable]{\oldconcept{LessThanComparable} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{LessThanComparable} requirement
+A type \tcode{T} meets the \oldconcept{LessThanComparable} requirements
 if the following expression is well-formed and has the specified semantics.
 
 \begin{itemdecl}
@@ -1677,7 +1677,7 @@
 \rSec3[utility.req.cpp17.defaultconstructible]{\oldconcept{DefaultConstructible} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{DefaultConstructible} requirement
+A type \tcode{T} meets the \oldconcept{DefaultConstructible} requirements
 if the following statements and expressions are well-formed and have the specified semantics.
 
 \begin{itemdecl}
@@ -1714,7 +1714,7 @@
 \rSec3[utility.req.cpp17.moveconstructible]{\oldconcept{MoveConstructible} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{MoveConstructible} requirement
+A type \tcode{T} meets the \oldconcept{MoveConstructible} requirements
 if the following statements and expressions are well-formed and have the specified semantics.
 
 \begin{itemdecl}
@@ -1762,7 +1762,8 @@
 \rSec3[utility.req.cpp17.copyconstructible]{\oldconcept{CopyConstructible} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{CopyConstructible} requirement
+A type \tcode{T} meets the \oldconcept{CopyConstructible} requirements
+if \tcode{T} meets the \oldconcept{MoveConstructible}\iref{utility.req.cpp17.moveconstructible} requirements, and
 if the following statements and expressions are well-formed and have the specified semantics.
 
 \begin{itemdecl}
@@ -1788,7 +1789,7 @@
 \rSec3[utility.req.cpp17.moveassignable]{\oldconcept{MoveAssignable} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{MoveAssignable} requirement
+A type \tcode{T} meets the \oldconcept{MoveAssignable} requirements
 if the following expression is well-formed and has the specified semantics.
 
 \begin{itemdecl}
@@ -1825,7 +1826,8 @@
 \rSec3[utility.req.cpp17.copyassignable]{\oldconcept{CopyAssignable} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{CopyAssignable} requirement
+A type \tcode{T} meets the \oldconcept{CopyAssignable} requirements
+if \tcode{T} meets the \oldconcept{MoveAssignable}\iref{utility.req.cpp17.moveassignable} requirements, and if
 if the following expression is well-formed and has the specified semantics.
 
 \begin{itemdecl}
@@ -1849,7 +1851,7 @@
 \rSec3[utility.req.cpp17.destructible]{\oldconcept{Destructible} requirements}
 
 \pnum
-A type \tcode{T} meets the \oldconcept{Destructible} requirement
+A type \tcode{T} meets the \oldconcept{Destructible} requirements
 if the following expression is well-formed and has the specified semantics.
 
 \begin{itemdecl}