Proposed resolution:

This wording is relative to N5001.

1. Modify [exec.connect] as indicated:

   -6- The expression `connect(sndr, rcvr)` is expression-equivalent to:

   1. (6.1) — `new_sndr.connect(rcvr)` if that expression is well-formed.

      Mandates: The type of the expression above satisfies `operation_state`.

   2. (6.2) — Otherwise, connect-awaitable(new_sndr, rcvr).

   except that `rcvr` is evaluated only once.

   Mandates: sender<Sndr> && receiver<Rcvr> is true.