charon_lib::pretty::formatter

Trait PushBoundRegions

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

    // Required method
    fn push_bound_regions(
        &'a self,
        regions: &'a Vector<RegionId, RegionVar>,
    ) -> Self::C;
}
Expand description

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

Required Associated Types§

Required Methods§

source

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

Implementors§

source§

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

source§

type C = FmtCtx<'a>