type_implements_trait consider obligation failure on overflow

rust-lang · Dylan-DPC-zz · Aug 17, 2021 · Aug 21, 2021 · Aug 18, 2021 · Aug 18, 2021
commit a216d666ca535d3cfcc8839fd3cb3d5e483e2d7e
diff --git a/compiler/rustc_trait_selection/src/infer.rs b/compiler/rustc_trait_selection/src/infer.rs
@@ -117,7 +117,7 @@ impl<'cx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'tcx> {
             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)
     }
 }