Struct TypeCoercion

pub struct TypeCoercion<'a> {
    context: &'a CompilationContext,
}

Handles all type coercion rules and operations

This module is responsible for determining when and how types can be automatically converted or coerced, particularly for unspecified literal types.

Fields

context: &'a CompilationContext

Implementations

impl<'a> TypeCoercion<'a>

pub fn new(context: &'a CompilationContext) -> Self

Creates a new type coercion handler

Arguments

• context - The compilation context for type information

pub fn can_coerce(&self, source_type: &TypeId, target_type: &TypeId) -> bool

Checks if an unspecified literal can be coerced to a target type

Arguments

• source_type - The unspecified literal type
• target_type - The target type to coerce to

Returns

true if coercion is possible, false otherwise

pub fn check_mixed_arithmetic_operation( &self, left_type: &TypeId, right_type: &TypeId, bin_expr: &BinaryExpr, ) -> SemanticResult

Checks for mixed-type arithmetic operations with coercion

Handles cases where unspecified literals can be coerced to match the other operand’s type in arithmetic operations.

Arguments

• left_type - Type of the left operand
• right_type - Type of the right operand
• bin_expr - The binary expression for context

Returns

Result with the resulting type or an error