openide/java/java-tests/testData/compiler/notNullVerification/NoCheckForConstant.java

import org.jetbrains.annotations.NotNull;

public class NoCheckForConstant {
  @NotNull
  String method() { return "abc"; }
}