Function is_potentially_mutated 

pub fn is_potentially_mutated<'tcx>(
    variable: HirId,
    expr: &'tcx Expr<'_>,
    cx: &LateContext<'tcx>,
) -> bool

Checks whether it is possible that the given variable is mutated within the given [Expr].