checker/tests/nullness-extra/issue309/Issue309.java

import lib.Lib;

public class Issue309 {
  void bar() {
    Lib.foo();
  }
}