clarify that T does not contain 'a

2026-05-21 17:52:12 +03:00 · 2015-07-17 16:02:43 -04:00
parent 27188bbefe
commit d088db99a7
1 changed files with 2 additions and 2 deletions
@@ -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(),