/*
 * @test  /nodynamiccopyright/
 * @bug 6911256 6964740
 * @author Joseph D. Darcy
 * @summary Strange ARMs 
 * @compile/fail -source 6 WeirdArm.java
 * @compile WeirdArm.java
 * @run main WeirdArm
 */

public class WeirdArm implements AutoCloseable {
    private static int closeCount = 0;
    public static void main(String... args) {
        try(WeirdArm r1 = new WeirdArm(); WeirdArm r2 = r1) {
            if (r1 != r2)
                throw new RuntimeException("Unexpected inequality.");
        }
        if (closeCount != 2)
            throw new RuntimeException("bad closeCount" + closeCount);
    }

    public void close() {
        closeCount++;
    }
}