Add a FIXME relating to regions and projection types

diff --git a/src/librustc_typeck/check/regionmanip.rs b/src/librustc_typeck/check/regionmanip.rs
index c0b281450a2c0bb2956c95ff918fbb1ab09b410e..8d9e241e73bebaeb163ad77d04865a2a2330bfea 100644 (file)
--- a/src/librustc_typeck/check/regionmanip.rs
+++ b/src/librustc_typeck/check/regionmanip.rs
@@ -125,7 +125,8 @@ fn accumulate_from_ty(&mut self, ty: Ty<'tcx>) {
             ty::ty_projection(ref data) => {
                 // `<T as TraitRef<..>>::Name`
 
-                // TODO What region constraints are necessary here, if any??
+                // FIXME(#20303) -- gain ability to require that ty_projection : in-scope region,
+                // like a type parameter
 
                 // this seems like a minimal requirement:
                 let trait_def = ty::lookup_trait_def(self.tcx, data.trait_ref.def_id);