remove unnecessary .ok() calls

This commit is contained in:
lcnr 2023-05-26 11:07:20 +02:00
parent e7fa993d89
commit b6b9611190

View File

@ -231,13 +231,21 @@ enum Invert {
let mut candidates = Vec::new(); let mut candidates = Vec::new();
// LHS normalizes-to RHS // LHS normalizes-to RHS
candidates.extend( candidates.extend(evaluate_normalizes_to(
evaluate_normalizes_to(self, alias_lhs, rhs, direction, Invert::No).ok(), self,
); alias_lhs,
rhs,
direction,
Invert::No,
));
// RHS normalizes-to RHS // RHS normalizes-to RHS
candidates.extend( candidates.extend(evaluate_normalizes_to(
evaluate_normalizes_to(self, alias_rhs, lhs, direction, Invert::Yes).ok(), self,
); alias_rhs,
lhs,
direction,
Invert::Yes,
));
// Relate via substs // Relate via substs
let subst_relate_response = self.probe(|ecx| { let subst_relate_response = self.probe(|ecx| {
let span = tracing::span!( let span = tracing::span!(