bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

mir_build: consider privacy when checking for irrefutable patterns

Browse source
This commit is contained in:
Maja Kądziołka 2025-03-04 15:18:01 +01:00
parent 61f70003c2
commit 044deec682
No known key found for this signature in database
3 changed files with 75 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_mir_build/src/builder/matches/match_pair.rs
View file

@ -273,10 +273,11 @@ impl<'tcx> MatchPairTree<'tcx> {
let irrefutable = adt_def.variants().iter_enumerated().all(|(i, v)| {
i == variant_index
|| !v
.inhabited_predicate(cx.tcx, adt_def)
.instantiate(cx.tcx, args)
.apply_ignore_module(cx.tcx, cx.infcx.typing_env(cx.param_env))
|| !v.inhabited_predicate(cx.tcx, adt_def).instantiate(cx.tcx, args).apply(
cx.tcx,
cx.infcx.typing_env(cx.param_env),
cx.def_id.into(),
)
}) && !adt_def.variant_list_has_applicable_non_exhaustive();
if irrefutable { None } else { Some(TestCase::Variant { adt_def, variant_index }) }
}