fn stmt_restricts_caller<'hir>(
hir: &'hir Hir<'hir>,
stmt: &'hir Stmt<'hir>,
params: &[VariableId],
stack: &mut Vec<FunctionId>,
self_aliases: &mut SelfAliasAnalysis<'hir>,
) -> boolfn stmt_restricts_caller<'hir>(
hir: &'hir Hir<'hir>,
stmt: &'hir Stmt<'hir>,
params: &[VariableId],
stack: &mut Vec<FunctionId>,
self_aliases: &mut SelfAliasAnalysis<'hir>,
) -> bool