karelpeeters
03/06/2018, 1:25 PMmap[key] += 5 to work? The problem is that map[index] is nullable, but that's really annoying when you know all possible keys are in the map. .withDefault { ZERO } doesn't work, get is still nullable on the returned map.