Trait PushBinder

pub trait PushBinder<'a> {
    type C: 'a + AstFormatter;

    // Required method
    fn push_binder(&'a self, new_params: Cow<'a, GenericParams>) -> Self::C;

    // Provided method
    fn push_bound_regions(
        &'a self,
        regions: &'a Vector<RegionId, RegionVar>,
    ) -> Self::C { ... }
}

We use this trait to update the context by pushing a group of bound regions.

Required Associated Types

type C: 'a + AstFormatter

Required Methods

fn push_binder(&'a self, new_params: Cow<'a, GenericParams>) -> Self::C

Provided Methods

fn push_bound_regions( &'a self, regions: &'a Vector<RegionId, RegionVar>, ) -> Self::C

Implementors

impl<'a, 'b> PushBinder<'a> for FmtCtx<'b>

type C = FmtCtx<'a>