[T] DiagnosticTarget

type DiagnosticTarget =
  | TypeSpecDiagnosticTarget
  | SourceLocation;