Struct TypeContext

pub struct TypeContext<'a> {
    pub expected_type: Option<&'a Type>,
}

Type checking context

Fields

expected_type: Option<&'a Type>

Expected type for the current expression

Implementations

impl<'a> TypeContext<'a>

pub const fn new(expected_type: Option<&'a Type>) -> 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

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.