1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
import com.sun.istack.internal.Nullable;
class Issue2888 {
@Nullable Object[] noa;
void foo() {
noa = null;
// :: error: (accessing.nullable) :: error: (assignment.type.incompatible)
noa[0] = null;
}
@Nullable Object[] foo2(@Nullable Object[] p) {
noa = p;
noa = foo2(noa);
noa = foo2(p);
return p;
}
// The below is copied from Issue 2923.
public void bar1(@Nullable String... args) {
bar2(args);
}
private void bar2(@Nullable String... args) {
if (args != null && args.length > 0) {
@Nullable final String arg0 = args[0];
// :: warning: (known.nonnull)
if (arg0 != null) {
System.out.println("arg0: " + arg0);
}
}
}
}
|
