Na linguagem Kotlin, a inferência de tipo permite ao compilador determinar automaticamente o tipo de uma variável com base no valor atribuído, dispensando declarações explícitas. Isso simplifica o código, tornando-o mais conciso e legível, sem comprometer a segurança da tipagem estática. Essa funcionalidade também facilita a manutenção, pois permite ajustes no código sem a necessidade de modificações extensas, reduzindo erros e aumentando a eficiência do desenvolvimento.

Assinale a alternativa correta sobre o papel da inferência de tipo em Kotlin: