Struct TypeNode 

pub struct TypeNode {
    pub span: Span,
    /* private fields */
}

AST-level type annotation: the source-shaped kind with its cached canonical Type handle. kind and type_ are private to preserve the invariant type_ == interner.intern(&kind), which only TypeNode::new can establish.

Fields

span: Span

Implementations

impl TypeNode

pub fn new(interner: &TypeInterner, kind: TypeKind, span: Span) -> Self

pub fn unchecked(kind: TypeKind, span: Span) -> Self

Escape hatch that skips interning. type_ is Type::ERR; the value must reach an interner before it can be compared or hashed. PartialEq / Hash assert! this.

pub fn kind(&self) -> &TypeKind

pub fn ty(&self) -> Type

pub fn into_parts(self) -> (TypeKind, Span, Type)

pub fn from_parts(kind: TypeKind, span: Span, type_: Type) -> Self

Bypass the interner. The caller is responsible for type_ == interner.intern(&kind); only safe when kind is being canonicalized (span/id scrub) without shape change.

pub fn types_equivalent(&self, other: &TypeNode) -> bool

Fast path via the canonical handle; falls back to structural TypeKind::types_equivalent for equivalences that don’t imply identity — implicit Future, undetermined array length, pending const-generic arguments.

Trait Implementations

impl Canonicalize for TypeNode

fn canonicalize(self) -> Self

impl Clone for TypeNode

fn clone(&self) -> TypeNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeNode

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

Formats the value using the given formatter.

impl Default for TypeNode

fn default() -> Self

Returns the “default value” for a type.

impl Display for TypeNode

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

Formats the value using the given formatter.

impl Eq for TypeNode

impl Hash for TypeNode

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypeNode

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TypeNode

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

where __S: Serializer,

Serialize this value into the given Serde serializer.