Struct TypeExpr 

pub struct TypeExpr {
    pub path: Option<Path>,
    pub name: Ident,
    pub args: Vec<TypeExpr>,
    pub span: Span,
}

A named type: string, i32, User, and so on are all just names, resolved later by the compiler’s resolver. A type may carry a module path (m::User, shop::cart::Cart, spec 2.10, 3.1) and generic arguments (Vec<i32>, Result<User, string>, nested freely, spec 2.6); the parser only records them, and the resolver checks that the path, the name, and the argument count exist.

Fields

path: Option<Path>

name: Ident

args: Vec<TypeExpr>

span: Span

Implementations

impl TypeExpr

pub fn display_name(&self) -> String

Renders the whole type back to source text: the path (if any), the name, and any generic arguments, recursively. Used wherever a diagnostic or fix-it needs to show the type as written, rather than just its base name.

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeExpr

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

Formats the value using the given formatter.

impl Eq for TypeExpr

impl PartialEq for TypeExpr

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeExpr