diff options
| -rw-r--r-- | src/librustc/middle/traits/fulfill.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs index a13cc141608..97656ecf6ae 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 {:?}", |