Параметры функции

export function greet(name: string) {
  return "Привет, " + name;
}

export const message = greet("Макс");

Тест проверяет тип первого параметра через expectTypeOf(greet).parameter(0), и теперь это string.

Что изменилось для вызывающего кода

greet("Макс"); // ок
greet(42);     // ошибка: Argument of type 'number' is not assignable to 'string'
greet();       // ошибка: Expected 1 arguments, but got 0

Пока стоял неявный any, все три вызова компилировались одинаково успешно, а падало бы уже в рантайме или, что хуже, не падало вовсе: "Привет, " + 42 даёт вполне валидную строку "Привет, 42", просто бессмысленную.

Возвращаемый тип писать не обязательно

Обрати внимание, что после ) ничего не добавлено. Тип результата TypeScript выводит сам:

function greet(name: string) {
  return "Привет, " + name; // выводится string
}

Поэтому и message получает тип string без единой аннотации. Явно указывать возвращаемый тип имеет смысл, когда хочется зафиксировать контракт функции и ловить ошибку в самой функции, а не в месте вызова. Про это следующее задание.

Правило по умолчанию

Аннотируй входы, доверяй выводу на выходах. Параметры функций и публичные границы модуля размечай явно, а локальные переменные оставляй компилятору: лишние аннотации только шумят.