From 3db82d1a4eb89b9f0aa25df8b66f5c42ab4fcd43 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Tue, 5 Jan 2016 05:29:40 -0500 Subject: [PATCH] Fix bug in new stall checking code, it should consider integer variables too. --- src/librustc/middle/traits/fulfill.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs index a13cc141608d..97656ecf6ae8 100644 --- 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 {:?}",