diff --git a/libcxx/docs/Status/Cxx20Issues.csv b/libcxx/docs/Status/Cxx20Issues.csv --- a/libcxx/docs/Status/Cxx20Issues.csv +++ b/libcxx/docs/Status/Cxx20Issues.csv @@ -183,7 +183,7 @@ "`3266 `__","``to_chars(bool)``\ should be deleted","Belfast","|Complete|","14.0" "`3272 `__","``%I%p``\ should parse/format ``duration``\ since midnight","Belfast","","","|chrono| |format|" "`3259 `__","The definition of *constexpr iterators* should be adjusted","Belfast","|Nothing To Do|","" -"`3103 `__","Errors in taking subview of ``span``\ should be ill-formed where possible","Belfast","","" +"`3103 `__","Errors in taking subview of ``span``\ should be ill-formed where possible","Belfast","11.0","|Complete|" "`3274 `__","Missing feature test macro for ````\ ","Belfast","|Complete|","11.0" "`3276 `__","Class ``split_view::outer_iterator::value_type``\ should inherit from ``view_interface``\ ","Belfast","|Complete|","15.0","|ranges|" "`3277 `__","Pre-increment on prvalues is not a requirement of ``weakly_incrementable``\ ","Belfast","|Nothing To Do|","","|ranges|" diff --git a/libcxx/test/std/containers/views/views.span/span.sub/first.pass.cpp b/libcxx/test/std/containers/views/views.span/span.sub/first.pass.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/first.pass.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/first.pass.cpp @@ -14,8 +14,7 @@ // // constexpr span first(size_type count) const; // -// Requires: Count <= size(). - +// Mandates: Count <= Extent is true. #include #include diff --git a/libcxx/test/std/containers/views/views.span/span.sub/first.verify.cpp b/libcxx/test/std/containers/views/views.span/span.sub/first.verify.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/first.verify.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/first.verify.cpp @@ -12,7 +12,7 @@ // template // constexpr span first() const; // -// Requires: Count <= size(). +// Mandates: Count <= Extent is true. #include #include diff --git a/libcxx/test/std/containers/views/views.span/span.sub/last.pass.cpp b/libcxx/test/std/containers/views/views.span/span.sub/last.pass.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/last.pass.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/last.pass.cpp @@ -14,8 +14,7 @@ // // constexpr span last(size_type count) const; // -// Requires: Count <= size(). - +// Mandates: Count <= Extent is true. #include #include diff --git a/libcxx/test/std/containers/views/views.span/span.sub/last.verify.cpp b/libcxx/test/std/containers/views/views.span/span.sub/last.verify.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/last.verify.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/last.verify.cpp @@ -12,7 +12,7 @@ // template // constexpr span last() const; // -// Requires: Count <= size(). +// Mandates: Count <= Extent is true. #include #include diff --git a/libcxx/test/std/containers/views/views.span/span.sub/subspan.pass.cpp b/libcxx/test/std/containers/views/views.span/span.sub/subspan.pass.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/subspan.pass.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/subspan.pass.cpp @@ -15,8 +15,7 @@ // constexpr span subspan( // size_type offset, size_type count = dynamic_extent) const; // -// Requires: (0 <= Offset && Offset <= size()) -// && (Count == dynamic_extent || Count >= 0 && Offset + Count <= size()) +// Mandates: Offset <= Extent && (Count == dynamic_extent || Count <= Extent - Offset) is true. #include #include diff --git a/libcxx/test/std/containers/views/views.span/span.sub/subspan.verify.cpp b/libcxx/test/std/containers/views/views.span/span.sub/subspan.verify.cpp --- a/libcxx/test/std/containers/views/views.span/span.sub/subspan.verify.cpp +++ b/libcxx/test/std/containers/views/views.span/span.sub/subspan.verify.cpp @@ -16,8 +16,7 @@ // template // constexpr span subspan() const; // -// Requires: offset <= size() && -// (count == dynamic_extent || count <= size() - offset) +// Mandates: Offset <= Extent && (Count == dynamic_extent || Count <= Extent - Offset) is true. #include #include