import org.jetbrains.annotations.NotNull; class J { public static class Foo extends A { public Foo(int i, @NotNull String s) { } } }