diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2014-12-29 11:02:37 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2014-12-30 09:36:22 -0500 |
| commit | 97d8a668f66377c5adb85e89c2fa207e9d4a511c (patch) | |
| tree | 1c168ac86b738b964d32feaf3a5bb88f3a48a36c /src | |
| parent | d62d4953d29462fe1e4af04e6016160d25bb0a71 (diff) | |
| download | rust-97d8a668f66377c5adb85e89c2fa207e9d4a511c.tar.gz rust-97d8a668f66377c5adb85e89c2fa207e9d4a511c.zip | |
Add a FIXME relating to regions and projection types
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_typeck/check/regionmanip.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/librustc_typeck/check/regionmanip.rs b/src/librustc_typeck/check/regionmanip.rs index c0b281450a2..8d9e241e73b 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); |