void () { doTest(""" Exception in thread "main" java.lang.IllegalArgumentException: Argument for @NotNull parameter 's' of MainTest$XImpl.foo must not be null \tat MainTest$XImpl.$$$reportNull$$$0(MainTest.java) \tat MainTest$XImpl.foo(MainTest.java)""", "Find why 's1' could be null", """ import org.jetbrains.annotations.NotNull; public class MainTest { static void test(X x, String s, String s1) { x.foo(s, s1); } interface X { void foo(String s, String t);} static class XImpl implements X { @Override public void foo(String t, @NotNull String s) {}} public static void main(String[] args) { test(new XImpl(), "", null); }}"""); }