java/java-tests/testData/inspection/dataFlow/fixture/AnnotatedTypeParameters.java

import foo.NotNull;
import foo.Nullable;

import java.util.List;

class Test {
  private static void test(List<@NotNull Object> list) {
    if (<warning descr="Condition 'list.get(0) == null' is always 'false'">list.get(0) == null</warning>) {
      return;
    }
    list.add(<warning descr="Passing 'null' argument to parameter annotated as @NotNull">null</warning>);
  }
  private static void test2(List<@Nullable Object> list) {
    if (list.get(0) == null) {
      return;
    }
    list.add(null);
  }

  private static void test3(Ref<@NotNull Object> ref) {
    if (<warning descr="Condition 'ref.value == null' is always 'false'">ref.value == null</warning>) {
      return;
    }
    ref.value = <warning descr="'null' is assigned to a variable that is annotated with @NotNull">null</warning>;
  }


}

class Ref<T> {
  T value;
}