Highlighter

clippy

handleError

ClippyPlugin

hasErrors

DelegatingReporter

hasExpands

TypeMismatchError

hasWarnings

DelegatingReporter

highlight

DelegatingPosition Highlighter

highlightIndices

Highlighter