We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
feature(never_type_fallback)
1 parent 8bfc0c5 commit 495ff00Copy full SHA for 495ff00
compiler/rustc_hir_typeck/src/fallback.rs
@@ -100,6 +100,10 @@ impl<'tcx> FnCtxt<'_, 'tcx> {
100
.get_attr(CRATE_DEF_ID, sym::rustc_never_type_mode)
101
.map(|attr| (attr.value_str().unwrap(), attr.span))
102
else {
103
+ if self.tcx.features().never_type_fallback {
104
+ return DivergingFallbackBehavior::FallbackToNiko;
105
+ }
106
+
107
return DivergingFallbackBehavior::FallbackToUnit;
108
};
109
0 commit comments