From 00cf176a5ee694907e5bddd5ff56d5e318e0edc8 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 29 Dec 2014 11:03:04 -0500 Subject: [PATCH] Add FIXMEs relating to caching of projection results --- src/librustc/middle/traits/fulfill.rs | 2 ++ src/librustc_trans/trans/monomorphize.rs | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/librustc/middle/traits/fulfill.rs b/src/librustc/middle/traits/fulfill.rs index e72d5b405c4e..b55504da237a 100644 --- a/src/librustc/middle/traits/fulfill.rs +++ b/src/librustc/middle/traits/fulfill.rs @@ -115,6 +115,8 @@ impl<'tcx> FulfillmentContext<'tcx> { assert!(!trait_ref.has_escaping_regions()); + // FIXME(#20304) -- cache + let ty_var = infcx.next_ty_var(); let projection = ty::Binder(ty::ProjectionPredicate { diff --git a/src/librustc_trans/trans/monomorphize.rs b/src/librustc_trans/trans/monomorphize.rs index dcfe5f40ecee..6e52454fa783 100644 --- a/src/librustc_trans/trans/monomorphize.rs +++ b/src/librustc_trans/trans/monomorphize.rs @@ -319,7 +319,7 @@ pub fn normalize_associated_type<'tcx,T>(tcx: &ty::ctxt<'tcx>, t: &T) -> T return t.clone(); } - // TODO cache + // FIXME(#20304) -- cache let infcx = infer::new_infer_ctxt(tcx); let param_env = ty::empty_parameter_environment();