Struct ImplAssocItemValue 

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

The item is provided by the trait impl.

Fields

item: ItemRef<'tcx>

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

assoc_ty_value: Option<Ty<'tcx>>

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

implied_trait_proofs: Vec<TraitProof<'tcx>>

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<'tcx> Clone for ImplAssocItemValue<'tcx>

fn clone(&self) -> ImplAssocItemValue<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ImplAssocItemValue<'tcx>

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

Formats the value using the given formatter.