checker/tests/nullness-skipuses/SkipUses1.java

import org.checkerframework.checker.nullness.qual.*;

public class SkipUses1 {

  static class SkipMe {
    static @Nullable Object foo() {
      return null;
    }
  }

  static class DontSkip {
    static @Nullable Object foo() {
      return null;
    }
  }

  static class Main {
    void bar(boolean b) {
      @NonNull Object x = SkipMe.foo();
      // :: error: (assignment)
      @NonNull Object y = DontSkip.foo();

      // :: error: (assignment)
      @NonNull Object z = b ? SkipMe.foo() : DontSkip.foo();
    }
  }
}