// Test case for issue #341:
// https://github.com/typetools/checker-framework/issues/341

class Test {

    static class Provider {
        public final Object get = new Object();
    }

    Object execute(Provider p) {
        final Object result;
        try {
            result = p.get;
        } finally {
        }
        return result;
    }
}