Function check_expr 

fn check_expr<'hir>(
    ctx: &LintContext<'_, '_>,
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    tainted: &mut HashSet<VariableId>,
)