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.

Reply via email to