if you declare the type of ``newAnnotations`` to be ``Map[ProblemAnnotation, Position]`` and ``breakOut`` the for-comphrension, you can avoid a couple of conversions + iterations.