about summary refs log tree commit diff
path: root/compiler/rustc_mir_build
diff options
context:
space:
mode:
authorCameron Steffen <cam.steffen94@gmail.com>2022-10-23 17:32:40 -0500
committerCameron Steffen <cam.steffen94@gmail.com>2022-11-20 19:04:11 -0600
commitcc8dddbac9e04f125c7e81dbe9fb6a01990e8b25 (patch)
treed3e9773b74566031a5d1baff33bba3e8906e38be /compiler/rustc_mir_build
parent34cbe727806429a8a034f492cff1b588e70c33dc (diff)
downloadrust-cc8dddbac9e04f125c7e81dbe9fb6a01990e8b25.tar.gz
rust-cc8dddbac9e04f125c7e81dbe9fb6a01990e8b25.zip
Factor out conservative_is_privately_uninhabited
Diffstat (limited to 'compiler/rustc_mir_build')
-rw-r--r--compiler/rustc_mir_build/src/build/matches/simplify.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_mir_build/src/build/matches/simplify.rs b/compiler/rustc_mir_build/src/build/matches/simplify.rs
index 924d2f555b9..caf27eb39d7 100644
--- a/compiler/rustc_mir_build/src/build/matches/simplify.rs
+++ b/compiler/rustc_mir_build/src/build/matches/simplify.rs
@@ -264,10 +264,10 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                 let irrefutable = adt_def.variants().iter_enumerated().all(|(i, v)| {
                     i == variant_index || {
                         self.tcx.features().exhaustive_patterns
-                            && v.inhabited_predicate(self.tcx, adt_def)
+                            && !v
+                                .inhabited_predicate(self.tcx, adt_def)
                                 .subst(self.tcx, substs)
-                                .apply_any_module(self.tcx, self.param_env)
-                                != Some(true)
+                                .apply_ignore_module(self.tcx, self.param_env)
                     }
                 }) && (adt_def.did().is_local()
                     || !adt_def.is_variant_list_non_exhaustive());