Proposed resolution:

This wording is relative to N4944.

1. Modify [sequence.reqmts] as indicated:

   a[n]
   

   -118- Result: reference; const_reference for constant a

   -119- ReturnsEffects: Equivalent to: return *(a.begin() + n);

   -120- Remarks: Required for basic_string, array, deque, and vector.

[ 2023-06-17 Approved at June 2023 meeting in Varna. Status changed: Voting → WP. ]

[ 2023-05-24; Reflector poll ]

Set status to Tentatively Ready after six votes in favour during reflector poll.

In [sequence.reqmts]/118, we specify what a[n] means for a sequence container a, but we don't state that it actually has preconditions, other than implied ones.

When we want to use implied preconditions, we can actually get them by using the "Effects: Equivalent to..." wording.