about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2015-01-07 13:59:02 -0500
committerNiko Matsakis <niko@alum.mit.edu>2015-01-07 13:59:02 -0500
commit6300a97216998ad92ac0be33ccced089f9d8bf0a (patch)
tree1897f8bf4cf537971a68e7e0c7199013ae7e44ed
parent064cf553c7a9ccbb854081ce8c7e006fa0d9f81a (diff)
downloadrust-6300a97216998ad92ac0be33ccced089f9d8bf0a.tar.gz
rust-6300a97216998ad92ac0be33ccced089f9d8bf0a.zip
Remove assertion that substitutions are erased. It'd be nice if they
always were but it's dang annoying to weed out all the places that
fail to meet the assertion, and it doesn't really hurt things if we don't
always get it right.
-rw-r--r--src/librustc_trans/trans/monomorphize.rs2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/librustc_trans/trans/monomorphize.rs b/src/librustc_trans/trans/monomorphize.rs
index e2594765f4f..63d4781ec37 100644
--- a/src/librustc_trans/trans/monomorphize.rs
+++ b/src/librustc_trans/trans/monomorphize.rs
@@ -300,8 +300,6 @@ pub fn apply_param_substs<'tcx,T>(tcx: &ty::ctxt<'tcx>,
                                   -> T
     where T : TypeFoldable<'tcx> + Repr<'tcx> + HasProjectionTypes + Clone
 {
-    assert!(param_substs.regions.is_erased());
-
     let substituted = value.subst(tcx, param_substs);
     normalize_associated_type(tcx, &substituted)
 }