Proposed resolution:

This wording is relative to N4659.

1. Edit [optional.optional], class template optional synopsis, as indicated:

   template <class T>
     class optional {
     public:
       using value_type = remove_cv_t<T>;
       […]
     };
   

[ 2018-1-26 issues processing telecon ]

Status to 'Open'

[ 2017-07 Toronto Tuesday PM issue prioritization ]

Priority 3; may also affect array

optional<T>::value_type is T, which can be a cv-qualified object type. This is inconsistent with the uses of the name value_type elsewhere in the standard. We should either require optional<T>::value_type to be remove_cv_t<T> — a true value type — or rename the type alias to element_type.