// "Annotate overriding methods as '@NotNull'" "true"
import org.jetbrains.annotations.NotNull;

abstract class P2 {
    @NotNull<caret>
    String foo(@NotNull P p) {
        return "";
    }
}

class PPP extends P2 {
    String foo(P p) {
        return super.foo(p);
    }
}
class PPP2 extends P2 {

    String foo(P p) {
        return super.foo(p);
    }
}