From 45468f37c85adb6e1339af33c2f18770b4ac9dac Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Fri, 2 Jan 2015 13:22:45 -0500
Subject: [PATCH] Temporarily do not evaluate subobligations.

---
 src/librustc/middle/traits/select.rs | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/librustc/middle/traits/select.rs b/src/librustc/middle/traits/select.rs
index ef8fbdfaa6c..5b5cb8ae13e 100644
--- a/src/librustc/middle/traits/select.rs
+++ b/src/librustc/middle/traits/select.rs
@@ -343,8 +343,11 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
                     project::poly_project_and_unify_type(self, &project_obligation)
                 });
                 match result {
-                    Ok(Some(subobligations)) => {
-                        self.evaluate_predicates_recursively(previous_stack, subobligations.iter())
+                    Ok(Some(_subobligations)) => {
+                        // TODO we should evaluate _subobligations, but doing so leads to an ICE
+                        // self.evaluate_predicates_recursively(previous_stack,
+                        //                                      subobligations.iter())
+                        EvaluatedToAmbig
                     }
                     Ok(None) => {
                         EvaluatedToAmbig