Struct rustc_middle::mir::ClosureOutlivesSubjectTy

pub struct ClosureOutlivesSubjectTy<'tcx> {
    inner: Ty<'tcx>,
}

Represents a ty::Ty for use in ClosureOutlivesSubject.

This abstraction is necessary because the type may include ReVar regions, which is what we use internally within NLL code, and they can’t be used in a query response.

DO NOT implement TypeVisitable or TypeFoldable traits, because this type is not recognized as a binder for late-bound region.

Fields

inner: Ty<'tcx>

Implementations

impl<'tcx> ClosureOutlivesSubjectTy<'tcx>

pub fn bind(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Self

All regions of ty must be of kind ReVar and must represent universal regions external to the closure.

pub fn instantiate( self, tcx: TyCtxt<'tcx>, map: impl FnMut(RegionVid) -> Region<'tcx> ) -> Ty<'tcx>

Trait Implementations

impl<'tcx> Clone for ClosureOutlivesSubjectTy<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ClosureOutlivesSubjectTy<'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 ClosureOutlivesSubjectTy<'tcx>

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

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

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

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

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

impl<'tcx> Copy for ClosureOutlivesSubjectTy<'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: 8 bytes