[T] DiagnosticTarget

type DiagnosticTarget =
  | TypeSpecDiagnosticTarget
  | SourceLocation;

Semantic or syntax target resolved to a location when reporting, or an explicit source range.