diagnostic_kind.def 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387
  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. #endif
  17. // ============================================================================
  18. // SourceBuffer diagnostics
  19. // ============================================================================
  20. CARBON_DIAGNOSTIC_KIND(ErrorOpeningFile)
  21. CARBON_DIAGNOSTIC_KIND(ErrorStattingFile)
  22. CARBON_DIAGNOSTIC_KIND(FileTooLarge)
  23. CARBON_DIAGNOSTIC_KIND(ErrorReadingFile)
  24. // ============================================================================
  25. // Lexer diagnostics
  26. // ============================================================================
  27. CARBON_DIAGNOSTIC_KIND(BinaryRealLiteral)
  28. CARBON_DIAGNOSTIC_KIND(ContentBeforeStringTerminator)
  29. CARBON_DIAGNOSTIC_KIND(DecimalEscapeSequence)
  30. CARBON_DIAGNOSTIC_KIND(EmptyDigitSequence)
  31. CARBON_DIAGNOSTIC_KIND(HexadecimalEscapeMissingDigits)
  32. CARBON_DIAGNOSTIC_KIND(InvalidDigit)
  33. CARBON_DIAGNOSTIC_KIND(InvalidDigitSeparator)
  34. CARBON_DIAGNOSTIC_KIND(InvalidHorizontalWhitespaceInString)
  35. CARBON_DIAGNOSTIC_KIND(MismatchedIndentInString)
  36. CARBON_DIAGNOSTIC_KIND(MultiLineStringWithDoubleQuotes)
  37. CARBON_DIAGNOSTIC_KIND(NoWhitespaceAfterCommentIntroducer)
  38. CARBON_DIAGNOSTIC_KIND(TooManyDigits)
  39. CARBON_DIAGNOSTIC_KIND(TrailingComment)
  40. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeMissingBracedDigits)
  41. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeSurrogate)
  42. CARBON_DIAGNOSTIC_KIND(UnicodeEscapeTooLarge)
  43. CARBON_DIAGNOSTIC_KIND(UnknownBaseSpecifier)
  44. CARBON_DIAGNOSTIC_KIND(UnknownEscapeSequence)
  45. CARBON_DIAGNOSTIC_KIND(UnsupportedCRLineEnding)
  46. CARBON_DIAGNOSTIC_KIND(UnsupportedLFCRLineEnding)
  47. CARBON_DIAGNOSTIC_KIND(UnmatchedOpening)
  48. CARBON_DIAGNOSTIC_KIND(UnmatchedClosing)
  49. CARBON_DIAGNOSTIC_KIND(UnrecognizedCharacters)
  50. CARBON_DIAGNOSTIC_KIND(UnterminatedString)
  51. CARBON_DIAGNOSTIC_KIND(WrongRealLiteralExponent)
  52. // ============================================================================
  53. // Parser diagnostics
  54. // ============================================================================
  55. CARBON_DIAGNOSTIC_KIND(BinaryOperatorRequiresWhitespace)
  56. CARBON_DIAGNOSTIC_KIND(ExpectedArraySemi)
  57. CARBON_DIAGNOSTIC_KIND(ExpectedCloseSymbol)
  58. CARBON_DIAGNOSTIC_KIND(ExpectedCodeBlock)
  59. CARBON_DIAGNOSTIC_KIND(ExpectedExpr)
  60. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPeriodOrArrow)
  61. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierOrSelfAfterPeriod)
  62. CARBON_DIAGNOSTIC_KIND(ExpectedBindingPattern)
  63. CARBON_DIAGNOSTIC_KIND(ExpectedParenAfter)
  64. CARBON_DIAGNOSTIC_KIND(ExpectedExprSemi)
  65. CARBON_DIAGNOSTIC_KIND(ExpectedStatementSemi)
  66. CARBON_DIAGNOSTIC_KIND(ExpectedStructLiteralField)
  67. CARBON_DIAGNOSTIC_KIND(ExpectedVarAfterReturned)
  68. CARBON_DIAGNOSTIC_KIND(ExpectedVariableDecl)
  69. CARBON_DIAGNOSTIC_KIND(ExpectedChoiceDefinition)
  70. CARBON_DIAGNOSTIC_KIND(ExpectedChoiceAlternativeName)
  71. CARBON_DIAGNOSTIC_KIND(UnreachableMatchCase)
  72. CARBON_DIAGNOSTIC_KIND(OperatorRequiresParentheses)
  73. CARBON_DIAGNOSTIC_KIND(StatementOperatorAsSubExpr)
  74. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresParentheses)
  75. CARBON_DIAGNOSTIC_KIND(UnaryOperatorHasWhitespace)
  76. CARBON_DIAGNOSTIC_KIND(UnaryOperatorRequiresWhitespace)
  77. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenAfterListElement)
  78. CARBON_DIAGNOSTIC_KIND(UnrecognizedDecl)
  79. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenInCompoundMemberAccess)
  80. // Match diagnostics.
  81. CARBON_DIAGNOSTIC_KIND(UnexpectedTokenInMatchCasesBlock)
  82. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCases)
  83. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCasesBlock)
  84. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseArrow)
  85. CARBON_DIAGNOSTIC_KIND(ExpectedMatchCaseBlock)
  86. CARBON_DIAGNOSTIC_KIND(MatchParseTODO)
  87. // Package-related diagnostics.
  88. CARBON_DIAGNOSTIC_KIND(FirstDecl)
  89. CARBON_DIAGNOSTIC_KIND(FirstNonCommentLine)
  90. CARBON_DIAGNOSTIC_KIND(PackageTooLate)
  91. CARBON_DIAGNOSTIC_KIND(ImportTooLate)
  92. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterPackage)
  93. CARBON_DIAGNOSTIC_KIND(ExpectedIdentifierAfterImport)
  94. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryName)
  95. CARBON_DIAGNOSTIC_KIND(ExpectedLibraryNameOrDefault)
  96. CARBON_DIAGNOSTIC_KIND(MissingLibraryKeyword)
  97. CARBON_DIAGNOSTIC_KIND(ExportImportPackage)
  98. // For-specific diagnostics.
  99. CARBON_DIAGNOSTIC_KIND(ExpectedIn)
  100. CARBON_DIAGNOSTIC_KIND(ExpectedInNotColon)
  101. // If-specific diagnostics.
  102. CARBON_DIAGNOSTIC_KIND(ExpectedThenAfterIf)
  103. CARBON_DIAGNOSTIC_KIND(ExpectedElseAfterIf)
  104. // Declaration diagnostics.
  105. CARBON_DIAGNOSTIC_KIND(ExpectedDeclName)
  106. CARBON_DIAGNOSTIC_KIND(ExpectedDeclNameAfterPeriod)
  107. CARBON_DIAGNOSTIC_KIND(ExpectedDeclSemi)
  108. CARBON_DIAGNOSTIC_KIND(ExpectedDeclSemiOrDefinition)
  109. CARBON_DIAGNOSTIC_KIND(ParamsRequiredAfterImplicit)
  110. CARBON_DIAGNOSTIC_KIND(ExpectedAfterBase)
  111. CARBON_DIAGNOSTIC_KIND(ExpectedBuiltinName)
  112. CARBON_DIAGNOSTIC_KIND(ImplExpectedAfterForall)
  113. CARBON_DIAGNOSTIC_KIND(ImplExpectedAs)
  114. // Alias diagnostics.
  115. CARBON_DIAGNOSTIC_KIND(ExpectedAliasInitializer)
  116. // Where requirement diagnostics.
  117. CARBON_DIAGNOSTIC_KIND(ExpectedRequirementOperator)
  118. CARBON_DIAGNOSTIC_KIND(RequirementEqualAfterNonDesignator)
  119. // ============================================================================
  120. // Semantics diagnostics
  121. // ============================================================================
  122. CARBON_DIAGNOSTIC_KIND(SemanticsTodo)
  123. // Location context.
  124. CARBON_DIAGNOSTIC_KIND(InImport)
  125. // Package/import checking diagnostics.
  126. CARBON_DIAGNOSTIC_KIND(IncorrectExtension)
  127. CARBON_DIAGNOSTIC_KIND(IncorrectExtensionImplNote)
  128. CARBON_DIAGNOSTIC_KIND(DuplicateLibraryApi)
  129. CARBON_DIAGNOSTIC_KIND(DuplicateMainApi)
  130. CARBON_DIAGNOSTIC_KIND(LibraryApiNotFound)
  131. CARBON_DIAGNOSTIC_KIND(ImportNotFound)
  132. CARBON_DIAGNOSTIC_KIND(ImportCycleDetected)
  133. CARBON_DIAGNOSTIC_KIND(ExplicitMainPackage)
  134. CARBON_DIAGNOSTIC_KIND(ExplicitMainLibrary)
  135. CARBON_DIAGNOSTIC_KIND(ImportMainPackage)
  136. CARBON_DIAGNOSTIC_KIND(ImportMainDefaultLibrary)
  137. CARBON_DIAGNOSTIC_KIND(ImportCurrentPackageByName)
  138. CARBON_DIAGNOSTIC_KIND(ImportSelf)
  139. CARBON_DIAGNOSTIC_KIND(ExplicitImportApi)
  140. CARBON_DIAGNOSTIC_KIND(RepeatedImport)
  141. CARBON_DIAGNOSTIC_KIND(FirstImported)
  142. CARBON_DIAGNOSTIC_KIND(ExportFromImpl)
  143. CARBON_DIAGNOSTIC_KIND(MissingDefinitionInImpl)
  144. CARBON_DIAGNOSTIC_KIND(MissingGenericFunctionDefinition)
  145. CARBON_DIAGNOSTIC_KIND(MissingGenericFunctionDefinitionHere)
  146. // Merge-related redeclaration checking.
  147. CARBON_DIAGNOSTIC_KIND(RedeclPrevDecl)
  148. CARBON_DIAGNOSTIC_KIND(RedeclRedundant)
  149. CARBON_DIAGNOSTIC_KIND(RedeclPrevDef)
  150. CARBON_DIAGNOSTIC_KIND(RedeclRedef)
  151. CARBON_DIAGNOSTIC_KIND(RedeclExternMismatch)
  152. CARBON_DIAGNOSTIC_KIND(RedeclParamListDiffers)
  153. CARBON_DIAGNOSTIC_KIND(RedeclParamListPrevious)
  154. CARBON_DIAGNOSTIC_KIND(RedeclParamCountDiffers)
  155. CARBON_DIAGNOSTIC_KIND(RedeclParamCountPrevious)
  156. CARBON_DIAGNOSTIC_KIND(RedeclParamDiffers)
  157. CARBON_DIAGNOSTIC_KIND(RedeclParamPrevious)
  158. CARBON_DIAGNOSTIC_KIND(RedeclParamSyntaxDiffers)
  159. CARBON_DIAGNOSTIC_KIND(RedeclParamSyntaxPrevious)
  160. CARBON_DIAGNOSTIC_KIND(ExternLibraryInImporter)
  161. CARBON_DIAGNOSTIC_KIND(ExternLibraryIncorrect)
  162. CARBON_DIAGNOSTIC_KIND(ExternLibraryExpected)
  163. CARBON_DIAGNOSTIC_KIND(ExternRequiresDeclInApiFile)
  164. // Function call checking.
  165. CARBON_DIAGNOSTIC_KIND(AddrSelfIsNonRef)
  166. CARBON_DIAGNOSTIC_KIND(CallArgCountMismatch)
  167. CARBON_DIAGNOSTIC_KIND(CallToNonCallable)
  168. CARBON_DIAGNOSTIC_KIND(GenericParamMustBeConstant)
  169. CARBON_DIAGNOSTIC_KIND(ImplictParamMustBeConstant)
  170. CARBON_DIAGNOSTIC_KIND(IncompleteReturnTypeHere)
  171. CARBON_DIAGNOSTIC_KIND(InCallToEntity)
  172. CARBON_DIAGNOSTIC_KIND(InCallToFunction)
  173. CARBON_DIAGNOSTIC_KIND(InCallToFunctionParam)
  174. CARBON_DIAGNOSTIC_KIND(InCallToFunctionSelf)
  175. CARBON_DIAGNOSTIC_KIND(MissingObjectInMethodCall)
  176. CARBON_DIAGNOSTIC_KIND(SelfParameterNotAllowed)
  177. // Function declaration checking.
  178. CARBON_DIAGNOSTIC_KIND(DefinedAbstractFunction)
  179. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypeDiffers)
  180. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypeDiffersNoReturn)
  181. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypePrevious)
  182. CARBON_DIAGNOSTIC_KIND(FunctionRedeclReturnTypePreviousNoReturn)
  183. CARBON_DIAGNOSTIC_KIND(InvalidMainRunSignature)
  184. CARBON_DIAGNOSTIC_KIND(MissingReturnStatement)
  185. CARBON_DIAGNOSTIC_KIND(UnknownBuiltinFunctionName)
  186. CARBON_DIAGNOSTIC_KIND(InvalidBuiltinSignature)
  187. // Class checking.
  188. CARBON_DIAGNOSTIC_KIND(AdaptDeclRepeated)
  189. CARBON_DIAGNOSTIC_KIND(AdaptWithBase)
  190. CARBON_DIAGNOSTIC_KIND(AdaptWithFields)
  191. CARBON_DIAGNOSTIC_KIND(AdaptWithVirtual)
  192. CARBON_DIAGNOSTIC_KIND(AdaptWithBaseHere)
  193. CARBON_DIAGNOSTIC_KIND(AdaptWithFieldHere)
  194. CARBON_DIAGNOSTIC_KIND(AdaptWithVirtualHere)
  195. CARBON_DIAGNOSTIC_KIND(BaseDeclRepeated)
  196. CARBON_DIAGNOSTIC_KIND(BaseIsFinal)
  197. CARBON_DIAGNOSTIC_KIND(BaseMissingExtend)
  198. CARBON_DIAGNOSTIC_KIND(ClassAbstractHere)
  199. CARBON_DIAGNOSTIC_KIND(ClassForwardDeclaredHere)
  200. CARBON_DIAGNOSTIC_KIND(ClassSpecificDeclOutsideClass)
  201. CARBON_DIAGNOSTIC_KIND(ClassSpecificDeclPrevious)
  202. CARBON_DIAGNOSTIC_KIND(ClassIncompleteWithinDefinition)
  203. // Deduction.
  204. CARBON_DIAGNOSTIC_KIND(DeductionIncomplete)
  205. CARBON_DIAGNOSTIC_KIND(DeductionInconsistent)
  206. CARBON_DIAGNOSTIC_KIND(DeductionGenericHere)
  207. CARBON_DIAGNOSTIC_KIND(InitializingGenericParam)
  208. // Export checking.
  209. CARBON_DIAGNOSTIC_KIND(ExportNotImportedEntity)
  210. CARBON_DIAGNOSTIC_KIND(ExportNotImportedEntitySource)
  211. CARBON_DIAGNOSTIC_KIND(ExportRedundant)
  212. CARBON_DIAGNOSTIC_KIND(ExportPrevious)
  213. // Interface checking.
  214. CARBON_DIAGNOSTIC_KIND(InterfaceForwardDeclaredHere)
  215. CARBON_DIAGNOSTIC_KIND(InterfaceUndefinedWithinDefinition)
  216. // Impl checking.
  217. CARBON_DIAGNOSTIC_KIND(ExtendImplForall)
  218. CARBON_DIAGNOSTIC_KIND(ExtendImplOutsideClass)
  219. CARBON_DIAGNOSTIC_KIND(ExtendImplSelfAs)
  220. CARBON_DIAGNOSTIC_KIND(ExtendImplSelfAsDefault)
  221. CARBON_DIAGNOSTIC_KIND(ExtendUndefinedInterface)
  222. CARBON_DIAGNOSTIC_KIND(ImplAsOutsideClass)
  223. CARBON_DIAGNOSTIC_KIND(ImplPreviousDefinition)
  224. CARBON_DIAGNOSTIC_KIND(ImplRedefinition)
  225. CARBON_DIAGNOSTIC_KIND(ImplMissingFunction)
  226. CARBON_DIAGNOSTIC_KIND(ImplFunctionWithNonFunction)
  227. CARBON_DIAGNOSTIC_KIND(ImplAssociatedFunctionHere)
  228. CARBON_DIAGNOSTIC_KIND(ImplOfUndefinedInterface)
  229. // Impl lookup.
  230. CARBON_DIAGNOSTIC_KIND(MissingImplInMemberAccess)
  231. CARBON_DIAGNOSTIC_KIND(MissingImplInMemberAccessNote)
  232. // Let declaration checking.
  233. CARBON_DIAGNOSTIC_KIND(ExpectedInitializerAfterLet)
  234. CARBON_DIAGNOSTIC_KIND(ExpectedSymbolicBindingInAssociatedConstant)
  235. // Qualified declaration name checking.
  236. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsidePackage)
  237. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsidePackageSource)
  238. CARBON_DIAGNOSTIC_KIND(QualifiedDeclOutsideScopeEntity)
  239. CARBON_DIAGNOSTIC_KIND(QualifiedDeclInIncompleteClassScope)
  240. CARBON_DIAGNOSTIC_KIND(QualifiedDeclInUndefinedInterfaceScope)
  241. // Name lookup.
  242. CARBON_DIAGNOSTIC_KIND(InNameLookup)
  243. CARBON_DIAGNOSTIC_KIND(NameAmbiguousDueToExtend)
  244. CARBON_DIAGNOSTIC_KIND(NameNotFound)
  245. CARBON_DIAGNOSTIC_KIND(NoPeriodSelfForDesignator)
  246. CARBON_DIAGNOSTIC_KIND(AbstractTypeInAdaptDecl)
  247. CARBON_DIAGNOSTIC_KIND(AbstractTypeInFunctionReturnType)
  248. CARBON_DIAGNOSTIC_KIND(AbstractTypeInInit)
  249. CARBON_DIAGNOSTIC_KIND(AbstractTypeInVarDecl)
  250. CARBON_DIAGNOSTIC_KIND(AddrOfEphemeralRef)
  251. CARBON_DIAGNOSTIC_KIND(AddrOfNonRef)
  252. CARBON_DIAGNOSTIC_KIND(AddrOnNonSelfParam)
  253. CARBON_DIAGNOSTIC_KIND(ArrayBoundTooLarge)
  254. CARBON_DIAGNOSTIC_KIND(ArrayBoundNegative)
  255. CARBON_DIAGNOSTIC_KIND(ArrayIndexOutOfBounds)
  256. CARBON_DIAGNOSTIC_KIND(ArrayInitFromLiteralArgCountMismatch)
  257. CARBON_DIAGNOSTIC_KIND(ArrayInitFromExprArgCountMismatch)
  258. CARBON_DIAGNOSTIC_KIND(ArrowOperatorOfNonPointer)
  259. CARBON_DIAGNOSTIC_KIND(AssignmentToNonAssignable)
  260. CARBON_DIAGNOSTIC_KIND(BreakOutsideLoop)
  261. CARBON_DIAGNOSTIC_KIND(CompileTimeDivisionByZero)
  262. CARBON_DIAGNOSTIC_KIND(CompileTimeIntegerOverflow)
  263. CARBON_DIAGNOSTIC_KIND(CompileTimeIntegerNegateOverflow)
  264. CARBON_DIAGNOSTIC_KIND(CompileTimeFloatBitWidth)
  265. CARBON_DIAGNOSTIC_KIND(CompileTimeShiftOutOfRange)
  266. CARBON_DIAGNOSTIC_KIND(ContinueOutsideLoop)
  267. CARBON_DIAGNOSTIC_KIND(CopyOfUncopyableType)
  268. CARBON_DIAGNOSTIC_KIND(CoreNameNotFound)
  269. CARBON_DIAGNOSTIC_KIND(CoreNotFound)
  270. CARBON_DIAGNOSTIC_KIND(DerefOfNonPointer)
  271. CARBON_DIAGNOSTIC_KIND(DerefOfType)
  272. CARBON_DIAGNOSTIC_KIND(CompileTimeBindingInVarDecl)
  273. CARBON_DIAGNOSTIC_KIND(CompoundMemberAccessDoesNotUseBase)
  274. CARBON_DIAGNOSTIC_KIND(RealMantissaTooLargeForI64)
  275. CARBON_DIAGNOSTIC_KIND(RealExponentTooLargeForI64)
  276. CARBON_DIAGNOSTIC_KIND(NameDeclDuplicate)
  277. CARBON_DIAGNOSTIC_KIND(NameDeclPrevious)
  278. CARBON_DIAGNOSTIC_KIND(RepeatedConst)
  279. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInAdaptDecl)
  280. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInBaseDecl)
  281. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInConversion)
  282. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInFunctionParam)
  283. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInFunctionReturnType)
  284. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInInit)
  285. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInLetDecl)
  286. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInMemberAccess)
  287. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInValueConversion)
  288. CARBON_DIAGNOSTIC_KIND(IncompleteTypeInVarDecl)
  289. CARBON_DIAGNOSTIC_KIND(IntLiteralTooLargeForI32)
  290. CARBON_DIAGNOSTIC_KIND(IntWidthNotMultipleOf8)
  291. CARBON_DIAGNOSTIC_KIND(IntWidthNotPositive)
  292. CARBON_DIAGNOSTIC_KIND(IntWidthTooLarge)
  293. CARBON_DIAGNOSTIC_KIND(InvalidArrayExpr)
  294. CARBON_DIAGNOSTIC_KIND(TypeNotIndexable)
  295. CARBON_DIAGNOSTIC_KIND(SelfOutsideImplicitParamList)
  296. CARBON_DIAGNOSTIC_KIND(StructInitElementCountMismatch)
  297. CARBON_DIAGNOSTIC_KIND(StructInitMissingFieldInLiteral)
  298. CARBON_DIAGNOSTIC_KIND(StructInitMissingFieldInConversion)
  299. CARBON_DIAGNOSTIC_KIND(StructNameDuplicate)
  300. CARBON_DIAGNOSTIC_KIND(StructNamePrevious)
  301. CARBON_DIAGNOSTIC_KIND(TupleIndexNotConstant)
  302. CARBON_DIAGNOSTIC_KIND(TupleIndexOnANonTupleType)
  303. CARBON_DIAGNOSTIC_KIND(TupleIndexOutOfBounds)
  304. CARBON_DIAGNOSTIC_KIND(TupleInitElementCountMismatch)
  305. CARBON_DIAGNOSTIC_KIND(ReturnedVarHere)
  306. CARBON_DIAGNOSTIC_KIND(ReturnedVarShadowed)
  307. CARBON_DIAGNOSTIC_KIND(ReturnedVarWithNoReturnType)
  308. CARBON_DIAGNOSTIC_KIND(ReturnedVarWrongType)
  309. CARBON_DIAGNOSTIC_KIND(ReturnExprWithReturnedVar)
  310. CARBON_DIAGNOSTIC_KIND(ReturnVarWithNoReturnedVar)
  311. CARBON_DIAGNOSTIC_KIND(ReturnStatementDisallowExpr)
  312. CARBON_DIAGNOSTIC_KIND(ReturnTypeHereNote)
  313. CARBON_DIAGNOSTIC_KIND(ReturnTypeOmittedNote)
  314. CARBON_DIAGNOSTIC_KIND(ReturnStatementMissingExpr)
  315. CARBON_DIAGNOSTIC_KIND(ImplicitAsConversionFailure)
  316. CARBON_DIAGNOSTIC_KIND(ExplicitAsConversionFailure)
  317. CARBON_DIAGNOSTIC_KIND(TypeExprEvaluationFailure)
  318. CARBON_DIAGNOSTIC_KIND(UnexpectedDeclNameParams)
  319. CARBON_DIAGNOSTIC_KIND(QualifiedNameInNonScope)
  320. CARBON_DIAGNOSTIC_KIND(QualifiedNameNonScopeEntity)
  321. CARBON_DIAGNOSTIC_KIND(QualifiedExprInIncompleteClassScope)
  322. CARBON_DIAGNOSTIC_KIND(QualifiedExprInUndefinedInterfaceScope)
  323. CARBON_DIAGNOSTIC_KIND(QualifiedExprUnsupported)
  324. CARBON_DIAGNOSTIC_KIND(QualifiedExprNameNotFound)
  325. CARBON_DIAGNOSTIC_KIND(UseOfNonExprAsValue)
  326. // Modifier checking.
  327. CARBON_DIAGNOSTIC_KIND(ModifierNotAllowedOn)
  328. CARBON_DIAGNOSTIC_KIND(ModifierNotInContext)
  329. CARBON_DIAGNOSTIC_KIND(ModifierRepeated)
  330. CARBON_DIAGNOSTIC_KIND(ModifierNotAllowedWith)
  331. CARBON_DIAGNOSTIC_KIND(ModifierMustAppearBefore)
  332. CARBON_DIAGNOSTIC_KIND(ModifierPrevious)
  333. CARBON_DIAGNOSTIC_KIND(ExternLibraryOnDefinition)
  334. CARBON_DIAGNOSTIC_KIND(ExternLibraryIsCurrentLibrary)
  335. // Access modifiers.
  336. CARBON_DIAGNOSTIC_KIND(ClassMemberDefinition)
  337. CARBON_DIAGNOSTIC_KIND(ClassInvalidMemberAccess)
  338. // Alias diagnostics.
  339. CARBON_DIAGNOSTIC_KIND(AliasRequiresNameRef)
  340. // Where operator and its requirements.
  341. CARBON_DIAGNOSTIC_KIND(ImplsOnNonFacetType)
  342. CARBON_DIAGNOSTIC_KIND(WhereOnNonFacetType)
  343. // ============================================================================
  344. // Other diagnostics
  345. // ============================================================================
  346. // TestDiagnostic is only for unit tests.
  347. CARBON_DIAGNOSTIC_KIND(TestDiagnostic)
  348. CARBON_DIAGNOSTIC_KIND(TestDiagnosticNote)
  349. #undef CARBON_DIAGNOSTIC_KIND