about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMaybe Waffle <waffle.lapkin@gmail.com>2024-04-01 10:56:33 +0000
committerMaybe Waffle <waffle.lapkin@gmail.com>2024-04-01 10:56:33 +0000
commit71077482d58e807b9d09637237015df3f3d7d690 (patch)
tree1ded3c7706d797145b8deb2ecd3f5f366a32d15a
parent871df0d13ae55fcfd8c880e99fedbaba35952e1c (diff)
downloadrust-71077482d58e807b9d09637237015df3f3d7d690.tar.gz
rust-71077482d58e807b9d09637237015df3f3d7d690.zip
Fixup parsing of `rustc_never_type_options` attribute
Copy paste error strike again..
-rw-r--r--compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs10
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs b/compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs
index 74f27cfebbd..05e7c5b2b41 100644
--- a/compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs
+++ b/compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs
@@ -416,13 +416,13 @@ fn parse_never_type_options_attr(
             continue;
         }
 
-        if item.has_name(sym::diverging_block_default) && fallback.is_none() {
-            let mode = item.value_str().unwrap();
-            match mode {
+        if item.has_name(sym::diverging_block_default) && block.is_none() {
+            let default = item.value_str().unwrap();
+            match default {
                 sym::unit => block = Some(DivergingBlockBehavior::Unit),
                 sym::never => block = Some(DivergingBlockBehavior::Never),
                 _ => {
-                    tcx.dcx().span_err(item.span(), format!("unknown diverging block default: `{mode}` (supported: `unit` and `never`)"));
+                    tcx.dcx().span_err(item.span(), format!("unknown diverging block default: `{default}` (supported: `unit` and `never`)"));
                 }
             };
             continue;
@@ -431,7 +431,7 @@ fn parse_never_type_options_attr(
         tcx.dcx().span_err(
             item.span(),
             format!(
-                "unknown never type option: `{}` (supported: `fallback`)",
+                "unknown or duplicate never type option: `{}` (supported: `fallback`, `diverging_block_default`)",
                 item.name_or_empty()
             ),
         );