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: