/*
 * @test  /nodynamiccopyright/
 * @bug 6911256 6964740 6965277
 * @author Maurizio Cimadamore
 * @summary Verify that method type-inference works as expected in ARM context
 * @compile ArmInference.java
 */

class ArmInference {

    public void test() {
        try(getX()) {
            //do something
        } catch (Exception e) { // Not reachable
            throw new AssertionError("Shouldn't reach here", e);
        }
    }

    <X> X getX() { return null; }
}