From 97d8a668f66377c5adb85e89c2fa207e9d4a511c Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Mon, 29 Dec 2014 11:02:37 -0500
Subject: [PATCH] Add a FIXME relating to regions and projection types

---
 src/librustc_typeck/check/regionmanip.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/librustc_typeck/check/regionmanip.rs b/src/librustc_typeck/check/regionmanip.rs
index c0b281450a2c..8d9e241e73be 100644
--- a/src/librustc_typeck/check/regionmanip.rs
+++ b/src/librustc_typeck/check/regionmanip.rs
@@ -125,7 +125,8 @@ impl<'a, 'tcx> Wf<'a, '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);