From 6300a97216998ad92ac0be33ccced089f9d8bf0a Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Wed, 7 Jan 2015 13:59:02 -0500
Subject: [PATCH] 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.

---
 src/librustc_trans/trans/monomorphize.rs | 2 --
 1 file changed, 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)
 }