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
34
35
36
37
38
39
40
|
// The test cases GenericNull, FieldAccess, and InferTypeArgs often fail together.
// See the comments at GenericNull for some tips about what might be wrong.
public class FieldAccess {
class MyClass {
Object field = new Object();
}
class MyException extends RuntimeException {
Object field = new Object();
}
class MyExceptionA extends MyException {}
class MyExceptionB extends MyException {}
@SuppressWarnings("nullness")
class MyGen<T extends MyClass> {
T myClass = null;
}
void test(Object o, MyGen raw) {
// Raw type field access:
raw.myClass.field = new Object();
// Intersection type field access
Object a = ((MyClass & Cloneable) o).field;
try {
} catch (MyExceptionA | MyExceptionB ex) {
// Union type field access
ex.field = new Object();
}
}
void classLiterals() {
Class<?> c = byte.class;
Class<?> d = void.class;
}
}
|
