1
Fork 0

Expect clause more

This commit is contained in:
Michael Goulet 2023-06-19 20:48:46 +00:00
parent 46a650f4e0
commit 2fa796a3c7
4 changed files with 7 additions and 10 deletions

View file

@ -47,7 +47,7 @@ fn associated_type_bounds<'tcx>(
}
_ => false,
})
.map(|(pred, span)| (pred.as_clause().unwrap(), span));
.map(|(pred, span)| (pred.expect_clause(), span));
let all_bounds = tcx.arena.alloc_from_iter(bounds.clauses().chain(bounds_from_parent));
debug!(

View file

@ -173,7 +173,7 @@ impl<'tcx> Elaboratable<'tcx> for (ty::Clause<'tcx>, Span) {
}
fn child(&self, predicate: ty::Predicate<'tcx>) -> Self {
(predicate.as_clause().unwrap(), self.1)
(predicate.expect_clause(), self.1)
}
fn child_with_derived_cause(
@ -183,7 +183,7 @@ impl<'tcx> Elaboratable<'tcx> for (ty::Clause<'tcx>, Span) {
_parent_trait_pred: ty::PolyTraitPredicate<'tcx>,
_index: usize,
) -> Self {
(predicate.as_clause().unwrap(), self.1)
(predicate.expect_clause(), self.1)
}
}
@ -193,7 +193,7 @@ impl<'tcx> Elaboratable<'tcx> for ty::Clause<'tcx> {
}
fn child(&self, predicate: ty::Predicate<'tcx>) -> Self {
predicate.as_clause().unwrap()
predicate.expect_clause()
}
fn child_with_derived_cause(
@ -203,7 +203,7 @@ impl<'tcx> Elaboratable<'tcx> for ty::Clause<'tcx> {
_parent_trait_pred: ty::PolyTraitPredicate<'tcx>,
_index: usize,
) -> Self {
predicate.as_clause().unwrap()
predicate.expect_clause()
}
}

View file

@ -250,7 +250,7 @@ impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for ty::Predicate<'tcx>
impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for ty::Clause<'tcx> {
fn decode(decoder: &mut D) -> ty::Clause<'tcx> {
let pred: ty::Predicate<'tcx> = Decodable::decode(decoder);
pred.as_clause().unwrap()
pred.expect_clause()
}
}

View file

@ -666,10 +666,7 @@ impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ty::Clause<'tcx> {
self,
folder: &mut F,
) -> Result<Self, F::Error> {
Ok(folder
.try_fold_predicate(self.as_predicate())?
.as_clause()
.expect("no sensible folder would do this"))
Ok(folder.try_fold_predicate(self.as_predicate())?.expect_clause())
}
}