Type Alias PolyTypeOutlives 

pub type PolyTypeOutlives = RegionBinder<TypeOutlives>;

Aliased Type

pub struct PolyTypeOutlives {
    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<Ty, 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<Ty, Region>

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