Тип возврата

export function getAge(): number {
  return 25;
}

export const age = getAge();

Тестов здесь два, и они проверяют разное: один сравнивает тип результата с number, второй убеждается, что getAge() действительно возвращает 25. Второй тест не даст «починить» ошибку, поменяв return 25 на return "25".

Что даёт явная аннотация

Ошибка появляется в правильном месте. Без неё тип выводится из return, и функция всегда «права»:

function getAge() {
  return "25"; // тип выводится как string, ошибки нет
}

const age = getAge();
const

С аннотацией : number опечатка подсвечивается прямо в теле функции.

Где это особенно полезно

• В функциях с несколькими return: аннотация не даст одной ветке вернуть не то, что остальные.
• В асинхронных функциях: async function load(): Promise<User> фиксирует, что именно окажется внутри промиса.
• На границах модуля: экспортируемая функция это контракт, и его лучше записать явно.

Внутри маленьких локальных функций аннотацию обычно опускают, вывод справляется сам.

Побочный эффект для age

Теперь age тоже имеет тип number, потому что тип константы выводится из результата вызова. Вся цепочка стала честной: сигнатура совпадает с телом, а тип значения совпадает с тем, что реально придёт в рантайме.