Function combine_width 

fn combine_width(a: Option<usize>, b: Option<usize>) -> Option<usize>

Combines the widths of two operands: an untyped operand (None) inherits the other’s width; two explicit widths pick the wider.