Enum rustc_mir_build::thir::pattern::_match::SpecializationCache

enum SpecializationCache {
    Variants {
        lookup: FxHashMap<DefId, SmallVec<[usize; 1]>>,
        wilds: SmallVec<[usize; 1]>,
    },
    Incompatible,
}

Depending on the match patterns, the specialization process might be able to use a fast path. Tracks whether we can use the fast path and the lookup table needed in those cases.

Variants

Variants

Patterns consist of only enum variants. Variant patterns does not intersect with each other (in contrast to range patterns), so it is possible to precompute the result of Matrix::specialize_constructor at a lower computational complexity. lookup is responsible for holding the precomputed result of Matrix::specialize_constructor, while wilds is used for two purposes: the first one is the precomputed result of Matrix::specialize_wildcard, and the second is to be used as a fallback for Matrix::specialize_constructor when it tries to apply a constructor that has not been seen in the Matrix. See update_cache for further explanations.

Fields of Variants

lookup: FxHashMap<DefId, SmallVec<[usize; 1]>>wilds: SmallVec<[usize; 1]>

Incompatible

Does not belong to the cases above, use the slow path.

Trait Implementations

impl Clone for SpecializationCache

fn clone(&self) -> SpecializationCache

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SpecializationCache

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

Formats the value using the given formatter.

impl PartialEq<SpecializationCache> for SpecializationCache

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

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

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

This method tests for !=.

impl StructuralPartialEq for SpecializationCache