openide/java/java-tests/testData/inspection/dataFlow/fixture/GuavaCheckNotNull.java

import org.jetbrains.annotations.Nullable;

class Contracts {

  private void check(@Nullable Object o) {
    com.google.common.base.Preconditions.checkNotNull(o);
    System.out.println(o.hashCode());
  }


}