hacks

Author: compiler-errors

compiler/rustc_trait_selection/src/solve/eval_ctxt.rs

@@ -373,6 +373,7 @@ impl<'a, 'tcx> EvalCtxt<'a, 'tcx> {
             && has_changed
             && is_normalizes_to_hack == IsNormalizesToHack::No
             && !self.search_graph.in_cycle()
+            && false
         {
             debug!("rerunning goal to check result is stable");
             let (_orig_values, canonical_goal) = self.canonicalize_goal(goal);

compiler/rustc_trait_selection/src/solve/fulfill.rs

@@ -89,7 +89,12 @@ impl<'tcx> TraitEngine<'tcx> for FulfillmentCtxt<'tcx> {
         let mut errors = Vec::new();
         for i in 0.. {
             if !infcx.tcx.recursion_limit().value_within_limit(i) {
-                unimplemented!("overflowed on pending obligations: {:?}", self.obligations);
+                let obligation = self.obligations.first().cloned().unwrap();
+                return vec![FulfillmentError {
+                    root_obligation: obligation.clone(),
+                    obligation,
+                    code: FulfillmentErrorCode::CodeAmbiguity { overflow: true },
+                }];
             }
 
             let mut has_changed = false;