Enum rustc_trait_selection::infer::canonical::ir::ClosureKind

pub enum ClosureKind {
    Fn,
    FnMut,
    FnOnce,
}

Represents the various closure traits in the language. This will determine the type of the environment (self, in the desugaring) argument that the closure expects.

You can get the environment type of a closure using tcx.closure_env_ty().

Variants

Fn

FnMut

FnOnce

Implementations

impl ClosureKind

pub const LATTICE_BOTTOM: ClosureKind = ClosureKind::Fn

This is the initial value used when doing upvar inference.

pub const fn as_str(self) -> &'static str

pub fn extends(self, other: ClosureKind) -> bool

Returns true if a type that impls this closure kind must also implement other.

Trait Implementations

impl Clone for ClosureKind

fn clone(&self) -> ClosureKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ClosureKind

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

Formats the value using the given formatter.

impl<__D> Decodable<__D> for ClosureKind

where __D: SpanDecoder,

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

impl Display for ClosureKind

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

Formats the value using the given formatter.

impl<__E> Encodable<__E> for ClosureKind

where __E: SpanEncoder,

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

impl Hash for ClosureKind

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<__CTX> HashStable<__CTX> for ClosureKind

fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )

impl IntoDiagArg for ClosureKind

fn into_diag_arg(self) -> DiagArgValue

impl<'tcx> Lift<TyCtxt<'tcx>> for ClosureKind

type Lifted = ClosureKind

fn lift_to_interner(self, _: TyCtxt<'tcx>) -> Option<ClosureKind>

impl PartialEq for ClosureKind

fn eq(&self, other: &ClosureKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for ClosureKind

fn try_fold_with<F>( self, _: &mut F, ) -> Result<ClosureKind, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>

where F: FallibleTypeFolder<TyCtxt<'tcx>>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, _: &mut F) -> ClosureKind

where F: TypeFolder<TyCtxt<'tcx>>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for ClosureKind

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<TyCtxt<'tcx>>>::Result

where F: TypeVisitor<TyCtxt<'tcx>>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl Copy for ClosureKind

impl Eq for ClosureKind

impl StructuralPartialEq for ClosureKind

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: 1 byte

Size for each variant:

• Fn: 0 bytes
• FnMut: 0 bytes
• FnOnce: 0 bytes