Expand description
This files contains the declaration of diagnostics kinds for ty and path lowering.
Enumsยง
- Generic
Args Prohibited Reason - Incorrect
Generics LenKind - Path
Generics Source - A path can have many generic arguments: each segment may have one associated with the segment, and in addition, each associated type binding may have generic arguments. This enum abstracts over both.
- Path
Lowering Diagnostic - TyLowering
Diagnostic