diff --git a/src/librustc/traits/project.rs b/src/librustc/traits/project.rs index 54e31aed272a3..b5449f5176926 100644 --- a/src/librustc/traits/project.rs +++ b/src/librustc/traits/project.rs @@ -639,7 +639,7 @@ fn prune_cache_value_obligations<'a, 'gcx, 'tcx>(infcx: &'a InferCtxt<'a, 'gcx, // but we have `T: Foo` and `?1: Bar`). ty::Predicate::Projection(ref data) => - !infcx.any_unresolved_type_vars(&data.ty()), + infcx.any_unresolved_type_vars(&data.ty()), // We are only interested in `T: Foo` predicates, whre // `U` references one of `unresolved_type_vars`. =)