It sounds like Hare has a philosophy around safety here and it's just not documented - at least not where I could find it, scrolling around a bit. I did find t

It sounds like Hare has a philosophy around safety here and it's just not documented - at least not where I could find it, scrolling around a bit. I did find this page, though: https://harelang.org/blog/2021-02-09-hare-advances-on-c/ https://harelang.org/blog/2021-02-09-hare-advances-on-c/ Which I found very interesting.