/*
 * @test /nodynamiccopyright/
 * @bug 4704365
 * @summary definite assignment status within the case expression
 * @author Neal Gafter (gafter)
 *
 * @compile/fail/ref=T4704365.out -XDrawDiagnostics  T4704365.java
 */

class T4704365 {
    T4704365() {
        switch (1) {
        case 0:
            final int i = 3; // line 1
            break;
        case i: // error: i not definitely assigned
            break;
        }
    }
}