Copy a comment

diff --git a/src/librustc/traits/select.rs b/src/librustc/traits/select.rs
index 3fcd79f706b789c7621cd87b09e61963f0c027f4..9d5494d1fbab638663ecceb90bc9cb93ac7c50cc 100644 (file)
--- a/src/librustc/traits/select.rs
+++ b/src/librustc/traits/select.rs
@@ -1500,6 +1500,9 @@ fn assemble_generator_candidates(&mut self,
             return Ok(());
         }
 
+        // ok to skip binder because the substs on generator types never
+        // touch bound regions, they just capture the in-scope
+        // type/region parameters
         let self_ty = *obligation.self_ty().skip_binder();
         let (closure_def_id, substs) = match self_ty.sty {
             ty::TyGenerator(id, substs, _) => (id, substs),