about summary refs log tree commit diff
path: root/src
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 /src
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.
Diffstat (limited to 'src')
-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)
 }