Struct ra_ap_rustc_pattern_analysis::pat::DeconstructedPat

pub struct DeconstructedPat<Cx: TypeCx> { /* private fields */ }

Values and patterns can be represented as a constructor applied to some fields. This represents a pattern in this form. This also uses interior mutability to keep track of whether the pattern has been found reachable during analysis. For this reason they cannot be cloned. A DeconstructedPat will almost always come from user input; the only exception are some Wildcards introduced during specialization.

Note that the number of fields may not match the fields declared in the original struct/variant. This happens if a private or non_exhaustive field is uninhabited, because the code mustn’t observe that it is uninhabited. In that case that field is not included in fields. Care must be taken when converting to/from thir::Pat.

Implementations

impl<Cx: TypeCx> DeconstructedPat<Cx>

pub fn wildcard(ty: Cx::Ty) -> Self

pub fn new( ctor: Constructor<Cx>, fields: Vec<DeconstructedPat<Cx>>, ty: Cx::Ty, data: Cx::PatData ) -> Self

pub fn ctor(&self) -> &Constructor<Cx>

pub fn ty(&self) -> &Cx::Ty

pub fn data(&self) -> Option<&Cx::PatData>

Returns the extra data stored in a pattern. Returns None if the pattern is a wildcard that does not correspond to a user-supplied pattern.

pub fn iter_fields<'a>( &'a self ) -> impl Iterator<Item = &'a DeconstructedPat<Cx>>

Trait Implementations

impl<Cx: TypeCx> Debug for DeconstructedPat<Cx>

This is best effort and not good enough for a Display impl.

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

Formats the value using the given formatter.