Enum rustc_middle::mir::ClosureOutlivesSubject

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

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

Variants

Ty(Ty<'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.

The type here is guaranteed not to contain any free regions at present.

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.

Trait Implementations

impl<'tcx> Clone for ClosureOutlivesSubject<'tcx>

fn clone(&self) -> ClosureOutlivesSubject<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for ClosureOutlivesSubject<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for ClosureOutlivesSubject<'tcx>

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for ClosureOutlivesSubject<'tcx>

fn encode(&self, __encoder: &mut __E)

impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ClosureOutlivesSubject<'tcx>

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<'tcx> Copy for ClosureOutlivesSubject<'tcx>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes

Size for each variant:

• Ty: 12 bytes
• Region: 4 bytes