El tipo de retorno declarado entra en conflicto con una cola terminada

Una función declara `-> T`, pero un `;` después de su expresión final suprime ese valor, así que el cuerpo concluye `void` en lugar de un `T`. A menos que otro `return expr` proporcione el valor, la función nunca puede satisfacer su propia firma.