import org.jetbrains.annotations.NotNull;

class A {
  @NotNull String s<caret>;
}