import org.jetbrains.annotations.*;

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