Enum rustc_middle::ty::fast_reject::TreatParams

pub enum TreatParams {
    AsPlaceholder,
    AsInfer,
}

Generic parameters are pretty much just bound variables, e.g. the type of fn foo<'a, T>(x: &'a T) -> u32 { ... } can be thought of as for<'a, T> fn(&'a T) -> u32.

Typecheck of foo has to succeed for all possible generic arguments, so during typeck, we have to treat its generic parameters as if they were placeholders.

But when calling foo we only have to provide a specific generic argument. In that case the generic parameters are instantiated with inference variables. As we use simplify_type before that instantiation happens, we just treat generic parameters as if they were inference variables in that case.

Variants

AsPlaceholder

Treat parameters as placeholders in the given environment.

Note that this also causes us to treat projections as if they were placeholders. This is only correct if the given projection cannot be normalized in the current context. Even if normalization fails, it may still succeed later if the projection contains any inference variables.

AsInfer

Trait Implementations

impl Clone for TreatParams

fn clone(&self) -> TreatParams

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TreatParams

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

Formats the value using the given formatter.

impl PartialEq<TreatParams> for TreatParams

fn eq(&self, other: &TreatParams) -> 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 !=.

impl Copy for TreatParams

impl Eq for TreatParams

impl StructuralEq for TreatParams

impl StructuralPartialEq for TreatParams

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• AsPlaceholder: 0 bytes
• AsInfer: 0 bytes