LWG4072 std::optional comparisons: constrain harder

Author: burblebee

source/utilities.tex

@@ -4659,6 +4659,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x == v} is well-formed and
 its result is convertible to \tcode{bool}.
 \begin{note}
@@ -4678,6 +4679,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v == *x} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4694,6 +4696,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x != v} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4710,6 +4713,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v != *x} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4726,6 +4730,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x < v} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4742,6 +4747,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v < *x} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4758,6 +4764,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x > v} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4774,6 +4781,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v > *x} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4790,6 +4798,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x <= v} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4806,6 +4815,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v <= *x} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4822,6 +4832,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{U} is not a specialization of optional.
 The expression \tcode{*x >= v} is well-formed and
 its result is convertible to \tcode{bool}.
 
@@ -4838,6 +4849,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
+\tcode{T} is not a specialization of optional.
 The expression \tcode{v >= *x} is well-formed and
 its result is convertible to \tcode{bool}.