/*
 * @test /nodynamiccopyright/
 * @bug 4725650
 * @summary Restrict scope of local classes in switch-block-group
 * @author gafter
 *
 * @compile/fail/ref=SwitchScope.out -XDrawDiagnostics SwitchScope.java
 */

public class SwitchScope {
    public static void main(String[] args) {
        switch (args.length) {
        case 0:
            final int k;
            k = 12;
            class Local {
                int j = k;
            }
        case 1:
            // the scope of a local class does not extend from one
            // switch case to the next.
            Object o = new Local();
        }
    }
}