Struct WitnessPat

pub struct WitnessPat<Cx: PatCx> { /* private fields */ }

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.

Implementations

impl<Cx: PatCx> WitnessPat<Cx>

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.