Apply P1452R2 On the non-uniform semantics of return-type-requirements

jensmaurer · jensmaurer · commit d5be236d3288 · 2019-07-30T16:03:46.000+02:00
to newly-introduced return type requirements.
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -724,8 +724,8 @@
 constexpr auto @\placeholdernc{synth-three-way}@ =
   []<class T, class U>(const T& t, const U& u)
     requires requires {
-      { t < u } -> bool;
-      { u < t } -> bool;
+      { t < u } -> ConvertibleTo<bool>;
+      { u < t } -> ConvertibleTo<bool>;
     }
   {
     if constexpr (ThreeWayComparableWith<T, U>) {

Original file line number	Diff line number	Diff line change
`@@ -724,8 +724,8 @@`
`724`	`724`	`constexpr auto @\placeholdernc{synth-three-way}@ =`
`725`	`725`	`[]<class T, class U>(const T& t, const U& u)`
`726`	`726`	`requires requires {`
`727`		`- { t < u } -> bool;`
`728`		`- { u < t } -> bool;`
	`727`	`+ { t < u } -> ConvertibleTo<bool>;`
	`728`	`+ { u < t } -> ConvertibleTo<bool>;`
`729`	`729`	`}`
`730`	`730`	`{`
`731`	`731`	`if constexpr (ThreeWayComparableWith<T, U>) {`