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

Add static assertions for some unreachble paths

Browse Source
This commit is contained in:
iDawer 2022-06-30 18:36:05 +05:00
parent 461c0cc07a
commit e417992674
1 changed files with 10 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
crates/hir-ty/src/diagnostics/match_check/deconstruct_pat.rs
View File

@ -278,12 +278,12 @@ pub(super) struct Slice {
impl Slice {
fn arity(self) -> usize {
unimplemented!()
match self._unimplemented {}
}
/// See `Constructor::is_covered_by`
fn is_covered_by(self, _other: Self) -> bool {
unimplemented!() // never called as Slice contains Void
match self._unimplemented {}
}
}
@ -442,7 +442,7 @@ pub(super) fn split<'a>(
split_range.split(int_ranges.cloned());
split_range.iter().map(IntRange).collect()
}
Slice(_) => unimplemented!(),
Slice(slice) => match slice._unimplemented {},
// Any other constructor can be used unchanged.
_ => smallvec![self.clone()],
}
@ -465,12 +465,8 @@ pub(super) fn is_covered_by(&self, _pcx: PatCtxt<'_, '_>, other: &Self) -> bool
(Variant(self_id), Variant(other_id)) => self_id == other_id,
(IntRange(self_range), IntRange(other_range)) => self_range.is_covered_by(other_range),
(FloatRange(..), FloatRange(..)) => {
unimplemented!()
}
(Str(..), Str(..)) => {
unimplemented!()
}
(FloatRange(void), FloatRange(..)) => match *void {},
(Str(void), Str(..)) => match *void {},
(Slice(self_slice), Slice(other_slice)) => self_slice.is_covered_by(*other_slice),
// We are trying to inspect an opaque constant. Thus we skip the row.
@ -817,9 +813,7 @@ pub(crate) fn wildcards(
Fields::wildcards_from_tys(cx, once(ty.clone()))
}
},
Slice(..) => {
unimplemented!()
}
Slice(slice) => match slice._unimplemented {},
Str(..)
| FloatRange(..)
| IntRange(..)
@ -1023,9 +1017,9 @@ pub(crate) fn to_pat(&self, cx: &MatchCheckCtx<'_, 'p>) -> Pat {
PatKind::Wild
}
},
&Slice(Slice { _unimplemented: _void }) => unimplemented!(),
&Str(_void) => unimplemented!(),
&FloatRange(_void) => unimplemented!(),
&Slice(slice) => match slice._unimplemented {},
&Str(void) => match void {},
&FloatRange(void) => match void {},
IntRange(range) => return range.to_pat(cx, self.ty.clone()),
Wildcard | NonExhaustive => PatKind::Wild,
Missing { .. } => {
@ -1074,7 +1068,7 @@ pub(super) fn specialize<'a>(
(Slice(self_slice), Slice(other_slice))
if self_slice.arity() != other_slice.arity() =>
{
unimplemented!()
match self_slice._unimplemented {}
}
_ => self.fields.iter_patterns().collect(),
}