либо уберут оптимизацию, либо скажут что какой-нибудь код записи/чтения из массива/спана генерит много таких паттернов и если убрать оптимизацию то будет регресс
Оптимизацию можно оставить для случаев, когда известно, что указатель ненулевой. Вероятно, таких случаев супер много, и в горячем коде на массивах в том числе все такие.