[T] DiagnosticTarget

type DiagnosticTarget: TypeSpecDiagnosticTarget | SourceLocation;