clarify that `T` does not contain `'a`

diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs
index e06333114f520bed4c9c98833988a8cac924aad3..44fc6b6b8abdc6dbb32217a79fc199fc6c1770cc 100644 (file)
--- 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(),