Struct TypeInference

pub struct TypeInference {}

Handles type inference and finalization

This module is responsible for inferring types when they are not explicitly specified and finalizing unspecified literal types to concrete types.

Implementations

impl TypeInference

pub fn infer_literal_type(&self, literal_value: &LiteralValue) -> TypeId

Infers the type of a literal expression

Arguments

• literal_value - The literal value to infer type for

Returns

The inferred TypeId for the literal

pub fn is_unsigned_type(&self, type_id: &TypeId) -> bool

Checks if a type requires special handling for unsigned integer assignment

Arguments

• type_id - The type to check

Returns

true if the type is unsigned integer, false otherwise