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

jensmaurer · zygoloid · commit d243672db326 · 2019-08-05T16:42:59.000-07:00
to newly-introduced return type requirements.
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -718,8 +718,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
`@@ -718,8 +718,8 @@`
`718`	`718`	`constexpr auto @\placeholdernc{synth-three-way}@ =`
`719`	`719`	`[]<class T, class U>(const T& t, const U& u)`
`720`	`720`	`requires requires {`
`721`		`- { t < u } -> bool;`
`722`		`- { u < t } -> bool;`
	`721`	`+ { t < u } -> ConvertibleTo<bool>;`
	`722`	`+ { u < t } -> ConvertibleTo<bool>;`
`723`	`723`	`}`
`724`	`724`	`{`
`725`	`725`	`if constexpr (ThreeWayComparableWith<T, U>) {`