Struct rustc_pattern_analysis::usefulness::PlaceCtxt

pub(crate) struct PlaceCtxt<'a, Cx: TypeCx> {
    pub(crate) mcx: MatchCtxt<'a, Cx>,
    pub(crate) ty: &'a Cx::Ty,
}

Context that provides information local to a place under investigation.

Fields

mcx: MatchCtxt<'a, Cx>

ty: &'a Cx::Ty

Type of the place under investigation.

Implementations

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

pub(crate) fn new_dummy(mcx: MatchCtxt<'a, Cx>, ty: &'a Cx::Ty) -> Self

A PlaceCtxt when code other than is_useful needs one.

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

pub(crate) fn ctor_sub_tys( &'a self, ctor: &'a Constructor<Cx> ) -> impl Iterator<Item = Cx::Ty> + ExactSizeIterator + Captures<'a>

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

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, __f: &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