[concepts] There need be no "there need be no subsumption relationship"

... the core language rules already imply it.

Author: CaseyCarter

source/concepts.tex

@@ -267,28 +267,6 @@
 features. These concepts express relationships between types, type
 classifications, and fundamental type properties.
 
-\pnum
-\begin{example}
-Several concept specifications in this subclause are specified in terms of a
-type trait, and include an annotation that there need be no subsumption
-relationship between the concept and the type trait. Given the following set of
-declarations:
-\begin{codeblock}
-template<class T> concept C1 = is_c1_v<T>;
-template<class U> concept C2 = C1<U> && true;
-
-template<C1 T> void f(T);      // \#1
-template<C2 T> void f(T);      // \#2
-
-template<class T>
-void g(T) requires is_c1_v<T>; // \#3
-template<C2 T> void g(T);      // \#4
-\end{codeblock}
-Since \tcode{C2} subsumes \tcode{C1}, the expression \tcode{f(42)} unambiguously
-calls \#2. \tcode{g(42)}, however, is potentially ambiguous if there need be no
-subsumption relationship between \tcode{C1} and \tcode{is_c1_v}.
-\end{example}
-
 \rSec2[concept.same]{Concept \libconcept{Same}}
 
 \indexlibrary{\idxcode{Same}}%
@@ -298,12 +276,6 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Same}<T, U>}
-and
-\tcode{is_same_v<T, U>}.
-
 \pnum
 \tcode{\libconcept{Same}<T, U>} subsumes \tcode{\libconcept{Same}<U, T>} and
 vice versa.
@@ -319,15 +291,6 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{DerivedFrom}<Derived, Base>}
-and either
-\tcode{is_base_of_v<Base, Derived>}
-or
-\tcode{is_convertible_v<const volatile Derived*,
-  const \brk{}volatile \brk{}Base*>}.
-
 \pnum
 \begin{note}
 \tcode{\libconcept{DerivedFrom}<Derived, Base>} is satisfied if and only if
@@ -383,14 +346,7 @@
 Otherwise, the object referred to by \tcode{f()} is not modified by either above
 expression.
 \end{itemize}
-
 \end{itemize}
-
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{ConvertibleTo}<From, To>}
-and
-\tcode{is_\-convert\-ible_v\brk{}<From,\brk{} To>}.
 \end{itemdescr}
 
 
@@ -497,14 +453,6 @@
 concept Integral = is_integral_v<T>;
 \end{itemdecl}
 
-\begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Integral}<T>}
-and
-\tcode{is_integral_v<T>}.
-\end{itemdescr}
-
 \rSec2[concept.signed.int]{Concept \libconcept{SignedIntegral}}
 
 \indexlibrary{\idxcode{SignedIntegral}}%
@@ -514,12 +462,6 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{SignedIntegral}<T>}
-and
-\tcode{is_signed_v<T>}.
-
 \pnum
 \begin{note}
 \tcode{\libconcept{SignedIntegral}<T>} can be satisfied even by types that are
@@ -586,12 +528,6 @@
 \end{itemize}
 \end{itemize}
 
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Assignable}<LHS, RHS>}
-and
-\tcode{is_lvalue_refer\-ence_v<LHS>}.
-
 \pnum
 \begin{note}
 Assignment need not be a total function\iref{structure.requirements};
@@ -628,12 +564,6 @@
 \item the lookup set produced by argument-dependent
   lookup\iref{basic.lookup.argdep}.
 \end{itemize}
-
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Swappable}<T>}
-and
-\tcode{is_swappable_v<T>}.
 \end{itemdescr}
 
 \indexlibrary{\idxcode{SwappableWith}}%
@@ -678,12 +608,6 @@
 \item the lookup set produced by argument-dependent
   lookup\iref{basic.lookup.argdep}.
 \end{itemize}
-
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{SwappableWith}<T, U>}
-and any specialization of
-\tcode{is_swappable_with_v}.
 \end{itemdescr}
 
 \begin{itemdescr}
@@ -764,12 +688,6 @@
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Destructible}<T>}
-and
-\tcode{is_\-no\-throw_\-destruct\-ible_v<T>}.
-
 \pnum
 \begin{note}
 Unlike the \oldconcept{Destructible} requirements~(\tref{destructible}), this
@@ -789,14 +707,6 @@
 concept Constructible = Destructible<T> && is_constructible_v<T, Args...>;
 \end{itemdecl}
 
-\begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Constructible}<T, Args...>}
-and
-\tcode{is_const\-ruct\-ible_v<T, Args...>}.
-\end{itemdescr}
-
 \rSec2[concept.defaultconstructible]{Concept \libconcept{DefaultConstructible}}
 
 \indexlibrary{\idxcode{DefaultConstructible}}%
@@ -1089,14 +999,6 @@
 concept Movable = is_object_v<T> && MoveConstructible<T> && Assignable<T&, T> && Swappable<T>;
 \end{itemdecl}
 
-\begin{itemdescr}
-\pnum
-There need be no subsumption relationship between
-\tcode{\libconcept{Movable}<T>}
-and
-\tcode{is_object_v<T>}.
-\end{itemdescr}
-
 \rSec2[concept.copyable]{Concept \libconcept{Copyable}}
 
 \indexlibrary{\idxcode{Copyable}}%