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