o processo de autoboxing converte automaticamente tipos primitivos para suas classes correspondentes.

“Integer” é apenas um apelido para o tipo “int”, assim, as variáveis “x” e “y” correspondem ao mesmo tipo.

o código provavelmente não deve fazer uso da variável “x”, tornando sua avaliação desnecessária pelo processo de compilação.

variáveis do tipo “Integer” podem ser inicializadas fazendo uso de seus tipos primitivos correspondentes, no entanto, esse código resultaria em erro se um novo valor do tipo “int” fosse atribuído à variável “x” após a sua inicialização.

durante o processo de compilação, todas as variáveis são convertidas para o tipo “String”, o que torna as variáveis “x” e “y” compatíveis entre si.