Proposed resolution:

This wording is relative to N4920.

1. Modify the synopsis in [func.wrap.func.overview] as indicated:

   namespace std {
     namespace experimental::inline fundamentals_v3 {
   
       template<class> class function; // undefined
   
       template<class R, class... ArgTypes>
       class function<R(ArgTypes...)> {
       public:
         using result_type = R;
         using argument_type = T1;
         using first_argument_type T1;
         using second_argument_type = T2;
   
         using allocator_type = erased_type;
   
         // ...
     }
   }
   

[ 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 ten votes in favour during reflector poll.

Addresses: fund.ts.v3

The LFTSv3 bases its specification for experimental::function on std::function in the C++20 standard. However, the wording was largely copied over from LFTSv2 which based its wording on the C++14 standard.

For C++17, we removed the conditionally defined typedefs for the legacy binders API, but this removal was not reflected in the TS. We are now left with a specification referring to unknown types, T1 and T2.

These typedefs should be excised to match the referenced standard.