LWG4358 [exec.as.awaitable] is using "Preconditions:" when it should probably be described in the constraint

Author: burblebee

source/exec.tex

@@ -6758,16 +6758,8 @@
 where \tcode{A} is the type of the expression above.
 \item
 Otherwise, \tcode{(void(p), expr)}
-if \tcode{\exposconcept{is-awaitable}<Expr, U>} is \tcode{true},
-where \tcode{U} is an unspecified class type
-that is not \tcode{Promise} and
-that lacks a member named \tcode{await_transform}.
-
-\expects
-\tcode{\exposconcept{is-awaitable}<Expr, Promise>} is \tcode{true} and
-the expression \tcode{co_await expr}
-in a coroutine with promise type \tcode{U} is expression-equivalent to
-the same expression in a coroutine with promise type \tcode{Promise}.
+if \tcode{decltype(\exposid{GET-AWAITER}(expr))}
+satisfies \tcode{\exposconcept{is-awaiter}<Promise>}.
 \item
 Otherwise, \tcode{\exposid{sender-awaitable}\{\exposid{adapted-expr}, p\}}
 if