Struct OutlivesAtBinder 

struct OutlivesAtBinder {
    regions_outlive: SeqHashSet<RegionBinder<RegionOutlives>>,
    types_outlive: SeqHashSet<RegionBinder<TypeOutlives>>,
    shorter_region: Option<Region>,
}

Fields

regions_outlive: SeqHashSet<RegionBinder<RegionOutlives>>

types_outlive: SeqHashSet<RegionBinder<TypeOutlives>>

shorter_region: Option<Region>

The lifetime of the innermost reference we’re inside of. When going under a binder, we keep it there.

E.g. in &'a for<'b> fn(&'b u32, &'c u32), the 'a stays on the outer binder, and we use that to add 'c: 'a but we don’t add 'b: 'a since 'b is not visible from where 'a is.

Implementations

impl OutlivesAtBinder

fn finish( self, regions_outlive: &mut Vec<RegionBinder<RegionOutlives>>, types_outlive: &mut Vec<RegionBinder<TypeOutlives>>, )

Trait Implementations

impl Default for OutlivesAtBinder

fn default() -> OutlivesAtBinder

Returns the “default value” for a type.