ZOLO / TE143 Tipos · erro
Tipo de retorno declarado conflita com uma cauda terminada
Uma função declara `-> T`, mas um `;` depois de sua expressão final suprime esse valor, então o corpo conclui `void` em vez de um `T`. A menos que outro `return expr` forneça o valor, a função nunca consegue satisfazer a própria assinatura.
A explicação detalhada ainda não está disponível em português. O resumo localizado acima continua sendo a referência oficial.
Ler a explicação completa em inglês