> I thought this was checked in SPARK code, but I could be wrong I believe that's correct, see my other comment. [0] Does still feel a bit ugly though. [0] ht

> I thought this was checked in SPARK code, but I could be wrong I believe that's correct, see my other comment. [0] Does still feel a bit ugly though. [0] https://news.ycombinator.com/item?id=29768848 https://news.ycombinator.com/item?id=29768848