Highlighter
clippy
handleError
ClippyPlugin
hasErrors
DelegatingReporter
FailOnWarningsReporter
hasExpands
TypeMismatchError
hasWarnings
DelegatingReporter
FailOnWarningsReporter
highlight
DelegatingPosition
Highlighter
highlightIndices
Highlighter