Temporarily do not evaluate subobligations.

2015-01-02 13:22:45 -05:00 · 2015-01-02 13:22:45 -05:00 · 45468f37c8
commit 45468f37c8
parent ea1ad792f9
1 changed files with 5 additions and 2 deletions
--- 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