Struct TypeContext

pub struct TypeContext<'a> {
    pub expected_type: Option<&'a TypeRef>,
    pub has_lvalue_target: bool,
    pub ephemeral_is_allowed: bool,
}

TypeRef checking context

Fields

expected_type: Option<&'a TypeRef>

Expected type for the current expression

has_lvalue_target: bool

ephemeral_is_allowed: bool

Implementations

impl<'a> TypeContext<'a>

pub const fn new( expected_type: Option<&'a TypeRef>, has_lvalue_target: bool, ) -> Self

pub const fn new_argument( required_type: &'a TypeRef, has_lvalue_target: bool, ) -> Self

pub const fn new_unsure_argument( expected_type: Option<&'a TypeRef>, has_lvalue_target: bool, ) -> Self

pub const fn new_anything_argument(has_lvalue_target: bool) -> Self

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

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

pub fn expected_type_or_optional_inner(&self) -> Self

If the expected type is Optional<T>, returns T; otherwise returns the original expected type.

Trait Implementations

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

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

Returns a duplicate 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.