Function expr_ty 

pub(super) fn expr_ty<'gcx>(
    gcx: Gcx<'gcx>,
    hir: &Hir<'gcx>,
    expr: &Expr<'gcx>,
) -> Option<Ty<'gcx>>