Proposed resolution:

This wording is relative to N4910.

1. Modify [refwrap.general], class template reference_wrapper synopsis, as indicated:

   // [refwrap.invoke], invocation
   template<class... ArgTypes>
     constexpr invoke_result_t<T&, ArgTypes...> operator()(ArgTypes&&...) const 
       noexcept(is_nothrow_invocable_v<T&, ArgTypes...>);
   

2. Modify [refwrap.invoke] as indicated:

   template<class... ArgTypes>
     constexpr invoke_result_t<T&, ArgTypes...>
       operator()(ArgTypes&&... args) const noexcept(is_nothrow_invocable_v<T&, ArgTypes...>);
   

   -1- Mandates: T is a complete type.

   -2- Returns: INVOKE(get(), std::forward<ArgTypes>(args)...). ([func.require])

[ 2022-11-12 Approved at November 2022 meeting in Kona. Status changed: Voting → WP. ]

[ 2022-09-23; Reflector poll ]

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

Already implemented in MSVC and libstdc++.

The following assertion does not hold, making the type less capable than the function pointers.

void f() noexcept;

std::reference_wrapper fn = f;
static_assert(std::is_nothrow_invocable_v<decltype(fn)>);