Struct AssocFnCallExpr 

pub struct AssocFnCallExpr {
    pub base: Option<Box<Expr>>,
    pub type_name: Ident,
    pub type_args: Vec<Expr>,
    pub function: Ident,
    pub args: Vec<CallArg>,
    pub span: Span,
}

An associated function call expression (e.g., Point::origin() or module.Point::origin()).

ADR-0063 also accepts a type-call LHS: Ptr(i32)::null(). The parenthesised arguments after type_name are stored in type_args. They are empty for the legacy form (Point::origin()) and non-empty for the type-call form. Sema interprets each type_args entry as a type expression.

Fields

base: Option<Box<Expr>>

Optional module/namespace prefix (e.g., utils in utils.Point::origin())

type_name: Ident

The type name (e.g., Point or Ptr)

type_args: Vec<Expr>

Type arguments for a type-call LHS (e.g., [i32] in Ptr(i32)::null()). Empty for the plain Type::function() form.

function: Ident

The function name (e.g., origin)

args: Vec<CallArg>

Arguments

span: Span

Trait Implementations

impl Clone for AssocFnCallExpr

fn clone(&self) -> AssocFnCallExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AssocFnCallExpr

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AssocFnCallExpr

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for AssocFnCallExpr

fn eq(&self, other: &AssocFnCallExpr) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for AssocFnCallExpr

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for AssocFnCallExpr

impl StructuralPartialEq for AssocFnCallExpr