void () { doTest("java.lang.IllegalArgumentException", "Find why 's' could be != \"BAR\", \"FOO\" (not-null)", "class X {static void test(String s) { switch (s) { " + "case \"FOO\": break; case \"BAR\": return;" + "default: case \"BAZ\": throw new IllegalArgumentException(); } } }"); }