VWBR, section 8.28.13

     Bracket Expression Validity rule

     A Bracket_expression x [i] is valid if and only if it
     satisfies the following conditions:

        1 A feature of the base class of x is declared as
          alias "[]".
        
        2 The expression's Equivalent Dot Form is a valid
          Call.