ReportedDiagnostic class
Properties
- expansionLocs: span[SourceLocation] get
- formattedMessage: str get
- location: SourceLocation get
- originalDiagnostic: Diagnostic get
- ranges: span[SourceRange] get
- severity: DiagnosticSeverity get
- shouldShowIncludeStack: bool get