Enum UseSubtyping 

pub(crate) enum UseSubtyping {
    No,
    Yes,
}

Whether to use subtyping or not when inspecting obligations.

Variants

No

Do not use subtyping. InferenceTable::obligations_for_self_ty will only return obligations where the self type is known to be equal to the provided vid.

Yes

Use subtyping. InferenceTable::obligations_for_self_ty will return obligations where the self type is related to the provided vid via subtyping.

Using this requires extra care, as traits holding for a subtype or a supertype, does not necessarily imply that they hold for the respective supertype or subtype.

Trait Implementations

impl Clone for UseSubtyping

fn clone(&self) -> UseSubtyping

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for UseSubtyping

impl Debug for UseSubtyping

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

Formats the value using the given formatter.

impl Eq for UseSubtyping

impl PartialEq for UseSubtyping

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for UseSubtyping