The following is required to be an error because x is not
definitely assigned where used.


class T {
    final int x;
    final Object o = new Object() {
            int y = x; // error: x not DA
        };
    {
        x = 12;
    }
}