However, the wrinkle here is how the resulting typ...

# announcements

[mp]

However, the wrinkle here is how the resulting type would now be dependent on the order of operands, which is pretty confusing for numeric types where programmers are generally used to widening conversions being order-insensitive