modulus redux

[Andrei Alexandrescu]

TomD wrote:
> Andrei Alexandrescu Wrote:
> 
> [...]
>> The  multiplicative expressions  are multiplication  (\ccbox{a  * b}),
>> division  (\ccbox{a  / b}),  and  remainder  (\ccbox{a  \% b}).   They
>> operate  on numeric types  only. The  result type  of either  of these
>> operations   is  same  as   the  type   of  \ccbox{true   ?  a   :  b}
>> (see~\S~\ref{sec:conditional-operator}).
> 
> Isn't (true?a:b) always (a)?

Yes, but the type of the expression may be different from the type of a.

Andrei