Function check_expr 

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