---

yaml
---
r: 220673
b: refs/heads/master
c: d088db9
h: refs/heads/master
i:
  220671: 32f1d1c
v: v3

Author: apasel422

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 27188bbefe5efbbb8c11464457ce90edf24ac17f
+refs/heads/master: d088db99a7c67bebb00c2d66bfaf9cb64298fba2
 refs/heads/snap-stage3: d4432b37378ec55450e06799f5344b4b0f4b94e0
 refs/heads/try: b53c0f93eedcdedd4fd89bccc5a3a09d1c5cd23e
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

trunk/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(),