Struct ImplBlock 

pub struct ImplBlock {
    pub trait_name: TypeName,
    pub target_type: TypeName,
    pub impl_name: Option<String>,
    pub methods: Vec<MethodDef>,
    pub associated_type_bindings: Vec<AssociatedTypeBinding>,
    pub where_clause: Option<Vec<WherePredicate>>,
}

Impl block — implements a trait for a type

impl Queryable<T> for Table<T> {
    method filter(predicate) { /* ... */ }
    method execute() { Ok(self) }
}

Under the hood, compiles identically to an extend block (UFCS desugaring) plus trait validation (all required methods present with correct arities).

Fields

trait_name: TypeName

The trait being implemented (e.g., Queryable)

target_type: TypeName

The type implementing the trait (e.g., Table)

impl_name: Option<String>

Optional named implementation selector: impl Display for User as JsonDisplay { ... }

methods: Vec<MethodDef>

Method implementations

associated_type_bindings: Vec<AssociatedTypeBinding>

Associated type bindings: type Item = number;

where_clause: Option<Vec<WherePredicate>>

Where clause: where T: Display + Comparable

Trait Implementations

impl Clone for ImplBlock

fn clone(&self) -> ImplBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplBlock

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ImplBlock

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ImplBlock

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

where __S: Serializer,

Serialize this value into the given Serde serializer.