diagnostic_kind.def 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // Note that this is an X-macro header.
  6. //
  7. // It does not use `#include` guards, and instead is designed to be `#include`ed
  8. // after some set of x-macros are defined in order for its inclusion to expand
  9. // to the desired output.
  10. //
  11. // The viable X-macros to define prior to including the header are:
  12. //
  13. // - `CARBON_DIAGNOSTIC_KIND`
  14. #ifndef CARBON_DIAGNOSTIC_KIND
  15. #error "Must define the x-macro to use this file."
  16. #define CARBON_DIAGNOSTIC_KIND(Name)
  17. #endif
  18. // ============================================================================
  19. // Driver and subcommand diagnostics
  20. // ============================================================================
  21. CARBON_DIAGNOSTIC_KIND(DriverInstallInvalid)
  22. CARBON_DIAGNOSTIC_KIND(DriverRuntimesCacheInvalid)
  23. CARBON_DIAGNOSTIC_KIND(DriverPrebuiltRuntimesInvalid)
  24. CARBON_DIAGNOSTIC_KIND(DriverCommandLineParseFailed)
  25. CARBON_DIAGNOSTIC_KIND(CompilePhaseFlagConflict)
  26. CARBON_DIAGNOSTIC_KIND(CompilePreludeManifestError)
  27. CARBON_DIAGNOSTIC_KIND(CompileInputNotRegularFile)
  28. CARBON_DIAGNOSTIC_KIND(CompileOutputFileOpenError)
  29. CARBON_DIAGNOSTIC_KIND(CompileTargetInvalid)
  30. CARBON_DIAGNOSTIC_KIND(FailureBuildingRuntimes)
  31. CARBON_DIAGNOSTIC_KIND(FailureRunningClang)
  32. CARBON_DIAGNOSTIC_KIND(FailureRunningClangToLink)
  33. CARBON_DIAGNOSTIC_KIND(FormatMultipleFilesToOneOutput)
  34. CARBON_DIAGNOSTIC_KIND(ToolFuzzingDisallowed)
  35. // ============================================================================
  36. // SourceBuffer diagnostics
  37. // ============================================================================
  38. CARBON_DIAGNOSTIC_KIND(ErrorOpeningFile)
  39. CARBON_DIAGNOSTIC_KIND(ErrorStattingFile)
  40. CARBON_DIAGNOSTIC_KIND(FileTooLarge)
  41. CARBON_DIAGNOSTIC_KIND(ErrorReadingFile)
  42. // ============================================================================
  43. // Lexer diagnostics
  44. // ============================================================================
  45. CARBON_DIAGNOSTIC_KIND(BinaryRealLiteral)
  46. CARBON_DIAGNOSTIC_KIND(ContentBeforeStringTerminator)
  47. CARBON_DIAGNOSTIC_KIND(DecimalEscapeSequence)
  48. CARBON_DIAGNOSTIC_KIND(DumpSemIRRangeMissingEnd)
  49. CARBON_DIAGNOSTIC_KIND(DumpSemIRRangeMissingBegin)
  50. CARBON_DIAGNOSTIC_KIND(EmptyDigitSequence)
  51. CARBON_DIAGNOSTIC_KIND(HexadecimalEscapeMissingDigits)
  52. CARBON_DIAGNOSTIC_KIND(InvalidDigit)
  53. CARBON_DIAGNOSTIC_KIND(InvalidDigitSeparator)
  54. CARBON_DIAGNOSTIC_KIND(InvalidHorizontalWhitespaceInString)
  55. CARBON_DIAGNOSTIC_KIND(MismatchedIndentInString)
  56. CARBON_DIAGNOSTIC_KIND(MultiLineStringWithDoubleQuotes)
  57. CARBON_DIAGNOSTIC_KIND(NoWhitespaceAfterCommentIntroducer)
  58. CARBON_DIAGNOSTIC_KIND(TooManyDigits)
  59. CARBON_DIAGNOSTIC_KIND(TooManyTokens)
  60. CARBON_DIAGNOSTIC_KIND(TooManyTypeBitWidthDigits)
  61. CARBON_DIAGNOSTIC_KIND(TrailingComment)
  62. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeMissingBracedDigits)
  63. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeSurrogate)
  64. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeTooLarge)
  65. CARBON_DIAGNOSTIC_KIND(UnknownBaseSpecifier)
  66. CARBON_DIAGNOSTIC_KIND(UnknownEscapeSequence)
  67. CARBON_DIAGNOSTIC_KIND(UnsupportedCrLineEnding)
  68. CARBON_DIAGNOSTIC_KIND(UnsupportedLfCrLineEnding)
  69. CARBON_DIAGNOSTIC_KIND(UnmatchedOpening)
  70. CARBON_DIAGNOSTIC_KIND(UnmatchedClosing)
  71. CARBON_DIAGNOSTIC_KIND(UnrecognizedCharacters)
  72. CARBON_DIAGNOSTIC_KIND(UnterminatedString)
  73. CARBON_DIAGNOSTIC_KIND(WrongRealLiteralExponent)
  74. CARBON_DIAGNOSTIC_KIND(CharLiteralEmpty)
  75. CARBON_DIAGNOSTIC_KIND(CharLiteralInvalidUTF8)
  76. CARBON_DIAGNOSTIC_KIND(CharLiteralOverflow)
  77. CARBON_DIAGNOSTIC_KIND(CharLiteralRaw)
  78. CARBON_DIAGNOSTIC_KIND(CharLiteralHexEscape)
  79. CARBON_DIAGNOSTIC_KIND(CharLiteralControlCharacter)
  80. CARBON_DIAGNOSTIC_KIND(CharLiteralUnderflow)
  81. // ============================================================================
  82. // Parser diagnostics
  83. // ============================================================================
  84. CARBON_DIAGNOSTIC_KIND(BinaryOperatorRequiresWhitespace)
  85. CARBON_DIAGNOSTIC_KIND(ExpectedArrayComma)
  86. CARBON_DIAGNOSTIC_KIND(ExpectedCloseSymbol)
  87. CARBON_DIAGNOSTIC_KIND(ExpectedCodeBlock)
  88. CARBON_DIAGNOSTIC_KIND(ExpectedLambdaBody)
  89. CARBON_DIAGNOSTIC_KIND(ExpectedLambdaBodyAfterReturnType)
  90. CARBON_DIAGNOSTIC_KIND(ExpectedExpr)
  91. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPeriodOrArrow)
  92. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierOrSelfAfterPeriod)
  93. CARBON_DIAGNOSTIC_KIND(ExpectedBindingPattern)
  94. CARBON_DIAGNOSTIC_KIND(ExpectedGenericBindingPatternAfterTemplate)
  95. CARBON_DIAGNOSTIC_KIND(ExpectedParenAfter)
  96. CARBON_DIAGNOSTIC_KIND(ExpectedRuntimeBindingPatternAfterRef)
  97. CARBON_DIAGNOSTIC_KIND(ExpectedExprSemi)
  98. CARBON_DIAGNOSTIC_KIND(ExpectedStatementSemi)
  99. CARBON_DIAGNOSTIC_KIND(ExpectedStructLiteralField)
  100. CARBON_DIAGNOSTIC_KIND(ExpectedVarAfterReturned)
  101. CARBON_DIAGNOSTIC_KIND(ExpectedChoiceDefinition)
  102. CARBON_DIAGNOSTIC_KIND(ExpectedChoiceAlternativeName)
  103. CARBON_DIAGNOSTIC_KIND(NestedVar)
  104. CARBON_DIAGNOSTIC_KIND(NestedUnused)
  105. CARBON_DIAGNOSTIC_KIND(OperatorRequiresParentheses)
  106. CARBON_DIAGNOSTIC_KIND(RefInsideVar)
  107. CARBON_DIAGNOSTIC_KIND(StatementOperatorAsSubExpr)
  108. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresParentheses)
  109. CARBON_DIAGNOSTIC_KIND(UnaryOperatorHasWhitespace)
  110. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresWhitespace)
  111. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenAfterListElement)
  112. CARBON_DIAGNOSTIC_KIND(UnrecognizedDecl)
  113. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenInCompoundMemberAccess)
  114. // Match diagnostics.
  115. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseArrow)
  116. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseBlock)
  117. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseGuardCloseParen)
  118. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseGuardOpenParen)
  119. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCases)
  120. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCasesBlock)
  121. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenInMatchCasesBlock)
  122. CARBON_DIAGNOSTIC_KIND(UnreachableMatchCase)
  123. // Package-related diagnostics.
  124. CARBON_DIAGNOSTIC_KIND(FirstDecl)
  125. CARBON_DIAGNOSTIC_KIND(FirstNonCommentLine)
  126. CARBON_DIAGNOSTIC_KIND(PackageTooLate)
  127. CARBON_DIAGNOSTIC_KIND(ImportTooLate)
  128. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPackage)
  129. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterImport)
  130. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryName)
  131. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryNameOrDefault)
  132. CARBON_DIAGNOSTIC_KIND(MissingLibraryKeyword)
  133. CARBON_DIAGNOSTIC_KIND(ExpectedStringAfterInline)
  134. CARBON_DIAGNOSTIC_KIND(ExportImportPackage)
  135. CARBON_DIAGNOSTIC_KIND(ExpectedPeriodAfterPackage)
  136. // For-specific diagnostics.
  137. CARBON_DIAGNOSTIC_KIND(ExpectedIn)
  138. CARBON_DIAGNOSTIC_KIND(ExpectedInNotColon)
  139. // If-specific diagnostics.
  140. CARBON_DIAGNOSTIC_KIND(ExpectedThenAfterIf)
  141. CARBON_DIAGNOSTIC_KIND(ExpectedElseAfterIf)
  142. // Declaration diagnostics.
  143. CARBON_DIAGNOSTIC_KIND(ExpectedDeclName)
  144. CARBON_DIAGNOSTIC_KIND(ExpectedDeclNameAfterPeriod)
  145. CARBON_DIAGNOSTIC_KIND(ExpectedDeclSemi)
  146. CARBON_DIAGNOSTIC_KIND(ExpectedDeclSemiOrDefinition)
  147. CARBON_DIAGNOSTIC_KIND(ExpectedAfterBase)
  148. CARBON_DIAGNOSTIC_KIND(ExpectedBuiltinName)
  149. CARBON_DIAGNOSTIC_KIND(ExpectedFieldIdentifier)
  150. CARBON_DIAGNOSTIC_KIND(ExpectedFieldColon)
  151. CARBON_DIAGNOSTIC_KIND(ImplExpectedAfterForall)
  152. CARBON_DIAGNOSTIC_KIND(ImplExpectedAs)
  153. CARBON_DIAGNOSTIC_KIND(ExpectedAssociatedConstantIdentifier)
  154. CARBON_DIAGNOSTIC_KIND(ExpectedAssociatedConstantColonExclaim)
  155. CARBON_DIAGNOSTIC_KIND(RequireExpectedImpls)
  156. // Alias diagnostics.
  157. CARBON_DIAGNOSTIC_KIND(ExpectedAliasInitializer)
  158. // Where requirement diagnostics.
  159. CARBON_DIAGNOSTIC_KIND(ExpectedRequirementOperator)
  160. CARBON_DIAGNOSTIC_KIND(RequirementEqualAfterNonDesignator)
  161. // ============================================================================
  162. // Semantics diagnostics
  163. // ============================================================================
  164. CARBON_DIAGNOSTIC_KIND(SemanticsTodo)
  165. // Location context.
  166. CARBON_DIAGNOSTIC_KIND(InImport)
  167. CARBON_DIAGNOSTIC_KIND(InCppInclude)
  168. CARBON_DIAGNOSTIC_KIND(InCppModule)
  169. CARBON_DIAGNOSTIC_KIND(InCppMacroExpansion)
  170. CARBON_DIAGNOSTIC_KIND(ResolvingSpecificHere)
  171. CARBON_DIAGNOSTIC_KIND(InCppThunk)
  172. CARBON_DIAGNOSTIC_KIND(InCppTypeCompletion)
  173. // Package/import checking diagnostics.
  174. CARBON_DIAGNOSTIC_KIND(CppInteropFuzzing)
  175. CARBON_DIAGNOSTIC_KIND(CppInteropDriverError)
  176. CARBON_DIAGNOSTIC_KIND(CppInteropDriverWarning)
  177. CARBON_DIAGNOSTIC_KIND(CppInteropParseError)
  178. CARBON_DIAGNOSTIC_KIND(CppInteropParseWarning)
  179. CARBON_DIAGNOSTIC_KIND(CppInteropParseNote)
  180. CARBON_DIAGNOSTIC_KIND(InlineImportNotCpp)
  181. CARBON_DIAGNOSTIC_KIND(IncorrectExtension)
  182. CARBON_DIAGNOSTIC_KIND(IncorrectExtensionImplNote)
  183. CARBON_DIAGNOSTIC_KIND(DuplicateLibraryApi)
  184. CARBON_DIAGNOSTIC_KIND(DuplicateMainApi)
  185. CARBON_DIAGNOSTIC_KIND(LibraryApiNotFound)
  186. CARBON_DIAGNOSTIC_KIND(ImportNotFound)
  187. CARBON_DIAGNOSTIC_KIND(ImportCycleDetected)
  188. CARBON_DIAGNOSTIC_KIND(ExplicitMainPackage)
  189. CARBON_DIAGNOSTIC_KIND(ExplicitMainLibrary)
  190. CARBON_DIAGNOSTIC_KIND(CppPackageDeclaration)
  191. CARBON_DIAGNOSTIC_KIND(ImportMainPackage)
  192. CARBON_DIAGNOSTIC_KIND(ImportMainDefaultLibrary)
  193. CARBON_DIAGNOSTIC_KIND(ImportCurrentPackageByName)
  194. CARBON_DIAGNOSTIC_KIND(ImportSelf)
  195. CARBON_DIAGNOSTIC_KIND(ExplicitImportApi)
  196. CARBON_DIAGNOSTIC_KIND(RepeatedImport)
  197. CARBON_DIAGNOSTIC_KIND(FirstImported)
  198. CARBON_DIAGNOSTIC_KIND(ExportFromImpl)
  199. CARBON_DIAGNOSTIC_KIND(MissingOwningDeclarationInApi)
  200. CARBON_DIAGNOSTIC_KIND(MissingDefinitionInImpl)
  201. CARBON_DIAGNOSTIC_KIND(MissingGenericFunctionDefinition)
  202. CARBON_DIAGNOSTIC_KIND(MissingGenericFunctionDefinitionHere)
  203. // Merge-related redeclaration checking.
  204. CARBON_DIAGNOSTIC_KIND(RedeclPrevDecl)
  205. CARBON_DIAGNOSTIC_KIND(RedeclRedundant)
  206. CARBON_DIAGNOSTIC_KIND(RedeclPrevDef)
  207. CARBON_DIAGNOSTIC_KIND(RedeclRedef)
  208. CARBON_DIAGNOSTIC_KIND(RedeclExternMismatch)
  209. CARBON_DIAGNOSTIC_KIND(RedeclImportedImpl)
  210. CARBON_DIAGNOSTIC_KIND(RedeclParamListDiffers)
  211. CARBON_DIAGNOSTIC_KIND(RedeclParamListPrevious)
  212. CARBON_DIAGNOSTIC_KIND(RedeclParamCountDiffers)
  213. CARBON_DIAGNOSTIC_KIND(RedeclParamCountPrevious)
  214. CARBON_DIAGNOSTIC_KIND(RedeclParamDiffers)
  215. CARBON_DIAGNOSTIC_KIND(RedeclParamDiffersType)
  216. CARBON_DIAGNOSTIC_KIND(RedeclParamPrevious)
  217. CARBON_DIAGNOSTIC_KIND(RedeclParamSyntaxDiffers)
  218. CARBON_DIAGNOSTIC_KIND(RedeclParamSyntaxPrevious)
  219. CARBON_DIAGNOSTIC_KIND(ExternLibraryInImporter)
  220. CARBON_DIAGNOSTIC_KIND(ExternLibraryIncorrect)
  221. CARBON_DIAGNOSTIC_KIND(ExternLibraryExpected)
  222. CARBON_DIAGNOSTIC_KIND(ExternRequiresDeclInApiFile)
  223. // Namespace checking.
  224. CARBON_DIAGNOSTIC_KIND(NamespaceDeclNotAtTopLevel)
  225. // Function call checking.
  226. CARBON_DIAGNOSTIC_KIND(CallArgCountMismatch)
  227. CARBON_DIAGNOSTIC_KIND(CallToNonCallable)
  228. CARBON_DIAGNOSTIC_KIND(CppCallArgTypeNotSupported)
  229. CARBON_DIAGNOSTIC_KIND(GenericParamMustBeConstant)
  230. CARBON_DIAGNOSTIC_KIND(ImplictParamMustBeConstant)
  231. CARBON_DIAGNOSTIC_KIND(IncompleteReturnTypeHere)
  232. CARBON_DIAGNOSTIC_KIND(InCallToEntity)
  233. CARBON_DIAGNOSTIC_KIND(InCallToFunction)
  234. CARBON_DIAGNOSTIC_KIND(InCallToFunctionParam)
  235. CARBON_DIAGNOSTIC_KIND(MissingObjectInMethodCall)
  236. CARBON_DIAGNOSTIC_KIND(RefParamNoRefTag)
  237. CARBON_DIAGNOSTIC_KIND(RefTagNoRefParam)
  238. CARBON_DIAGNOSTIC_KIND(RefTagNotDurableRef)
  239. CARBON_DIAGNOSTIC_KIND(SelfParameterNotAllowed)
  240. CARBON_DIAGNOSTIC_KIND(ValueForRefParam)
  241. // Function declaration checking.
  242. CARBON_DIAGNOSTIC_KIND(DefinedAbstractFunction)
  243. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypeDiffers)
  244. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypeDiffersNoReturn)
  245. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypePrevious)
  246. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypePreviousNoReturn)
  247. CARBON_DIAGNOSTIC_KIND(InvalidMainRunSignature)
  248. CARBON_DIAGNOSTIC_KIND(MissingReturnStatement)
  249. CARBON_DIAGNOSTIC_KIND(UnknownBuiltinFunctionName)
  250. CARBON_DIAGNOSTIC_KIND(InvalidBuiltinSignature)
  251. CARBON_DIAGNOSTIC_KIND(ThunkSignature)
  252. CARBON_DIAGNOSTIC_KIND(ThunkCallee)
  253. // Class checking.
  254. CARBON_DIAGNOSTIC_KIND(AdaptDeclRepeated)
  255. CARBON_DIAGNOSTIC_KIND(AdaptWithBase)
  256. CARBON_DIAGNOSTIC_KIND(AdaptWithFields)
  257. CARBON_DIAGNOSTIC_KIND(AdaptWithVirtual)
  258. CARBON_DIAGNOSTIC_KIND(AdaptWithBaseHere)
  259. CARBON_DIAGNOSTIC_KIND(AdaptWithFieldHere)
  260. CARBON_DIAGNOSTIC_KIND(AdaptWithVirtualHere)
  261. CARBON_DIAGNOSTIC_KIND(BaseDeclRepeated)
  262. CARBON_DIAGNOSTIC_KIND(BaseIsFinal)
  263. CARBON_DIAGNOSTIC_KIND(BaseMissingExtend)
  264. CARBON_DIAGNOSTIC_KIND(BaseDeclAfterFieldDecl)
  265. CARBON_DIAGNOSTIC_KIND(ClassAbstractHere)
  266. CARBON_DIAGNOSTIC_KIND(ClassForwardDeclaredHere)
  267. CARBON_DIAGNOSTIC_KIND(ClassSpecificDeclOutsideClass)
  268. CARBON_DIAGNOSTIC_KIND(ClassSpecificDeclPrevious)
  269. CARBON_DIAGNOSTIC_KIND(ClassIncompleteWithinDefinition)
  270. CARBON_DIAGNOSTIC_KIND(GenericVirtual)
  271. CARBON_DIAGNOSTIC_KIND(OverrideWithoutBase)
  272. CARBON_DIAGNOSTIC_KIND(OverrideWithoutVirtualInBase)
  273. CARBON_DIAGNOSTIC_KIND(VirtualWithoutSelf)
  274. // Deduction.
  275. CARBON_DIAGNOSTIC_KIND(DeductionIncomplete)
  276. CARBON_DIAGNOSTIC_KIND(DeductionInconsistent)
  277. CARBON_DIAGNOSTIC_KIND(DeductionGenericHere)
  278. CARBON_DIAGNOSTIC_KIND(InitializingGenericParam)
  279. CARBON_DIAGNOSTIC_KIND(CompTimeArgumentNotConstant)
  280. CARBON_DIAGNOSTIC_KIND(RuntimeConversionDuringCompTimeDeduction)
  281. // Export checking.
  282. CARBON_DIAGNOSTIC_KIND(ExportNotImportedEntity)
  283. CARBON_DIAGNOSTIC_KIND(ExportNotImportedEntitySource)
  284. CARBON_DIAGNOSTIC_KIND(ExportRedundant)
  285. CARBON_DIAGNOSTIC_KIND(ExportPrevious)
  286. // Interface checking.
  287. CARBON_DIAGNOSTIC_KIND(InterfaceForwardDeclaredHere)
  288. CARBON_DIAGNOSTIC_KIND(InterfaceIncompleteWithinDefinition)
  289. // Named constraint checking.
  290. CARBON_DIAGNOSTIC_KIND(NamedConstraintForwardDeclaredHere)
  291. CARBON_DIAGNOSTIC_KIND(NamedConstraintIncompleteWithinDefinition)
  292. // Impl checking.
  293. CARBON_DIAGNOSTIC_KIND(AssociatedConstantHere)
  294. CARBON_DIAGNOSTIC_KIND(AssociatedFunctionHere)
  295. CARBON_DIAGNOSTIC_KIND(ExtendImplAsIncomplete)
  296. CARBON_DIAGNOSTIC_KIND(ExtendImplForall)
  297. CARBON_DIAGNOSTIC_KIND(ExtendImplOutsideClass)
  298. CARBON_DIAGNOSTIC_KIND(ExtendImplSelfAs)
  299. CARBON_DIAGNOSTIC_KIND(ExtendImplSelfAsDefault)
  300. CARBON_DIAGNOSTIC_KIND(ImplAccessMemberBeforeSet)
  301. CARBON_DIAGNOSTIC_KIND(ImplAsIncompleteFacetTypeDefinition)
  302. CARBON_DIAGNOSTIC_KIND(ImplAsNonFacetType)
  303. CARBON_DIAGNOSTIC_KIND(ImplAsOutsideClass)
  304. CARBON_DIAGNOSTIC_KIND(ImplAssociatedConstantNeedsValue)
  305. CARBON_DIAGNOSTIC_KIND(ImplFunctionWithNonFunction)
  306. CARBON_DIAGNOSTIC_KIND(ImplIsOrphan)
  307. CARBON_DIAGNOSTIC_KIND(ImplMissingDefinition)
  308. CARBON_DIAGNOSTIC_KIND(ImplMissingFunction)
  309. CARBON_DIAGNOSTIC_KIND(ImplPreviousDefinition)
  310. CARBON_DIAGNOSTIC_KIND(ImplRedefinition)
  311. CARBON_DIAGNOSTIC_KIND(ImplOfUnidentifiedFacetType)
  312. CARBON_DIAGNOSTIC_KIND(ImplOfNotOneInterface)
  313. CARBON_DIAGNOSTIC_KIND(ImplUnusedBinding)
  314. CARBON_DIAGNOSTIC_KIND(PoisonedImplLookupConcreteResult)
  315. CARBON_DIAGNOSTIC_KIND(PoisonedImplLookupConcreteResultNoteBadImpl)
  316. CARBON_DIAGNOSTIC_KIND(PoisonedImplLookupConcreteResultNotePreviousImpl)
  317. CARBON_DIAGNOSTIC_KIND(ImplFinalOverlapsNonFinal)
  318. CARBON_DIAGNOSTIC_KIND(ImplFinalOverlapsNonFinalNote)
  319. CARBON_DIAGNOSTIC_KIND(ImplNonFinalSameTypeStructure)
  320. CARBON_DIAGNOSTIC_KIND(ImplNonFinalSameTypeStructureNote)
  321. CARBON_DIAGNOSTIC_KIND(FinalImplInvalidFile)
  322. CARBON_DIAGNOSTIC_KIND(FinalImplOverlapsSameFile)
  323. CARBON_DIAGNOSTIC_KIND(FinalImplOverlapsSameFileNote)
  324. CARBON_DIAGNOSTIC_KIND(FinalImplOverlapsDifferentFile)
  325. CARBON_DIAGNOSTIC_KIND(FinalImplOverlapsDifferentFileNote)
  326. // Impl lookup.
  327. CARBON_DIAGNOSTIC_KIND(MissingImplInMemberAccess)
  328. CARBON_DIAGNOSTIC_KIND(MissingImplInMemberAccessNote)
  329. CARBON_DIAGNOSTIC_KIND(ImplLookupCycle)
  330. CARBON_DIAGNOSTIC_KIND(ImplLookupCycleNote)
  331. CARBON_DIAGNOSTIC_KIND(ImplLookupInUnidentifiedFacetType)
  332. // Require checking.
  333. CARBON_DIAGNOSTIC_KIND(RequireImplsExtendWithExplicitSelf)
  334. CARBON_DIAGNOSTIC_KIND(RequireImplsMissingFacetType)
  335. CARBON_DIAGNOSTIC_KIND(RequireImplsMissingSelf)
  336. CARBON_DIAGNOSTIC_KIND(RequireImplsIncompleteFacetType)
  337. CARBON_DIAGNOSTIC_KIND(RequireImplsUnidentifiedFacetType)
  338. CARBON_DIAGNOSTIC_KIND(RequireImplsNotImplemented)
  339. CARBON_DIAGNOSTIC_KIND(RequireInWrongScope)
  340. // Let declaration checking.
  341. CARBON_DIAGNOSTIC_KIND(ExpectedInitializerAfterLet)
  342. // Qualified declaration name checking.
  343. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsidePackage)
  344. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsidePackageSource)
  345. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsideScopeEntity)
  346. CARBON_DIAGNOSTIC_KIND(QualifiedDeclInIncompleteClassScope)
  347. CARBON_DIAGNOSTIC_KIND(QualifiedDeclInUndefinedInterfaceScope)
  348. // Name lookup.
  349. CARBON_DIAGNOSTIC_KIND(InCppMacroEvaluation)
  350. CARBON_DIAGNOSTIC_KIND(InCppNameLookup)
  351. CARBON_DIAGNOSTIC_KIND(InNameLookup)
  352. CARBON_DIAGNOSTIC_KIND(IncompleteOperandTypeInCppOperatorLookup)
  353. CARBON_DIAGNOSTIC_KIND(NameAmbiguousDueToExtend)
  354. CARBON_DIAGNOSTIC_KIND(NameNotFound)
  355. CARBON_DIAGNOSTIC_KIND(MemberNameNotFound)
  356. CARBON_DIAGNOSTIC_KIND(MemberNameNotFoundInInstScope)
  357. CARBON_DIAGNOSTIC_KIND(MemberNameNotFoundInSpecificScope)
  358. CARBON_DIAGNOSTIC_KIND(NoPeriodSelfForDesignator)
  359. CARBON_DIAGNOSTIC_KIND(UsedBeforeInitialization)
  360. CARBON_DIAGNOSTIC_KIND(AbstractTypeInAdaptDecl)
  361. CARBON_DIAGNOSTIC_KIND(AbstractTypeInFieldDecl)
  362. CARBON_DIAGNOSTIC_KIND(AbstractTypeInFunctionReturnType)
  363. CARBON_DIAGNOSTIC_KIND(AbstractTypeInInit)
  364. CARBON_DIAGNOSTIC_KIND(AbstractTypeInVarPattern)
  365. CARBON_DIAGNOSTIC_KIND(AddrOfNonRef)
  366. CARBON_DIAGNOSTIC_KIND(ArrayBoundTooLarge)
  367. CARBON_DIAGNOSTIC_KIND(ArrayBoundNegative)
  368. CARBON_DIAGNOSTIC_KIND(ArrayIndexOutOfBounds)
  369. CARBON_DIAGNOSTIC_KIND(ArrayInitFromLiteralArgCountMismatch)
  370. CARBON_DIAGNOSTIC_KIND(ArrayInitFromExprArgCountMismatch)
  371. CARBON_DIAGNOSTIC_KIND(ArrayInitDependentBound)
  372. CARBON_DIAGNOSTIC_KIND(ArrowOperatorOfNonPointer)
  373. CARBON_DIAGNOSTIC_KIND(AssignmentToNonAssignable)
  374. CARBON_DIAGNOSTIC_KIND(BreakOutsideLoop)
  375. CARBON_DIAGNOSTIC_KIND(CompileTimeDivisionByZero)
  376. CARBON_DIAGNOSTIC_KIND(CompileTimeIntegerOverflow)
  377. CARBON_DIAGNOSTIC_KIND(CompileTimeIntegerNegateOverflow)
  378. CARBON_DIAGNOSTIC_KIND(CompileTimeFloatBitWidth)
  379. CARBON_DIAGNOSTIC_KIND(CompileTimeShiftNegative)
  380. CARBON_DIAGNOSTIC_KIND(CompileTimeShiftOutOfRange)
  381. CARBON_DIAGNOSTIC_KIND(CompileTimeUnsizedShiftOutOfRange)
  382. CARBON_DIAGNOSTIC_KIND(ContinueOutsideLoop)
  383. CARBON_DIAGNOSTIC_KIND(CopyOfUncopyableType)
  384. CARBON_DIAGNOSTIC_KIND(CoreNameNotFound)
  385. CARBON_DIAGNOSTIC_KIND(CoreNotFound)
  386. CARBON_DIAGNOSTIC_KIND(DerefOfNonPointer)
  387. CARBON_DIAGNOSTIC_KIND(DerefOfType)
  388. CARBON_DIAGNOSTIC_KIND(CompileTimeBindingInVarDecl)
  389. CARBON_DIAGNOSTIC_KIND(CompoundMemberAccessDoesNotUseBase)
  390. CARBON_DIAGNOSTIC_KIND(EvalRequiresConstantValue)
  391. CARBON_DIAGNOSTIC_KIND(NameDeclDuplicate)
  392. CARBON_DIAGNOSTIC_KIND(NameDeclPrevious)
  393. CARBON_DIAGNOSTIC_KIND(NameUseBeforeDecl)
  394. CARBON_DIAGNOSTIC_KIND(NameUseBeforeDeclNote)
  395. CARBON_DIAGNOSTIC_KIND(RepeatedConst)
  396. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInAdaptDecl)
  397. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInAssociatedConstantDecl)
  398. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInBaseDecl)
  399. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInBindingDecl)
  400. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInConversion)
  401. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInFieldDecl)
  402. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInFunctionParam)
  403. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInFunctionReturnType)
  404. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInMonomorphization)
  405. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInMemberAccess)
  406. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInValueConversion)
  407. CARBON_DIAGNOSTIC_KIND(InCopy)
  408. CARBON_DIAGNOSTIC_KIND(CharTooLargeForType)
  409. CARBON_DIAGNOSTIC_KIND(IntTooLargeForCppType)
  410. CARBON_DIAGNOSTIC_KIND(IntTooLargeForType)
  411. CARBON_DIAGNOSTIC_KIND(FloatLiteralTooLargeForType)
  412. CARBON_DIAGNOSTIC_KIND(FloatTooLargeForType)
  413. CARBON_DIAGNOSTIC_KIND(IntWidthNotMultipleOf8)
  414. CARBON_DIAGNOSTIC_KIND(IntWidthNotPositive)
  415. CARBON_DIAGNOSTIC_KIND(IntWidthTooLarge)
  416. CARBON_DIAGNOSTIC_KIND(InvalidArrayExpr)
  417. CARBON_DIAGNOSTIC_KIND(NegativeIntInUnsignedType)
  418. CARBON_DIAGNOSTIC_KIND(NonConstantCallToCompTimeOnlyFunction)
  419. CARBON_DIAGNOSTIC_KIND(CompTimeOnlyFunctionHere)
  420. CARBON_DIAGNOSTIC_KIND(SelfOutsideImplicitParamList)
  421. CARBON_DIAGNOSTIC_KIND(StringAtIndexOutOfBounds)
  422. CARBON_DIAGNOSTIC_KIND(StringAtIndexNegative)
  423. CARBON_DIAGNOSTIC_KIND(StringLiteralTooLong)
  424. CARBON_DIAGNOSTIC_KIND(StringLiteralTypeIncomplete)
  425. CARBON_DIAGNOSTIC_KIND(StringLiteralTypeUnexpected)
  426. CARBON_DIAGNOSTIC_KIND(StructInitElementCountMismatch)
  427. CARBON_DIAGNOSTIC_KIND(StructInitMissingFieldInLiteral)
  428. CARBON_DIAGNOSTIC_KIND(StructInitMissingFieldInConversion)
  429. CARBON_DIAGNOSTIC_KIND(StructNameDuplicate)
  430. CARBON_DIAGNOSTIC_KIND(StructNamePrevious)
  431. CARBON_DIAGNOSTIC_KIND(TupleIndexNotConstant)
  432. CARBON_DIAGNOSTIC_KIND(TupleIndexOnANonTupleType)
  433. CARBON_DIAGNOSTIC_KIND(TupleIndexOutOfBounds)
  434. CARBON_DIAGNOSTIC_KIND(TupleInitElementCountMismatch)
  435. CARBON_DIAGNOSTIC_KIND(PartialOnFinal)
  436. CARBON_DIAGNOSTIC_KIND(ReturnedVarHere)
  437. CARBON_DIAGNOSTIC_KIND(ReturnedVarNotInit)
  438. CARBON_DIAGNOSTIC_KIND(ReturnedVarShadowed)
  439. CARBON_DIAGNOSTIC_KIND(ReturnedVarWithNoReturnType)
  440. CARBON_DIAGNOSTIC_KIND(ReturnedVarWrongType)
  441. CARBON_DIAGNOSTIC_KIND(ReturnExprWithReturnedVar)
  442. CARBON_DIAGNOSTIC_KIND(ReturnFormHereNote)
  443. CARBON_DIAGNOSTIC_KIND(ReturnVarWithNoReturnedVar)
  444. CARBON_DIAGNOSTIC_KIND(ReturnStatementDisallowExpr)
  445. CARBON_DIAGNOSTIC_KIND(ReturnTypeHereNote)
  446. CARBON_DIAGNOSTIC_KIND(ReturnTypeOmittedNote)
  447. CARBON_DIAGNOSTIC_KIND(ReturnStatementMissingExpr)
  448. CARBON_DIAGNOSTIC_KIND(ConversionFailure)
  449. CARBON_DIAGNOSTIC_KIND(ConversionFailureNonTypeToFacet)
  450. CARBON_DIAGNOSTIC_KIND(ConversionFailureFacetToFacet)
  451. CARBON_DIAGNOSTIC_KIND(ConversionFailureTypeToFacet)
  452. CARBON_DIAGNOSTIC_KIND(ConversionFailureNonRefToRef)
  453. CARBON_DIAGNOSTIC_KIND(TypeExprEvaluationFailure)
  454. CARBON_DIAGNOSTIC_KIND(UnexpectedDeclNameParams)
  455. CARBON_DIAGNOSTIC_KIND(QualifiedNameInNonScope)
  456. CARBON_DIAGNOSTIC_KIND(QualifiedNameNonScopeEntity)
  457. CARBON_DIAGNOSTIC_KIND(QualifiedExprInIncompleteClassScope)
  458. CARBON_DIAGNOSTIC_KIND(QualifiedExprInIncompleteFacetTypeScope)
  459. CARBON_DIAGNOSTIC_KIND(QualifiedExprUnsupported)
  460. CARBON_DIAGNOSTIC_KIND(QualifiedExprNameNotFound)
  461. CARBON_DIAGNOSTIC_KIND(UseOfNonExprAsValue)
  462. // Modifier checking.
  463. CARBON_DIAGNOSTIC_KIND(ModifierNotAllowedOnDeclaration)
  464. CARBON_DIAGNOSTIC_KIND(ModifierOnlyAllowedOnDefinition)
  465. CARBON_DIAGNOSTIC_KIND(ModifierPrivateNotAllowed)
  466. CARBON_DIAGNOSTIC_KIND(ModifierProtectedNotAllowed)
  467. CARBON_DIAGNOSTIC_KIND(ModifierVirtualNotAllowed)
  468. CARBON_DIAGNOSTIC_KIND(ModifierAbstractNotAllowed)
  469. CARBON_DIAGNOSTIC_KIND(ModifierRequiresClass)
  470. CARBON_DIAGNOSTIC_KIND(ModifierRequiresInterface)
  471. CARBON_DIAGNOSTIC_KIND(ModifierExternNotAllowed)
  472. CARBON_DIAGNOSTIC_KIND(ModifierNotInContext)
  473. CARBON_DIAGNOSTIC_KIND(ModifierRepeated)
  474. CARBON_DIAGNOSTIC_KIND(ModifierNotAllowedWith)
  475. CARBON_DIAGNOSTIC_KIND(ModifierMustAppearBefore)
  476. CARBON_DIAGNOSTIC_KIND(ModifierPrevious)
  477. CARBON_DIAGNOSTIC_KIND(ExternLibraryOnDefinition)
  478. CARBON_DIAGNOSTIC_KIND(ExternLibraryIsCurrentLibrary)
  479. // Operator modifier checking.
  480. CARBON_DIAGNOSTIC_KIND(ModifierNotAllowedOnOperator)
  481. // Access modifiers.
  482. CARBON_DIAGNOSTIC_KIND(ClassMemberDeclaration)
  483. CARBON_DIAGNOSTIC_KIND(ClassInvalidMemberAccess)
  484. // Alias diagnostics.
  485. CARBON_DIAGNOSTIC_KIND(AliasRequiresNameRef)
  486. // Where operator and its requirements.
  487. CARBON_DIAGNOSTIC_KIND(ImplsOnNonFacetType)
  488. CARBON_DIAGNOSTIC_KIND(WhereOnNonFacetType)
  489. // Facet type resolution.
  490. CARBON_DIAGNOSTIC_KIND(AssociatedConstantNotConstantAfterConversion)
  491. CARBON_DIAGNOSTIC_KIND(AssociatedConstantWithDifferentValues)
  492. CARBON_DIAGNOSTIC_KIND(RewriteForAssociatedFunction)
  493. CARBON_DIAGNOSTIC_KIND(FacetTypeConstraintCycle)
  494. // Facet type combination.
  495. CARBON_DIAGNOSTIC_KIND(FacetTypeRequiredForTypeAndOperator)
  496. // Facet type completeness.
  497. CARBON_DIAGNOSTIC_KIND(IdentifyingFacetTypeHere)
  498. // Generics.
  499. CARBON_DIAGNOSTIC_KIND(GenericMissingExplicitParameters)
  500. // Pattern matching diagnostics.
  501. CARBON_DIAGNOSTIC_KIND(TuplePatternSizeDoesntMatchLiteral)
  502. // ============================================================================
  503. // CodeGen diagnostics
  504. // ============================================================================
  505. CARBON_DIAGNOSTIC_KIND(CodeGenUnableToEmit)
  506. // ============================================================================
  507. // Language server diagnostics
  508. // ============================================================================
  509. CARBON_DIAGNOSTIC_KIND(LanguageServerFileUnknown)
  510. CARBON_DIAGNOSTIC_KIND(LanguageServerFileUnsupported)
  511. CARBON_DIAGNOSTIC_KIND(LanguageServerMissingInputStream)
  512. CARBON_DIAGNOSTIC_KIND(LanguageServerNotificationParseError)
  513. CARBON_DIAGNOSTIC_KIND(LanguageServerTransportError)
  514. CARBON_DIAGNOSTIC_KIND(LanguageServerUnexpectedReply)
  515. CARBON_DIAGNOSTIC_KIND(LanguageServerUnsupportedNotification)
  516. // Document handling.
  517. CARBON_DIAGNOSTIC_KIND(LanguageServerOpenDuplicateFile)
  518. CARBON_DIAGNOSTIC_KIND(LanguageServerCloseUnknownFile)
  519. CARBON_DIAGNOSTIC_KIND(LanguageServerDiagnosticInWrongFile)
  520. // ============================================================================
  521. // Other diagnostics
  522. // ============================================================================
  523. // TestDiagnostic is only for unit tests.
  524. CARBON_DIAGNOSTIC_KIND(TestDiagnostic)
  525. CARBON_DIAGNOSTIC_KIND(TestDiagnosticNote)
  526. #undef CARBON_DIAGNOSTIC_KIND