mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't assume place validity when we don't know

Browse Source
This commit is contained in:
Nadrieril 2024-03-17 16:35:47 +01:00
parent 3cfcd4ed96
commit e67adf40c9
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/hir-ty/src/diagnostics/match_check/pat_analysis.rs
View File

@ -65,7 +65,9 @@ impl<'p> MatchCheckCtx<'p> {
arms: &[MatchArm<'p>],
scrut_ty: Ty,
) -> Result<UsefulnessReport<'p, Self>, ()> {
compute_match_usefulness(self, arms, scrut_ty, PlaceValidity::ValidOnly, None)
// FIXME: Determine place validity correctly. For now, err on the safe side.
let place_validity = PlaceValidity::MaybeInvalid;
compute_match_usefulness(self, arms, scrut_ty, place_validity, None)
}
fn is_uninhabited(&self, ty: &Ty) -> bool {