Function check_expr_for_writes 

fn check_expr_for_writes<'hir>(
    ctx: &LintContext<'_, '_>,
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
)