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
|
// Testcase for Issue759
// https://github.com/typetools/checker-framework/issues/759
@SuppressWarnings({"nullness", "unchecked"}) // See checker/test/nullness/Issue759.java
public class Issue759 {
void possibleValues(final Class<? extends Enum> enumType) {
lowercase(enumType.getEnumConstants());
lowercase2(enumType.getEnumConstants());
lowercase3(enumType.getEnumConstants());
}
<T extends Enum<T>> void lowercase(final T... items) {}
<T extends Enum<T>> void lowercase2(final T[] items) {}
<T> void lowercase3(final T items) {}
}
@SuppressWarnings("nullness")
class Gen<T extends Gen<T>> {
T[] getConstants() {
return null;
}
}
@SuppressWarnings("nullness")
class IncompatibleTypes {
void possibleValues(final Gen<?> genType) {
lowercase(genType.getConstants());
}
<S> void lowercase(final S items) {}
}
|
