about summary refs log tree commit diff
path: root/compiler/rustc_resolve/src/errors.rs
diff options
context:
space:
mode:
authorNadrieril <nadrieril+git@gmail.com>2024-01-05 10:11:18 +0100
committerNadrieril <nadrieril+git@gmail.com>2024-01-09 17:00:24 +0100
commit560beb1ad423a9f3e447bdeefded8994cd8af75c (patch)
tree9ed41c40f6328711e51e39529d15094d9f8574c7 /compiler/rustc_resolve/src/errors.rs
parentb31735a401941910f5ae2fbf06eba8594a1b2d4b (diff)
downloadrust-560beb1ad423a9f3e447bdeefded8994cd8af75c.tar.gz
rust-560beb1ad423a9f3e447bdeefded8994cd8af75c.zip
Check bindings around never patterns
Diffstat (limited to 'compiler/rustc_resolve/src/errors.rs')
-rw-r--r--compiler/rustc_resolve/src/errors.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/compiler/rustc_resolve/src/errors.rs b/compiler/rustc_resolve/src/errors.rs
index 1fdb193e571..821b1e946f3 100644
--- a/compiler/rustc_resolve/src/errors.rs
+++ b/compiler/rustc_resolve/src/errors.rs
@@ -486,6 +486,15 @@ pub(crate) struct LowercaseSelf {
     pub(crate) span: Span,
 }
 
+#[derive(Debug)]
+#[derive(Diagnostic)]
+#[diag(resolve_binding_in_never_pattern)]
+pub(crate) struct BindingInNeverPattern {
+    #[primary_span]
+    #[suggestion(code = "_", applicability = "machine-applicable", style = "short")]
+    pub(crate) span: Span,
+}
+
 #[derive(Diagnostic)]
 #[diag(resolve_trait_impl_duplicate, code = "E0201")]
 pub(crate) struct TraitImplDuplicate {