Add subst helper for inheriting FnSpace from another subst

1 files changed, 9 insertions, 0 deletions

diff --git a/src/librustc/middle/subst.rs b/src/librustc/middle/subst.rs
index 02dfeb80b92..9f8e2a22133 100644
--- a/src/librustc/middle/subst.rs
+++ b/src/librustc/middle/subst.rs
@@ -160,6 +160,15 @@ impl<'tcx> Substs<'tcx> {
         Substs { types: types, regions: regions }
     }
 
+    pub fn with_method_from_subst(self, other: &Substs<'tcx>) -> Substs<'tcx> {
+        let Substs { types, regions } = self;
+        let types = types.with_vec(FnSpace, other.types.get_slice(FnSpace).to_vec());
+        let regions = regions.map(|r| {
+            r.with_vec(FnSpace, other.regions().get_slice(FnSpace).to_vec())
+        });
+        Substs { types: types, regions: regions }
+    }
+
     /// Creates a trait-ref out of this substs, ignoring the FnSpace substs
     pub fn to_trait_ref(&self, tcx: &TyCtxt<'tcx>, trait_id: DefId)
                         -> ty::TraitRef<'tcx> {