diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-01-02 13:22:45 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2015-01-02 14:21:49 -0500 |
| commit | 45468f37c85adb6e1339af33c2f18770b4ac9dac (patch) | |
| tree | 569097b0b449d479fbd07ee6d5d9d1e79d4169ff | |
| parent | ea1ad792f9c182f18d865d5ff34a86a8ef0e4421 (diff) | |
| download | rust-45468f37c85adb6e1339af33c2f18770b4ac9dac.tar.gz rust-45468f37c85adb6e1339af33c2f18770b4ac9dac.zip | |
Temporarily do not evaluate subobligations.
| -rw-r--r-- | src/librustc/middle/traits/select.rs | 7 |
1 files 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 |