pub fn widen(a: &DataType, b: &DataType) -> Option<DataType>
The narrowest type both a and b read into without loss, or None when there is none.
a
b
None