Struct ConstraintContext 

pub struct ConstraintContext<'a> {
    pub locals: HashMap<Spur, LocalVarInfo>,
    pub params: &'a HashMap<Spur, ParamVarInfo>,
    pub return_type: Type,
    pub loop_depth: u32,
    /* private fields */
}

Context for constraint generation within a single function.

Fields

locals: HashMap<Spur, LocalVarInfo>

Local variables in scope.

params: &'a HashMap<Spur, ParamVarInfo>

Function parameters.

return_type: Type

Return type of the current function.

loop_depth: u32

How many loops we’re nested inside (for break/continue validation).

Implementations

impl<'a> ConstraintContext<'a>

pub fn new(params: &'a HashMap<Spur, ParamVarInfo>, return_type: Type) -> Self

Create a new context for a function.