import org.jetbrains.annotations.NotNull;

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