Struct TraitDef 

pub struct TraitDef {
    pub name: String,
    pub doc_comment: Option<DocComment>,
    pub type_params: Option<Vec<TypeParam>>,
    pub super_traits: Vec<TypeAnnotation>,
    pub members: Vec<TraitMember>,
    pub annotations: Vec<Annotation>,
    pub is_comptime: bool,
}

Trait definition — supports required signatures and default methods.

trait Queryable<T> {
    filter(predicate: (T) => bool): Self    // required
    method execute() -> Result<Table<T>> {   // default
        return Ok(self.filter(|_| true))
    }
}

Fields

name: String

doc_comment: Option<DocComment>

type_params: Option<Vec<TypeParam>>

super_traits: Vec<TypeAnnotation>

Supertrait bounds: trait Foo: Bar + Baz { ... }

members: Vec<TraitMember>

annotations: Vec<Annotation>

Annotations applied to the trait (e.g., @documented("...") trait Foo { ... })

is_comptime: bool

comptime trait Foo { ... } — parser-only flag (J-CT.0). Type-checker validation lands in J-CT.1; comptime evaluator dispatch in J-CT.2. Until those land, a true value here parses cleanly but has no downstream semantic effect.

Trait Implementations

impl Clone for TraitDef

fn clone(&self) -> TraitDef

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraitDef

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TraitDef

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TraitDef

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

where __S: Serializer,

Serialize this value into the given Serde serializer.