---

nikomatsakis · nikomatsakis · commit bf432ac56868 · 2015-01-07T13:59:02.000-05:00
yaml --- r: 171075 b: refs/heads/try c: 6300a97 h: refs/heads/master i: 171073: 5eb703d 171071: b40754f v: v3
diff --git a/[refs] b/[refs]
@@ -2,7 +2,7 @@
 refs/heads/master: 73a25f55ad748b4d3516417c711b99ce446591af
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 5b3cd3900ceda838f5798c30ab96ceb41f962534
-refs/heads/try: 064cf553c7a9ccbb854081ce8c7e006fa0d9f81a
+refs/heads/try: 6300a97216998ad92ac0be33ccced089f9d8bf0a
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
diff --git a/branches/try/src/librustc_trans/trans/monomorphize.rs b/branches/try/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)
 }

Original file line number	Diff line number	Diff line change
`@@ -300,8 +300,6 @@ pub fn apply_param_substs<'tcx,T>(tcx: &ty::ctxt<'tcx>,`
`300`	`300`	`-> T`
`301`	`301`	`where T : TypeFoldable<'tcx> + Repr<'tcx> + HasProjectionTypes + Clone`
`302`	`302`	`{`
`303`		`- assert!(param_substs.regions.is_erased());`
`304`		`-`
`305`	`303`	`let substituted = value.subst(tcx, param_substs);`
`306`	`304`	`normalize_associated_type(tcx, &substituted)`
`307`	`305`	`}`