diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2023-11-27 03:47:49 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2023-12-03 12:25:46 +0100 |
| commit | 06a8ed10b627d04c9e91c41064c38745374acc71 (patch) | |
| tree | 628ff5eae9837097b2949a7f510493dc2a866817 /compiler/rustc_ast_lowering/src/errors.rs | |
| parent | a2dcb3a6d9aead3964b3b1cdf814dc7eb9c5d8ed (diff) | |
| download | rust-06a8ed10b627d04c9e91c41064c38745374acc71.tar.gz rust-06a8ed10b627d04c9e91c41064c38745374acc71.zip | |
Disallow guards on never patterns
Diffstat (limited to 'compiler/rustc_ast_lowering/src/errors.rs')
| -rw-r--r-- | compiler/rustc_ast_lowering/src/errors.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_ast_lowering/src/errors.rs b/compiler/rustc_ast_lowering/src/errors.rs index 1bcf4a07eb0..c6a4166f537 100644 --- a/compiler/rustc_ast_lowering/src/errors.rs +++ b/compiler/rustc_ast_lowering/src/errors.rs @@ -349,6 +349,14 @@ pub struct MatchArmWithNoBody { pub suggestion: Span, } +#[derive(Diagnostic)] +#[diag(ast_lowering_never_pattern_with_guard)] +pub struct NeverPatternWithGuard { + #[primary_span] + #[suggestion(code = "", applicability = "maybe-incorrect")] + pub span: Span, +} + #[derive(Diagnostic, Clone, Copy)] #[diag(ast_lowering_arbitrary_expression_in_pattern)] pub struct ArbitraryExpressionInPattern { |