1 matches bool, 2 matches long

Maxim Fomin maxim at maxim-fomin.ru
Fri Apr 26 00:03:52 PDT 2013


On Friday, 26 April 2013 at 02:13:03 UTC, Ali Çehreli wrote:
> On 04/25/2013 06:44 PM, Maxim Fomin wrote:
>
> > On Thursday, 25 April 2013 at 21:05:43 UTC, Ali Çehreli wrote:
>
> > Looks like value range propagation bug because 1 is integer
> literal and
> > should be converted to long. There is no way for 1 to be
> converted to
> > bool here
>
> That special conversion rule of literal 0 and literal 1 being 
> implicitly convertible to false and true gets in the way.
>
> > (from TDPL long is below int and it is the shortest way, value
> > range propagation can work upwards, but the path would be
> longer).
> Ali

Sorry but I am not aware of how 1 is converted to bool here.
True, that 1 is convertible to true, but here there is function
with long parameter.


More information about the Digitalmars-d mailing list