// Test case for Issue 1546 | |
// https://github.com/typetools/checker-framework/issues/1546 | |
@SuppressWarnings("all") // check for crashes | |
public class Issue1546 { | |
<T> void m(T t) {} | |
{ | |
try { | |
new Runnable() { | |
public void run() {} | |
}; | |
} finally { | |
m("Hi"); | |
} | |
} | |
} |