java/java-tests/testData/compiler/notNullVerification/SimpleParam.java

import org.jetbrains.annotations.NotNull;

public class SimpleParam {
  public void test(@NotNull Object o) {
  }
}