This commit is contained in:
Folkert 2022-04-20 18:05:06 +02:00
parent 0267963e14
commit ec43d7d770
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 3 additions and 2 deletions

View file

@ -97,6 +97,7 @@ enum PendingTypeDef<'a> {
/// An invalid alias, that is ignored in the rest of the pipeline
/// e.g. a shadowed alias, or a definition like `MyAlias 1 : Int`
/// with an incorrect pattern
#[allow(dead_code)]
InvalidAlias { kind: AliasKind },
/// An invalid ability, that is ignored in the rest of the pipeline.