// Test case for issue #341: | |
// https://github.com/typetools/checker-framework/issues/341 | |
public class Issue341 { | |
static class Provider { | |
public final Object get = new Object(); | |
} | |
Object execute(Provider p) { | |
final Object result; | |
try { | |
result = p.get; | |
} finally { | |
} | |
return result; | |
} | |
} |