Proposed resolution:

This wording is relative to N4885.

1. Modify [concept.convertible] as indicated:

   template<class From, class To>
     concept convertible_to =
       is_convertible_v<From, To> &&
       requires(add_rvalue_reference_t<From> (&f)()) {
         static_cast<To>(fdeclval<From>());
       };
   

[ 2021-10-14 Approved at October 2021 virtual plenary. Status changed: Voting → WP. ]

[ 2021-06-07; Reflector poll ]

Set status to Tentatively Ready after nine votes in favour during reflector poll.

The specification of convertible_to implicitly requires static_cast<To>(f()) to be equality-preserving. Under [concepts.equality] p1, the operand of this expression is f, but what we really want is for f() to be treated as the operand. We should just use declval (which is treated specially by the definition of "operand" for this purpose) instead of reinventing the wheel.