Right now, whenever we see a map.containsKey call return true for some key k, we assume that map.get(k) returns something non-null. But this is not true when the map contains @Nullable values. In JSpecify mode, we should reason more correctly about this.
Right now, whenever we see a
map.containsKeycall return true for some keyk, we assume thatmap.get(k)returns something non-null. But this is not true when the map contains@Nullablevalues. In JSpecify mode, we should reason more correctly about this.