Function index_is_static 

fn index_is_static<'hir>(
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    params: &[VariableId],
) -> bool

True when every sub-expression of expr is independent of the call’s parameters.