JuniorТеорияЧасто

Что сообщит tsc об этой программе?

TypeScript

type Size = "S" | "M" | "L";

function order(size: Size) {
    console.log(size);
}

let mine = "M";
order(mine);

Ошибку: тип string не подходит к параметру типа Size

Ждать, что tsc промолчит, раз в mine лежит "M": let расширяет тип до string, а string к Size не подходит.
Ждать проверку типов при запуске: типы стираются, и JavaScript выведет M без всякой ошибки.

JuniorТеорияЧасто

TypeScript

type Size = "S" | "M" | "L";

function order(size: Size) {
    console.log(size);
}

let mine = "M";
order(mine);

Ошибку: тип string не подходит к параметру типа Size

Ждать, что tsc промолчит, раз в mine лежит "M": let расширяет тип до string, а string к Size не подходит.
Ждать проверку типов при запуске: типы стираются, и JavaScript выведет M без всякой ошибки.