Pick

export type User = {
  name: string;
  email: string;
  age: number;
};

export type UserPreview = Pick<User, "name">;

export const preview: UserPreview = {
  name: "Макс",
  // @ts-expect-error в превью должно быть только имя, без email
  email: "max@maxroslow.ru",
};

Pick<User, "name"> разворачивается в { name: string }. Поле email в этом типе не объявлено, поэтому строка ниже становится ошибкой лишнего свойства, и директива @ts-expect-error наконец делает свою работу.

Ключи это литеральные типы

Второй аргумент Pick это не строка в кавычках «просто так», а литеральный тип ключа. Несколько ключей перечисляются через union:

type Card = Pick<User, "name" | "age">; // { name: string; age: number }

И компилятор проверяет, что такие ключи вообще существуют:

type Broken = Pick<User, "phone">; // ошибка: "phone" не является ключом User

Именно поэтому опечатка в имени поля здесь ловится сразу, в отличие от ручного переписывания типа.

Как это устроено

type Pick<T, K extends keyof T> = {
  [P in K]: T

keyof User даёт union всех ключей ("name" | "email" | "age"), ограничение K extends keyof T не даёт передать несуществующий ключ, а дальше mapped type собирает объект из выбранных полей.

Pick или новый тип руками

Руками короче написать один раз, но производный тип живёт вместе с исходным: переименовали name в User, и Pick немедленно подсветит все места, где старый ключ ещё используется. Копия промолчит и разъедется с оригиналом.

Родственная утилита

Задача «взять всё, кроме перечисленного» решается через Omit, это следующее задание. Выбор между ними прагматичный: берёшь то, что короче и что лучше переживёт добавление новых полей в исходный тип.