Struct WitnessPat

pub struct WitnessPat<Cx: PatCx> {
    ctor: Constructor<Cx>,
    pub(crate) fields: Vec<WitnessPat<Cx>>,
    ty: Cx::Ty,
}

Same idea as DeconstructedPat, except this is a fictitious pattern built up for diagnostics purposes. As such they don’t use interning and can be cloned.

Fields

ctor: Constructor<Cx>

fields: Vec<WitnessPat<Cx>>

ty: Cx::Ty

Implementations

impl<Cx: PatCx> WitnessPat<Cx>

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

pub(crate) fn wildcard(cx: &Cx, ty: Cx::Ty) -> Self

Create a wildcard pattern for this type. If the type is empty, we create a ! pattern.

pub(crate) fn wild_from_ctor(cx: &Cx, ctor: Constructor<Cx>, ty: Cx::Ty) -> Self

Construct a pattern that matches everything that starts with this constructor. For example, if ctor is a Constructor::Variant for Option::Some, we get the pattern Some(_).

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

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

pub fn is_never_pattern(&self) -> bool

pub fn iter_fields(&self) -> impl Iterator<Item = &WitnessPat<Cx>>

Trait Implementations

impl<Cx: PatCx> Clone for WitnessPat<Cx>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Cx: PatCx> Debug for WitnessPat<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.

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.