Struct BlockContext 

struct BlockContext<'a> {
    abilities: ControlFlowAbility,
    info: &'a FunctionInfo,
    expressions: &'a Arena<Expression>,
    types: &'a UniqueArena<Type>,
    local_vars: &'a Arena<LocalVariable>,
    global_vars: &'a Arena<GlobalVariable>,
    functions: &'a Arena<Function>,
    special_types: &'a SpecialTypes,
    prev_infos: &'a [FunctionInfo],
    return_type: Option<Handle<Type>>,
    local_expr_kind: &'a ExpressionKindTracker,
}

Fields

abilities: ControlFlowAbility

info: &'a FunctionInfo

expressions: &'a Arena<Expression>

types: &'a UniqueArena<Type>

local_vars: &'a Arena<LocalVariable>

global_vars: &'a Arena<GlobalVariable>

functions: &'a Arena<Function>

special_types: &'a SpecialTypes

prev_infos: &'a [FunctionInfo]

return_type: Option<Handle<Type>>

local_expr_kind: &'a ExpressionKindTracker

Implementations

impl<'a> BlockContext<'a>

fn new( fun: &'a Function, module: &'a Module, info: &'a FunctionInfo, prev_infos: &'a [FunctionInfo], local_expr_kind: &'a ExpressionKindTracker, ) -> Self

const fn with_abilities(&self, abilities: ControlFlowAbility) -> Self

fn get_expression(&self, handle: Handle<Expression>) -> &'a Expression

fn resolve_type_impl( &self, handle: Handle<Expression>, valid_expressions: &HandleSet<Expression>, ) -> Result<&TypeResolution, WithSpan<ExpressionError>>

fn resolve_type( &self, handle: Handle<Expression>, valid_expressions: &HandleSet<Expression>, ) -> Result<&TypeResolution, WithSpan<FunctionError>>

fn resolve_type_inner( &self, handle: Handle<Expression>, valid_expressions: &HandleSet<Expression>, ) -> Result<&TypeInner, WithSpan<FunctionError>>

fn resolve_pointer_type(&self, handle: Handle<Expression>) -> &TypeInner

fn compare_types(&self, lhs: &TypeResolution, rhs: &TypeResolution) -> bool