/// Construct a parameter environment suitable for static contexts or other contexts where there
/// are no free type/lifetime parameters in scope.
Construct a parameter environment suitable for static contexts or other contexts where there
are no free type/lifetime parameters in scope.
Construct a parameter environment suitable for static contexts or other contexts where there are no free type / lifetime parameters in scope .
pub fn empty_parameter_environment<'a>(&'a self)
                                           -> ParameterEnvironment<'a,'tcx> {
        ty::ParameterEnvironment { tcx: self,
                                   free_substs: Substs::empty(),
                                   caller_bounds: Vec::new(),
                                   implicit_region_bound: ty::ReEmpty,
                                   selection_cache: traits::SelectionCache::new(),
                                   // for an empty parameter
                                   // environment, there ARE no free
                                   // regions, so it shouldn't matter
                                   // what we use for the free id
                                   free_id: ast::DUMMY_NODE_ID }
    }
pub fn empty_parameter_environment < ' a > ( & ' a self ) -> ParameterEnvironment < ' a , ' tcx > { ty :: ParameterEnvironment { tcx : self , free_substs : Substs :: empty ( ) , caller_bounds : Vec :: new ( ) , implicit_region_bound : ty :: ReEmpty , selection_cache : traits :: SelectionCache :: new ( ) , // for an empty parameter // environment, there ARE no free // regions, so it shouldn't matter // what we use for the free id free_id : ast :: DUMMY_NODE_ID } }
Construct a parameter environment suitable for static contexts or other contexts where there
are no free type/lifetime parameters in scope.
Construct a parameter environment suitable for static contexts or other contexts where there are no free type / lifetime parameters in scope .
&'a self