Struct PatternWrappingInfo 

pub struct PatternWrappingInfo {
    pub n_outer_snapshots: usize,
    pub n_boxed_inner_snapshots: Option<usize>,
}

Information about how a type is wrapped for pattern matching.

Fields

n_outer_snapshots: usize

Number of outer snapshot wrappers (e.g., @Box<Enum> has 1 outer snapshot).

n_boxed_inner_snapshots: Option<usize>

If the type is wrapped in a Box, contains the number of inner snapshots (e.g., Box<@Enum> has Some(1), Box<Enum> has Some(0), non-boxed has None).

Implementations

impl PatternWrappingInfo

pub fn wrap<'db>(&self, db: &'db dyn Database, ty: TypeId<'db>) -> TypeId<'db>

Wraps a type according to the wrapping information. First wraps with inner snapshots (if boxed), then wraps in a Box (if boxed), and finally wraps with outer snapshots.

Trait Implementations

impl Clone for PatternWrappingInfo

fn clone(&self) -> PatternWrappingInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PatternWrappingInfo

impl Debug for PatternWrappingInfo

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

Formats the value using the given formatter.

impl Eq for PatternWrappingInfo

impl PartialEq for PatternWrappingInfo

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for PatternWrappingInfo