// 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();
  }
}
