Struct chalk_integration::lowering::env::AssociatedTyLookup

pub struct AssociatedTyLookup {
    pub id: AssocTypeId<ChalkIr>,
    pub addl_variable_kinds: Vec<VariableKind<ChalkIr>>,
}

Information about an associated type declaration (i.e., an AssociatedTyDatum). This information is gathered in the first phase of creating the Rust IR and is then later used to lookup the “id” of an associated type.

trait Foo {
    type Bar<'a>; // <-- associated type declaration
         // ----
         // |
         // addl_variable_kinds
}

Fields

id: AssocTypeId<ChalkIr>

addl_variable_kinds: Vec<VariableKind<ChalkIr>>

Trait Implementations

impl Debug for AssociatedTyLookup

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

Formats the value using the given formatter.

impl PartialEq for AssociatedTyLookup

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

impl StructuralPartialEq for AssociatedTyLookup