Struct TypeContext

pub struct TypeContext<'a> {
    pub expected_type: Option<&'a Type>,
    pub return_type: Option<&'a Type>,
    pub scope: TypeContextScope,
    pub is_in_compare_like: bool,
}

Type checking context

Fields

expected_type: Option<&'a Type>

Expected type for the current expression

return_type: Option<&'a Type>

Return type of the enclosing function

scope: TypeContextScope

is_in_compare_like: bool

Implementations

impl<'a> TypeContext<'a>

pub const fn new( expected_type: Option<&'a Type>, return_type: Option<&'a Type>, scope: TypeContextScope, ) -> Self

pub const fn new_argument(required_type: &'a Type) -> Self

pub const fn new_unsure_argument(expected_type: Option<&'a Type>) -> Self

pub const fn new_anything_argument() -> Self

pub const fn new_function(required_type: &'a Type) -> Self

pub const fn with_expected_type(&self, expected_type: Option<&'a Type>) -> Self

pub const fn for_return(&self) -> Self

Panics

pub fn enter_function(&self, required_type: &'a Type) -> Self

pub fn enter_loop(&self) -> Self

Creates a new scope when entering a loop

pub fn enter_compare(&self) -> Self

Creates a new scope when entering a loop

Trait Implementations

impl<'a> Clone for TypeContext<'a>

fn clone(&self) -> TypeContext<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TypeContext<'a>

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

Formats the value using the given formatter.