Type Alias PolyRegionOutlives 

pub type PolyRegionOutlives = RegionBinder<RegionOutlives>;

Aliased Type

pub struct PolyRegionOutlives {
    pub regions: IndexVec<RegionId, RegionParam>,
    pub regions_outlive: Vec<RegionBinder<OutlivesPred<Region, Region>>>,
    pub types_outlive: Vec<RegionBinder<OutlivesPred<Ty, Region>>>,
    pub skip_binder: OutlivesPred<Region, Region>,
}

Fields

regions: IndexVec<RegionId, RegionParam>

regions_outlive: Vec<RegionBinder<OutlivesPred<Region, Region>>>

Outlives relations involving the bound regions.

types_outlive: Vec<RegionBinder<OutlivesPred<Ty, Region>>>

Outlives relations involving the bound regions.

skip_binder: OutlivesPred<Region, Region>

Named this way to highlight accesses to the inner value that might be handling parameters incorrectly. Prefer using helper methods.