From d088db99a7c67bebb00c2d66bfaf9cb64298fba2 Mon Sep 17 00:00:00 2001 From: Andrew Paseltiner Date: Fri, 17 Jul 2015 16:02:43 -0400 Subject: [PATCH] clarify that `T` does not contain `'a` --- src/librustc/middle/traits/fulfill.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs index e06333114f52..44fc6b6b8abd 100644 --- a/src/librustc/middle/traits/fulfill.rs +++ b/src/librustc/middle/traits/fulfill.rs @@ -430,8 +430,8 @@ fn process_predicate<'a,'tcx>(selcx: &mut SelectionContext<'a,'tcx>, obligation.clone(), CodeSelectionError(Unimplemented))) } - // Otherwise, we have something of the form `for<'a> T: 'a`, which - // we can treat as `T: 'static`. + // Otherwise, we have something of the form + // `for<'a> T: 'a where 'a not in T`, which we can treat as `T: 'static`. Some(t_a) => { register_region_obligation(t_a, ty::ReStatic, obligation.cause.clone(),