void () { doTestIntermediate("Find why 'str' could be not-null", "class X {static void test(String str) {<caret>assertNull(str);}" + "static void assertNull(Object obj) {if(obj != null) throw new AssertionError();}}"); }