Struct TypeInference 

pub struct TypeInference { /* private fields */ }

Type inference engine

Phase 3 Stub Implementation

Currently provides basic type tracking without actual inference. Variables must be explicitly registered with their types.

Examples

use oxur_repl::type_inference::{TypeInference, TypeInfo};

let mut inference = TypeInference::new();

// Register a variable type
inference.register_variable("x", TypeInfo::new("i32"));

// Look up variable type
let type_info = inference.get_variable_type("x").unwrap();
assert_eq!(type_info.type_name, "i32");

Implementations

impl TypeInference

pub fn new() -> Self

Create a new type inference engine

pub fn with_debug(self, debug: bool) -> Self

Enable debug mode

pub fn register_variable( &mut self, name: impl Into<String>, type_info: TypeInfo, )

Register a variable with its type

Arguments

• name - Variable name
• type_info - Type information

pub fn get_variable_type(&self, name: impl AsRef<str>) -> Result<&TypeInfo>

Get the type of a variable

Arguments

• name - Variable name

Returns

Type information for the variable

Errors

Returns error if variable is not found

pub fn infer_from_code(&self, code: impl AsRef<str>) -> Vec<(String, TypeInfo)>

Infer types from Rust code

Phase 3 Stub

Currently returns empty list. Full implementation will use rust-analyzer to extract type information from let bindings.

Arguments

• code - Rust source code to analyze

Returns

List of (variable_name, type_info) pairs

pub fn all_variables(&self) -> impl Iterator<Item = (&String, &TypeInfo)>

Get all tracked variables

pub fn has_variable(&self, name: impl AsRef<str>) -> bool

Check if a variable is tracked

pub fn remove_variable(&mut self, name: impl AsRef<str>) -> Option<TypeInfo>

Remove a variable from tracking

pub fn clear(&mut self)

Clear all tracked variables

pub fn variable_count(&self) -> usize

Get count of tracked variables

Trait Implementations

impl Clone for TypeInference

fn clone(&self) -> TypeInference

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeInference

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

Formats the value using the given formatter.

impl Default for TypeInference

fn default() -> Self

Returns the “default value” for a type.