I have a library which has a mutable Jaro-Winkler implementation (mutable so as to be memory efficient).
I checked the generated assembly and I found the most bounds checks are not automatically elided. All the index access are valid and theoretically proven. So, I used
get_unchecked methods to fix this.
My question is that is there way to write the code to convey to compiler that the bounds are elide-able without unsafe.