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

import org.jetbrains.annotations.NotNull;

public class UseParameterNames {
  public UseParameterNames(Object obj, @NotNull Object obj2) { }
  public void instanceMethod(@NotNull Object x) {}
  public static void staticMethod(@NotNull Object y) {}
}