mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 15:35:40 +07:00
GitOrigin-RevId: fd52ace3d7a32ecd02c2c5ab90e077967604c15e
18 lines
325 B
Java
18 lines
325 B
Java
/*
|
|
Value is always true (obj != null; line#13)
|
|
'obj' was assigned (=; line#10)
|
|
Expression cannot be null as it's newly created object (new Object(); line#10)
|
|
*/
|
|
|
|
import java.util.Objects;
|
|
|
|
public class T {
|
|
Object obj = new Object();
|
|
|
|
public T() {
|
|
if (<selection>obj != null</selection>) {
|
|
|
|
}
|
|
}
|
|
}
|