diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-01-07 13:59:02 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-01-07 13:59:02 -0500 |
| commit | 6300a97216998ad92ac0be33ccced089f9d8bf0a (patch) | |
| tree | 1897f8bf4cf537971a68e7e0c7199013ae7e44ed /src | |
| parent | 064cf553c7a9ccbb854081ce8c7e006fa0d9f81a (diff) | |
| download | rust-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.rs | 2 |
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) } |
