Trait charon_lib::pretty::formatter::PushBoundRegions

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

    // Required 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_bound_regions( &'a self, regions: &'a Vector<RegionId, RegionVar>, ) -> Self::C

Implementors

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

type C = FmtCtx<'a>