For example, the codice_5 method in the code above would be inferred as returning a codice_1 even if no return type annotation had been provided.
Например, метод codice_5 в приведенном выше коде будет выводить как возврат в codice_1, даже если бы не было предусмотрено никакого возврата типа в определении.