Struct TypeInfo 

pub struct TypeInfo {
    pub full: String,
    pub base: String,
    pub generics: Vec<String>,
    pub is_reference: bool,
    pub is_mutable: bool,
    pub lifetime: Option<String>,
}

Type information extracted from type errors.

Fields

full: String

Full type string (e.g., Vec<String>)

base: String

Base type without generics (e.g., “Vec”)

generics: Vec<String>

Generic parameters if any

is_reference: bool

Whether this is a reference

is_mutable: bool

Whether this is mutable

lifetime: Option<String>

Lifetime if specified

Implementations

impl TypeInfo

pub fn new(type_str: &str) -> Self

Create a new type info from a type string.

pub fn is_compatible_with(&self, other: &TypeInfo) -> bool

Check if types are compatible (same base, possibly different references).

pub fn suggest_conversion_to(&self, target: &TypeInfo) -> Option<String>

Get suggested conversion from this type to target.

Trait Implementations

impl Clone for TypeInfo

fn clone(&self) -> TypeInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeInfo

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

Formats the value using the given formatter.

impl Display for TypeInfo

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

Formats the value using the given formatter.

impl PartialEq for TypeInfo

fn eq(&self, other: &TypeInfo) -> 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 Eq for TypeInfo

impl StructuralPartialEq for TypeInfo