Enum ra_ap_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 Copy for ImplTraitLoweringMode

impl Debug for ImplTraitLoweringMode

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

Formats the value using the given formatter.

impl Eq for ImplTraitLoweringMode

impl PartialEq<ImplTraitLoweringMode> for ImplTraitLoweringMode

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

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

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for ImplTraitLoweringMode

impl StructuralPartialEq for ImplTraitLoweringMode