checker/tests/nullness/Issue328.java

import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;

public class Issue328 {
  public static void m(Map<Object, Object> a, Map<Object, Object> b, Object ka, Object kb) {
    if (a.containsKey(ka)) {
      @NonNull Object i = a.get(ka); // OK
    }
    if (b.containsKey(kb)) {
      @NonNull Object i = b.get(kb); // OK
    }
    if (a.containsKey(ka) && b.containsKey(kb)) {
      @NonNull Object i = a.get(ka); // ERROR
      @NonNull Object j = b.get(kb); // ERROR
    }
  }
}