How do promotion rules work when the signedness on either side of a binary operator differ? [duplicate]
This is outlined explicitly in §5/9: Many binary operators that expect operands of arithmetic or enumeration type cause conversions and yield result types in a similar way. The purpose is to yield a common type, which is also the type of the result. This pattern is called the usual arithmetic conversions, which are defined as … Read more