My Kingdom For ...

[Janice Caron]

On 24/02/2008, Don Clugston <dac at nospam.com.au> wrote:
>  Would be better in the interim to not issue 'narrowing conversion' warnings at
>  all, when they are so hopelessly incorrect.

I think it would be better if widening type promotions were not done
where not necessary. That is, in general

    static assert(typeof(x op y) == CommonType!(typeof(x),typeof(y)));

That way, typeof(a | a) would be typeof(a), and if a was short, then
(a | a) would also be short.