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