import org.jetbrains.annotations.NotNull; class J { public static int foo(@NotNull String s, int i) { return 0; } }