[Issue 17417] Deprecate signed integer promotions in bitwise operations

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17417

anonymous4 <dfj1esp02 at sneakemail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|WONTFIX                     |---

--- Comment #6 from anonymous4 <dfj1esp02 at sneakemail.com> ---
The issue is not about VRP. Integer promotions don't require casts and happen
without casts (basically inadvertently).
Example: if we have two 16-bit values and want to combine them into a 32-bit
value:
uint v=(s1<<16)|s2;

VRP has nothing to do here.

--