[java-dfa] Test for IDEA-365762 False positive 'Method invocation may produce NullPointerException' warning

Fixed by IDEA-363662

GitOrigin-RevId: 94d3216ee928118cce2a3479d2f83bffef7baf2c
This commit is contained in:
Tagir Valeev
2025-01-17 20:33:14 +00:00
committed by intellij-monorepo-bot
parent a90dbf10c8
commit 0adf3c4bc9
@@ -23,4 +23,24 @@ record Bar(A a, B b) {
record A() {
Object getObj(String s, B b) {return new Object();}
}
record B() {}
record B() {}
// IDEA-365762
class Test {
private final @Nullable Object finalField;
public Test(@Nullable Object finalField) {
this.finalField = finalField;
}
public void test() {
if (finalField != null) {
finalField.toString();
nop();
finalField.toString();
}
}
private void nop() {
}
}