pub fn instantiate_mono_trait_ref(&self,
        rscope: &RegionScope,
        trait_ref: &hir::TraitRef,
        self_ty: Ty<'tcx>)
        -> ty::TraitRef<'tcx>
    {
        let trait_def_id = self.trait_def_id(trait_ref);
        self.ast_path_to_mono_trait_ref(rscope,
                                        trait_ref.path.span,
                                        trait_def_id,
                                        self_ty,
                                        trait_ref.path.segments.last().unwrap())
    }
/// Instantiates the path for the given trait reference, assuming that it's
/// bound to a valid trait type. Returns the def_id for the defining trait.
/// Fails if the type is a type other than a trait type.
///
/// If the `projections` argument is `None`, then assoc type bindings like `Foo<T=X>`
/// are disallowed. Otherwise, they are pushed onto the vector given.
Instantiates the path for the given trait reference, assuming that it's
bound to a valid trait type. Returns the def_id for the defining trait.
Fails if the type is a type other than a trait type.


Instantiates the path for the given trait reference assuming that it ' s bound to a valid trait type . Returns the def_id for the defining trait . Fails if the type is a type other than a trait type .
pub fn instantiate_mono_trait_ref(&self,
        rscope: &RegionScope,
        trait_ref: &hir::TraitRef,
        self_ty: Ty<'tcx>)
        -> ty::TraitRef<'tcx>
    {
        let trait_def_id = self.trait_def_id(trait_ref);
        self.ast_path_to_mono_trait_ref(rscope,
                                        trait_ref.path.span,
                                        trait_def_id,
                                        self_ty,
                                        trait_ref.path.segments.last().unwrap())
    }
pub fn instantiate_mono_trait_ref ( & self , rscope : & RegionScope , trait_ref : & hir :: TraitRef , self_ty : Ty < ' tcx > ) -> ty :: TraitRef < ' tcx > { let trait_def_id = self . trait_def_id ( trait_ref ) ; self . ast_path_to_mono_trait_ref ( rscope , trait_ref . path . span , trait_def_id , self_ty , trait_ref . path . segments . last ( ) . unwrap ( ) ) }
Instantiates the path for the given trait reference, assuming that it's
bound to a valid trait type.
Instantiates the path for the given trait reference assuming that it ' s bound to a valid trait type .
&self
rscope
&RegionScope
trait_ref
&hir::TraitRef
self_ty
Ty<'tcx>