diff --git a/src/librustc/traits/project.rs b/src/librustc/traits/project.rs index 071653c6a10..0fa1b32ceb7 100644 --- a/src/librustc/traits/project.rs +++ b/src/librustc/traits/project.rs @@ -638,7 +638,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`. =)