Enum hir_ty::ImplTraitLoweringMode

pub enum ImplTraitLoweringMode {
    Opaque,
    Param,
    Variable,
    Disallowed,
}

Variants

Opaque

impl Trait gets lowered into an opaque type that doesn’t unify with anything except itself. This is used in places where values flow ‘out’, i.e. for arguments of the function we’re currently checking, and return types of functions we’re calling.

Param

impl Trait gets lowered into a type variable. Used for argument position impl Trait when inside the respective function, since it allows us to support that without Chalk.

Variable

impl Trait gets lowered into a variable that can unify with some type. This is used in places where values flow ‘in’, i.e. for arguments of functions we’re calling, and the return type of the function we’re currently checking.

Disallowed

impl Trait is disallowed and will be an error.

Trait Implementations

impl Clone for ImplTraitLoweringMode

fn clone(&self) -> ImplTraitLoweringMode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ImplTraitLoweringMode

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

Formats the value using the given formatter.

impl Default for ImplTraitLoweringMode

fn default() -> ImplTraitLoweringMode

Returns the “default value” for a type.

impl PartialEq for ImplTraitLoweringMode

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

impl Eq for ImplTraitLoweringMode

impl StructuralPartialEq for ImplTraitLoweringMode