/// Creates a trait-ref out of this substs, ignoring the FnSpace substs
Creates a trait-ref out of this substs, ignoring the FnSpace substs
Creates a trait - ref out of this substs ignoring the FnSpace substs
pub fn to_trait_ref(&self, tcx: TyCtxt<'a, 'gcx, 'tcx>, trait_id: DefId)
                        -> ty::TraitRef<'tcx> {
        let Substs { mut types, mut regions } = self.clone();
        types.truncate(FnSpace, 0);
        regions.truncate(FnSpace, 0);
        ty::TraitRef {
            def_id: trait_id,
            substs: tcx.mk_substs(Substs { types: types, regions: regions })
        }
    }
pub fn to_trait_ref ( & self , tcx : TyCtxt < ' a , ' gcx , ' tcx > , trait_id : DefId ) -> ty :: TraitRef < ' tcx > { let Substs { mut types , mut regions } = self . clone ( ) ; types . truncate ( FnSpace , 0 ) ; regions . truncate ( FnSpace , 0 ) ; ty :: TraitRef { def_id : trait_id , substs : tcx . mk_substs ( Substs { types : types , regions : regions } ) } }
Creates a trait-ref out of this substs, ignoring the FnSpace substs
Creates a trait - ref out of this substs ignoring the FnSpace substs
&self
tcx
TyCtxt<'a, 'gcx, 'tcx>
trait_id
DefId