Enum ra_ap_rustc_pattern_analysis::constructor::SliceKind

pub enum SliceKind {
    FixedLen(usize),
    VarLen(usize, usize),
}

Variants

FixedLen(usize)

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

VarLen(usize, usize)

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 fn arity(self) -> usize

Trait Implementations

impl Clone for SliceKind

fn clone(&self) -> SliceKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SliceKind

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

Formats the value using the given formatter.

impl PartialEq for SliceKind

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SliceKind

impl Eq for SliceKind

impl StructuralPartialEq for SliceKind