Да, элиминирует. Круто
УПД: элиминирует не то, что на предыдущем скрине. Оно поняло только проверку на 16й строке, про аппенды оно ничего не говорит. Скорее всего, не раздуплило
Post #554
237
Чайник из Юты Интересно, а анализатор вот такую штуку в прологе функции поймёт и элиминирует баундчеки?
