Struct MutableBorrowParams 

pub struct MutableBorrowParams {
    pub mutable_borrow: HashMap<Symbol, HashSet<Symbol>>,
}

Mutable borrow parameter analysis result.

Identifies Seq<T> parameters that are only mutated via element access (SetIndex) but never structurally modified (no Push, Pop, Add, Remove, or reassignment). These parameters can be passed as &mut [T] instead of by value, eliminating the move-in/move-out ownership pattern.

Additional requirement: the function must return the parameter as its sole return value, so the call site can drop the assignment.

Fields

mutable_borrow: HashMap<Symbol, HashSet<Symbol>>

fn_sym → set of param symbols eligible for &mut [T] borrow.

Implementations

impl MutableBorrowParams

pub fn analyze( stmts: &[Stmt<'_>], callgraph: &CallGraph, type_env: &TypeEnv, ) -> MutableBorrowParams

Analyze the program and compute mutable borrow parameters.

pub fn is_mutable_borrow(&self, fn_sym: Symbol, param_sym: Symbol) -> bool