Struct rustc_pattern_analysis::usefulness::PlaceCtxt

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

Context that provides information local to a place under investigation.

Fields

mcx: MatchCtxt<'a, 'p, Cx>

ty: Cx::Ty

Type of the place under investigation.

is_scrutinee: bool

Whether the place is the original scrutinee place, as opposed to a subplace of it.

Implementations

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

pub(crate) fn new_dummy(mcx: MatchCtxt<'a, 'p, Cx>, ty: 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(&self, ctor: &Constructor<Cx>) -> &[Cx::Ty]

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

Trait Implementations

impl<'a, 'p, Cx: TypeCx> Clone for PlaceCtxt<'a, 'p, 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, 'p, Cx: TypeCx> Debug for PlaceCtxt<'a, 'p, Cx>

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

Formats the value using the given formatter.

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.