Что такое bounds check elimination?

Go проверяет границы массивов/слайсов при каждом доступе — это безопасно, но стоит CPU. Компилятор умеет убирать проверки если может доказать что индекс в пределах: например, после if i < len(s). Паттерн _ = s[n-1] в начале функции "подсказывает" компилятору, что последующие доступы s[0]..s[n-1] безопасны.