Proposed resolution:

This wording is relative to N4758.

1. Delete from [meta.type.synop] all variable templates starting at is_void_v up to and including is_convertible_v as indicated:

   #include <type_traits>
   
   namespace std::experimental {
   inline namespace fundamentals_v3 {
   
     // See C++17 §23.15.4.1, primary type categories
     template <class T> constexpr bool is_void_v
       = is_void<T>::value;
     […]
     template <class From, class To> constexpr bool is_convertible_v
       = is_convertible<From, To>::value;
   
     // 3.3.2, Other type transformations
     template <class> class invocation_type; // not defined
     […]
   } // inline namespace fundamentals_v3
   } // namespace std::experimental
   

[ 2018-11-11 Resolved by P1210R0, adopted in San Diego. ]

[ 2018-07-20 Status to Tentatively Ready after five positive votes on the reflector. ]

Addresses: fund.ts.v3

The LFTSv3 prospective-working-paper N4758 lists a large number of type trait variable templates in [meta.type.synop] that are duplicates of corresponding ones in C++17. The paper P0996R1 that was meant to rebase the LFTS on C++17 appears to have missed them.