 This seems to happen if typechecking takes a long time, like on the GHC codebase. Perhaps the Position Mapping is not applied correctly?