/*
 * @test  /nodynamiccopyright/
 * @bug 6911256 6964740 6965277
 * @author Maurizio Cimadamore
 * @summary Check that resource variable is not accessible from catch/finally clause
 * @compile/fail/ref=DuplicateResourceDecl.out -XDrawDiagnostics DuplicateResourceDecl.java
 */

class DuplicateResourceDecl {

    public static void main(String[] args) {
        try(MyResource c = new MyResource();MyResource c = new MyResource()) {
        //do something
        } catch (Exception e) { }
    }

    static class MyResource implements AutoCloseable {
        public void close() throws Exception {}
    }
}