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 methods: Vec<(TraitItemName, Binder<FunDeclRef>)>,
}

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.

methods: Vec<(TraitItemName, Binder<FunDeclRef>)>

The implemented methods

Implementations

impl TraitImpl

pub fn methods( &self, ) -> impl Iterator<Item = &(TraitItemName, Binder<FunDeclRef>)>

Trait Implementations

impl AstVisitable for TraitImpl

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

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<'s, V> Drive<'s, V> for TraitImpl

where V: Visitor + Visit<'s, ItemMeta> + Visit<'s, TraitDeclRef> + Visit<'s, GenericParams> + Visit<'s, Vector<TraitClauseId, TraitRef>> + Visit<'s, Vec<(TraitItemName, GlobalDeclRef)>> + Visit<'s, Vec<(TraitItemName, Ty)>> + Visit<'s, Vec<(TraitItemName, Vector<TraitClauseId, TraitRef>)>> + Visit<'s, Vec<(TraitItemName, Binder<FunDeclRef>)>>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for TraitImpl

where V: Visitor + VisitMut<'s, ItemMeta> + VisitMut<'s, TraitDeclRef> + VisitMut<'s, GenericParams> + VisitMut<'s, Vector<TraitClauseId, TraitRef>> + VisitMut<'s, Vec<(TraitItemName, GlobalDeclRef)>> + VisitMut<'s, Vec<(TraitItemName, Ty)>> + VisitMut<'s, Vec<(TraitItemName, Vector<TraitClauseId, TraitRef>)>> + VisitMut<'s, Vec<(TraitItemName, Binder<FunDeclRef>)>>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

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.