The Java Language Specification, Third Edition

15.13 Array Access Expressions EXPRESSIONS
482
System.out.println(((T1)this).s());
}
}
class Test {
public static void main(String[] args) {
T3 t3 = new T3();
t3.test();
}
}
which produces the output:
s()= 3
super.s()= 2
((T2)this).s()= 3
((T1)this).s()= 3
The casts to types T1 and T2 do not change the method that is invoked,
because the instance method to be invoked is chosen according to the run-time
class of the object referred to be this. A cast does not change the class of an
object; it only checks that the class is compatible with the specified type.
15.13 Array Access Expressions
An array access expression refers to a variable that is a component of an array.
ArrayAccess:
ExpressionName [ Expression ]
PrimaryNoNewArray [ Expression ]
An array access expression contains two subexpressions, the array reference
expression (before the left bracket) and the index expression (within the brackets).
Note that the array reference expression may be a name or any primary expression
that is not an array creation expression (§15.10).
The type of the array reference expression must be an array type (call it T[],
an array whose components are of type T ) or a compile-time error results. Then
the type of the array access expression is the result of applying capture conversion
(§5.1.10) to T.
The index expression undergoes unary numeric promotion (§); the promoted
type must be int.
The result of an array reference is a variable of type T, namely the variable
within the array selected by the value of the index expression. This resulting variable,
which is a component of the array, is never considered final, even if the
array reference was obtained from a final variable.
DRAFT