Enum move_model::ty::Variance

pub enum Variance {
    Allow,
    Shallow,
    Disallow,
}

A parameter for type unification that specifies the type compatibility rules to follow.

Variants

Allow

Co-variance is allowed in all depths of the recursive type unification process

Shallow

Co-variance is only allowed for the outermost type unification round

Disallow

Co-variance is not allowed at all

Trait Implementations

impl Clone for Variance

fn clone(&self) -> Variance

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Variance

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

Formats the value using the given formatter.

impl PartialEq<Variance> for Variance

fn eq(&self, other: &Variance) -> 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 Variance

impl Eq for Variance

impl StructuralEq for Variance

impl StructuralPartialEq for Variance