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.