Function check_expr 

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