Enum flowistry_pdg::rustc::mir::ClosureOutlivesSubject

pub enum ClosureOutlivesSubject<'tcx> {
    Ty(ClosureOutlivesSubjectTy<'tcx>),
    Region(RegionVid),
}

The subject of a ClosureOutlivesRequirement – that is, the thing that must outlive some region.

Variants

Ty(ClosureOutlivesSubjectTy<'tcx>)

Subject is a type, typically a type parameter, but could also be a projection. Indicates a requirement like T: 'a being passed to the caller, where the type here is T.

Region(RegionVid)

Subject is a free region from the closure. Indicates a requirement like 'a: 'b being passed to the caller; the region here is 'a.