Name: ###@###.### Date: 09/05/96

a variable is not considered as definitely assigned before
             the right-hand side of a boolean assignment expression though
             it is definitely assigned after an index expression within the
             left-hand side of the assignment. This contradicts the following
             assertion:

             Suppose that an assignment expression a = b, a &= b, a |= b, or
             a ^= b is boolean-valued.

             - V is definitely assigned before b iff V is definitely assigned
               after a.

             (Java Language Specification, section 16.1.13)

Test: compilation of the following test

public class test
{
public static void main(String argv[])
{
int i;
boolean r;
boolean [] a = new boolean [10];

r = (a[i = 1] = i > 0);
System.out.println(r);
}
}

produces such diagnostics:

novo40% javac test.java
test.java:9: Variable i may not have been initialized.
r = (a[i = 1] = i > 0);
^
1 error

======================================================================