Title
is_literal_type_v should be inline
Status
c++20
Section
[depr.meta.types]
Submitter
Tim Song

Created on 2017-12-06.00:00:00 last changed 38 months ago

Messages

Date: 2018-03-18.16:03:30

Proposed resolution:

This wording is relative to N4713.

  1. Change [depr.meta.types]p1 as indicated:

    -1- The header <type_traits> has the following addition:

    namespace std {
      template<class T> struct is_literal_type;
      template<class T> inline constexpr bool is_literal_type_v = is_literal_type<T>::value;
    
      template<class> struct result_of;    // not defined
      template<class Fn, class... ArgTypes> struct result_of<Fn(ArgTypes...)>;
      template<class T> using result_of_t = typename result_of<T>::type;
    
      template<class T> struct is_pod;
      template<class T> inline constexpr bool is_pod_v = is_pod<T>::value;
    }
    
Date: 2018-03-17.00:00:00

[ 2018-3-17 Adopted in Jacksonville ]

Date: 2018-01-08.00:00:00

[ 2018-01-08 Moved to Tentatively Ready after 8 positive votes on c++std-lib. ]

Date: 2017-12-06.00:00:00

P0607R0 forgot to look at [depr.meta.types] and make is_literal_type_v inline.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2018-03-18 16:03:30adminsetmessages: + msg9751
2018-03-18 16:03:30adminsetstatus: voting -> wp
2018-02-12 01:13:49adminsetstatus: ready -> voting
2018-01-11 17:18:10adminsetmessages: + msg9601
2018-01-11 17:18:10adminsetstatus: new -> ready
2017-12-06 22:27:57adminsetmessages: + msg9581
2017-12-06 00:00:00admincreate