OT (partially): about promotion of integers

[Timon Gehr]

On 12/13/2012 04:54 AM, Walter Bright wrote:
> On 12/12/2012 5:16 PM, Timon Gehr wrote:
>> On 12/13/2012 12:43 AM, Walter Bright wrote:
>>> On 12/12/2012 3:23 PM, Timon Gehr wrote:
>>>> It is somewhat similar to (the still quite broken) 'pure' in D,
>>>
>>> Broken how?
>>>
>>
>> - There is no way to specify that a delegate is strongly pure without
>> resorting
>> to type deduction, because
>
> Are these in bugzilla?
>

Now they certainly are.

http://d.puremagic.com/issues/show_bug.cgi?id=9148

The following you can close if you think 'const' should not guarantee no 
mutation. It does not break other parts of the type system:
http://d.puremagic.com/issues/show_bug.cgi?id=9149