Make Copy* requirements include Move* requirements

Author: tkoeppe

source/lib-intro.tex

@@ -1676,7 +1676,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}
@@ -1705,7 +1705,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}
@@ -1725,7 +1725,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}
@@ -1762,7 +1762,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}
@@ -1810,7 +1810,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}
@@ -1836,7 +1837,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}
@@ -1873,7 +1874,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}
@@ -1897,7 +1899,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}