openide/java/java-tests/testData/inspection/nullableProblems/AnnotateOverridingParametersOnNotNullMethod_after.java

import org.jetbrains.annotations.NotNull;

interface MakeNonNull {
  @NotNull
  String getSnapshot(@NotN<caret>ull Integer arg);
}

class MakeNonNullImpl implements MakeNonNull {
  @NotNull
  @Override
  public String getSnapshot(@NotNull Integer arg) {
    return arg.toString();
  }
}

class MakeNonNullImpl2 implements MakeNonNull {
  @NotNull
  @Override
  public String getSnapshot(@NotNull Integer arg) {
    return "1";
  }
}