Struct rustc_mir_build::thir::pattern::_match::PatStack

pub(crate) struct PatStack<'p, 'tcx>(SmallVec<[&'p Pat<'tcx>; 2]>);

A row of a matrix. Rows of len 1 are very common, which is why SmallVec[_; 2] works well.

Implementations

impl<'p, 'tcx> PatStack<'p, 'tcx>

pub(crate) fn from_pattern(pat: &'p Pat<'tcx>) -> Self

fn from_vec(vec: SmallVec<[&'p Pat<'tcx>; 2]>) -> Self

fn from_slice(s: &[&'p Pat<'tcx>]) -> Self

fn is_empty(&self) -> bool

fn len(&self) -> usize

fn head(&self) -> &'p Pat<'tcx>

fn to_tail(&self) -> Self

fn iter(&self) -> impl Iterator<Item = &Pat<'tcx>>

fn expand_or_pat(&self) -> Option<Vec<Self>>

fn specialize_wildcard(&self) -> Option<Self>

This computes D(self). See top of the file for explanations.

fn specialize_constructor(
    &self,
    cx: &mut MatchCheckCtxt<'p, 'tcx>,
    constructor: &Constructor<'tcx>,
    ctor_wild_subpatterns: &Fields<'p, 'tcx>
) -> Option<PatStack<'p, 'tcx>>

This computes S(constructor, self). See top of the file for explanations.

Trait Implementations

impl<'p, 'tcx> Clone for PatStack<'p, 'tcx>

fn clone(&self) -> PatStack<'p, 'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'p, 'tcx> Debug for PatStack<'p, 'tcx>

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

Formats the value using the given formatter.

impl<'p, 'tcx> Default for PatStack<'p, 'tcx>

fn default() -> Self

Returns the "default value" for a type.

impl<'p, 'tcx> FromIterator<&'p Pat<'tcx>> for PatStack<'p, 'tcx>

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = &'p Pat<'tcx>>, 

Creates a value from an iterator.

impl<'p, 'tcx> FromIterator<PatStack<'p, 'tcx>> for Matrix<'p, 'tcx>

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = PatStack<'p, 'tcx>>, 

Creates a value from an iterator.