Function align_types

pub fn align_types<'a>(
    exprs: impl Iterator<Item = &'a mut ExprImpl>,
) -> Result<DataType, ErrorCode>

Find the least_restrictive type over a list of exprs, and add implicit cast when necessary. Used by VALUES, CASE, UNION, etc. See PG.