// Test case for issue 266: | |
// https://github.com/typetools/checker-framework/issues/266 | |
import org.checkerframework.checker.nullness.qual.*; | |
public class Issue266a { | |
private final Object mBar; | |
public Issue266a() { | |
mBar = "test"; | |
Runnable runnable = | |
new Runnable() { | |
@Override | |
public void run() { | |
// unexpected [dereference.of.nullable] error here | |
mBar.toString(); | |
} | |
}; | |
runnable.run(); | |
} | |
} |