Make Diagnostic accept a location SourceRange and highlights SourceRanges.