Function collect_expr_facts 

fn collect_expr_facts<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
    facts: &mut LoopFacts,
)