On Wednesday, October 12, 2016 at 9:40:27 PM UTC-4, Steven G. Johnson wrote:
>
>
>
> On Wednesday, October 12, 2016 at 9:26:54 PM UTC-4, Stefan Karpinski wrote:
>>
>> That's a fair point. It seems like it could/should be handled by the same 
>> (not-yet-implemented) mechanism that ensures that `convert(T,x)::T` is 
>> true. Of course, we could choose to enforce this fact via lowering in this 
>> case, independent of enforcing it for convert.
>>
>
Update: this was a bug that occurred for small, inlined functions.   Now 
fixed, and will be fixed in the next 0.5.x release: 
https://github.com/JuliaLang/julia/pull/18899 

Reply via email to