Enum rustc_middle::mir::query::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<'tcx>> Decodable<__D> for ClosureOutlivesSubject<'tcx>

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

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

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

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 be different between compiler versions and platforms. 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