Proposed resolution:

This wording is relative to N4582.

1. Change [vector.data] p1 as indicated:

   T* data() noexcept;
   const T* data() const noexcept;
   

   -1- Returns: A pointer such that [data(), data() + size()) is a valid range. For a non-empty vector, data() == addressof(&front()).

In [vector.data], we have:

Returns: A pointer such that [data(),data() + size()) is a valid range. For a non-empty vector, data() == &front().

This should be:

Returns: A pointer such that [data(),data() + size()) is a valid range. For a non-empty vector, data() == addressof(front()).