Struct TraitImpl

pub struct TraitImpl {
    pub def_id: TraitImplId,
    pub item_meta: ItemMeta,
    pub impl_trait: TraitDeclRef,
    pub generics: GenericParams,
    pub parent_trait_refs: Vector<TraitClauseId, TraitRef>,
    pub consts: Vec<(TraitItemName, GlobalDeclRef)>,
    pub types: Vec<(TraitItemName, Ty)>,
    pub type_clauses: Vec<(TraitItemName, Vector<TraitClauseId, TraitRef>)>,
    pub required_methods: Vec<(TraitItemName, FunDeclId)>,
    pub provided_methods: Vec<(TraitItemName, FunDeclId)>,
}

A trait implementation.

For instance:

impl Foo for List {
  type Bar = ...

  fn baz(...) { ... }
}

Fields

def_id: TraitImplId

item_meta: ItemMeta

impl_trait: TraitDeclRef

The information about the implemented trait. Note that this contains the instantiation of the “parent” clauses.

generics: GenericParams

parent_trait_refs: Vector<TraitClauseId, TraitRef>

The trait references for the parent clauses (see TraitDecl).

consts: Vec<(TraitItemName, GlobalDeclRef)>

The associated constants declared in the trait.

types: Vec<(TraitItemName, Ty)>

The associated types declared in the trait.

type_clauses: Vec<(TraitItemName, Vector<TraitClauseId, TraitRef>)>

The Vec corresponds to the same Vector in TraitDecl. In the same way, this is empty after the lift_associated_item_clauses pass.

required_methods: Vec<(TraitItemName, FunDeclId)>

The implemented required methods

provided_methods: Vec<(TraitItemName, FunDeclId)>

The re-implemented provided methods

Trait Implementations

impl Clone for TraitImpl

fn clone(&self) -> TraitImpl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraitImpl

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TraitImpl

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for TraitImpl

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for TraitImpl

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl<C: AstFormatter> FmtWithCtx<C> for TraitImpl

fn fmt_with_ctx(&self, ctx: &C) -> String

fn fmt_with_ctx_and_indent(&self, _tab: &str, _ctx: &C) -> String

fn with_ctx<'a>(&'a self, ctx: &'a C) -> impl Display + 'a

Returns a struct that implements Display. This allows the following:

impl<'a> Formatter<&TraitImpl> for FmtCtx<'a>

fn format_object(&self, def: &TraitImpl) -> String

impl Serialize for TraitImpl

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.