This is based on the static types of codice_7 and codice_8 being codice_9, and the compiler's knowledge that the result of adding two codice_9 is always a codice_1.
Это основано на статических типах codice_7 и codice_8 codice_9 и познаниях компилятора о том, что результат сложения двух codice_9 всегда codice_1.