Struct Closure 

pub struct Closure<'tcx> {
    def_id: DefId,
    fn_trait_args: [Ty<'tcx>; 2],
    kind: ClosureKind,
    param_env: ParamEnv<'tcx>,
    sig: PolyFnSig<'tcx>,
    upvar_tys: Vec<Ty<'tcx>>,
    inline: InlineAttr,
    fn_trait_impls: OnceCell<FnTraitImpls<'tcx>>,
    destruct_impl: OnceCell<Box<VirtualTraitImpl<'tcx>>>,
}

A closure, coroutine, or coroutine-closure.

Fields

def_id: DefId

fn_trait_args: [Ty<'tcx>; 2]

[closure_ty, tupled_args_ty]: the args of the Fn* traits for this closure. The signature’s bound regions are liberated in these types, and the extra_regions may be mentioned as well.

kind: ClosureKind

param_env: ParamEnv<'tcx>

The closure inherits its ordinary generics from its parent. It does have type parameters, used by rustc for inference purposes. These are hidden from the ParamEnv. Any erased lifetimes found in these inferred generics are replaced with placeholder regions, stored in extra_early_regions.

sig: PolyFnSig<'tcx>

upvar_tys: Vec<Ty<'tcx>>

The captured variables, which together form the closure’s state.

inline: InlineAttr

fn_trait_impls: OnceCell<FnTraitImpls<'tcx>>

Computed on demand, see Closure::fn_trait_impls.

destruct_impl: OnceCell<Box<VirtualTraitImpl<'tcx>>>

Implementations

impl<'tcx> Closure<'tcx>

pub fn param_env(&self) -> &ParamEnv<'tcx>

pub fn kind(&self) -> &ClosureKind

pub fn sig(&self) -> &PolyFnSig<'tcx>

pub fn upvar_tys(&self) -> &[Ty<'tcx>]

pub fn inline(&self) -> &InlineAttr

fn virtual_impl( &self, s: &impl BaseState<'tcx>, trait_lang_item: LangItem, trait_args: &[Ty<'tcx>], ) -> Box<VirtualTraitImpl<'tcx>>

The virtual impl of this closure for the given trait.

pub fn fn_trait_impls(&self, s: &impl BaseState<'tcx>) -> &FnTraitImpls<'tcx>

The virtual Fn* impls supported by this closure.

pub fn destruct_impl(&self, s: &impl BaseState<'tcx>) -> &VirtualTraitImpl<'tcx>

Info required to construct a virtual Drop impl for this closure.

Trait Implementations

impl<'tcx> Clone for Closure<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Closure<'tcx>

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

Formats the value using the given formatter.