Function common_ty 

fn common_ty<'hir>(
    gcx: Gcx<'hir>,
    lhs: Ty<'hir>,
    rhs: Ty<'hir>,
) -> Option<Ty<'hir>>