type_implements_trait consider obligation failure on overflow

2026-05-22 02:00:00 +03:00 · 2021-08-25 03:52:24 -04:00
parent e5484cec0e
commit a216d666ca
1 changed files with 1 additions and 1 deletions
@@ -117,7 +117,7 @@ fn type_implements_trait(
            recursion_depth: 0,
            predicate: trait_ref.without_const().to_predicate(self.tcx),
        };
-        self.evaluate_obligation_no_overflow(&obligation)
+        self.evaluate_obligation(&obligation).unwrap_or(traits::EvaluationResult::EvaluatedToErr)
    }
 }