Fix bug in new stall checking code, it should consider integer variables

too.

diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs
index a13cc141608d5ea74a62c4eabdf94252d17c6620..97656ecf6ae8e212c9807bb3030e54801797ffc4 100644 (file)
--- a/src/librustc/middle/traits/fulfill.rs
+++ b/src/librustc/middle/traits/fulfill.rs
@@ -396,7 +396,7 @@ fn process_predicate1<'a,'tcx>(selcx: &mut SelectionContext<'a,'tcx>,
                         .map(|t| selcx.infcx().resolve_type_vars_if_possible(t))
                         .filter(|t| t.has_infer_types())
                         .flat_map(|t| t.walk())
-                        .filter(|t| t.is_ty_var())
+                        .filter(|t| match t.sty { ty::TyInfer(_) => true, _ => false })
                         .collect();
 
                     debug!("process_predicate: pending obligation {:?} now stalled on {:?}",