1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
import java.util.HashMap;
import java.util.Map;
import org.checkerframework.checker.nullness.qual.KeyFor;
public abstract class Issue2564 {
public enum EnumType {
// :: error: (assignment.type.incompatible)
@KeyFor("myMap") MY_KEY,
// :: error: (assignment.type.incompatible)
@KeyFor("enumMap") ENUM_KEY;
private static final Map<String, Integer> enumMap = new HashMap<>();
void method() {
@KeyFor("enumMap") EnumType t = ENUM_KEY;
int x = enumMap.get(ENUM_KEY);
}
}
private static final Map<String, Integer> myMap = new HashMap<>();
}
|
