Enum rustc_mir_build::thir::pattern::_match::SliceKind

pub(in thir::pattern::_match) enum SliceKind {
    FixedLen(u64),
    VarLen(u64, u64),
}

Variants

FixedLen(u64)

Patterns of length n ([x, y]).

VarLen(u64, u64)

Patterns using the .. notation ([x, .., y]). Captures any array constructor of length >= i + j. In the case where array_len is Some(_), this indicates that we only care about the first i and the last j values of the array, and everything in between is a wildcard _.

Implementations

impl SliceKind

pub(in thir::pattern::_match) fn arity(
    self
) -> u64

pub(in thir::pattern::_match) fn covers_length(
    self,
    other_len: u64
) -> bool

Whether this pattern includes patterns of length other_len.

Trait Implementations

impl Clone for SliceKind

pub fn clone(&self) -> SliceKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for SliceKind

impl Debug for SliceKind

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

Formats the value using the given formatter.

impl Eq for SliceKind

impl PartialEq<SliceKind> for SliceKind

pub fn eq(&self, other: &SliceKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &SliceKind) -> bool

This method tests for !=.

impl StructuralEq for SliceKind

impl StructuralPartialEq for SliceKind