An observation of a LintCategory at a particular position.
An observation of a LintCategory at a particular position.
The message to display to the user. If empty, LintID.explanation is used instead.
Optionally place a caret under a location in a source file. For an empty position use Position.None.
the LintCategory associated with this message.
Construct an eager instance of a LintMessage.