Struct rustc_pattern_analysis::usefulness::PlaceCtxt

struct PlaceCtxt<'a, Cx: TypeCx> {
    cx: &'a Cx,
    ty: &'a Cx::Ty,
}

Context that provides information local to a place under investigation.

Fields

cx: &'a Cx

ty: &'a Cx::Ty

Type of the place under investigation.

Implementations

impl<'a, Cx: TypeCx> PlaceCtxt<'a, Cx>

fn ctor_arity(&self, ctor: &Constructor<Cx>) -> usize

fn ctors_for_ty(&self) -> Result<ConstructorSet<Cx>, Cx::Error>

fn wild_from_ctor(&self, ctor: Constructor<Cx>) -> WitnessPat<Cx>

Trait Implementations

impl<'a, Cx: TypeCx> Clone for PlaceCtxt<'a, Cx>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, Cx: TypeCx> Debug for PlaceCtxt<'a, Cx>

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

Formats the value using the given formatter.

impl<'a, Cx: TypeCx> Copy for PlaceCtxt<'a, Cx>

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