Struct ImplAssocItemValue 

pub struct ImplAssocItemValue {
    pub item: ItemRef,
    pub assoc_ty_value: Option<Ty>,
    pub implied_trait_proofs: Vec<TraitProof>,
}

The item is provided by the trait impl.

Fields

item: ItemRef

The definition of the item in the trait impl. This is an AssocTy, AssocFn or AssocConst.

assoc_ty_value: Option<Ty>

Value of the associated type, if carried directly. None for methods and consts.

implied_trait_proofs: Vec<TraitProof>

Trait proofs for the implied associated type bounds. E.g.:

trait Foo {
    type Type<T>: Clone,
}
impl Foo for () {
    type Type<T>: Arc<T>; // would supply a proof for `Arc<T>: Clone`.
}

Empty for methods and consts.

Trait Implementations

impl Clone for ImplAssocItemValue

fn clone(&self) -> ImplAssocItemValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplAssocItemValue

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

Formats the value using the given formatter.