This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.
Section: 126.96.36.199 [span.cons] Status: WP Submitter: Lars Gullik Bjønnes Opened: 2019-04-03 Last modified: 2019-07-27
Priority: Not Prioritized
View all other issues in [span.cons].
View all issues with WP status.
It seems that this was left out of P1089. The constraint on span() (188.8.131.52 [span.cons]) in the current draft is:
Constraints: Extent <= 0 is true.
This does not seem to make much sense.The proposal is to change the constraint to be:
[2019-06-09; Priority to 0 and Status to Tentatively Ready after five positive votes on the reflector.]
Constraints: Extent == dynamic_extent || Extent == 0 is true.
This wording is relative to N4810.
Modify 184.108.40.206 [span.cons] as indicated:
constexpr span() noexcept;
-1- Constraints: Extent
<= 0 is true.