// *** before: ***
type Colors = "red" | "green" | "blue";
const palette: Record<Colors, string | [number, number, number]> = {
red: [255, 0, 0],
green: "#00ff00",
blue: [0, 0, 255],
};
//palette.red имеет тип string | [number, number, number] - без сужения до
//кортежа
// *** in version 4.9: ***
const paletteChecked = {
red: [255, 0, 0],
green: "#00ff00",
blue: [0, 0, 255],
} satisfies Record<Colors, string | [number, number, number]>;
//paletteChecked.red - именно [number, number, number], и ключи всё ещё
//проверены