TS2344: тип, выведенный из свойства универсального аргумента, «не удовлетворяет ограничению», хотя тип работает нормально?

Изменить. Было отмечено, что исходный код работал в TS 4.7 и технически работает в TS 4.8, поэтому, хотя ответ ниже дает решение, он не касается этого конкретного синтаксиса.

interface WorkOrder<TWorkshop extends Workshop<TWorkshop["vehicleType"]>>

Вы пытаетесь использовать TWorkshop для ограничения TWorkshop, что является циклическим и, насколько мне известно, невозможно. Я подозреваю, что TS не выдает здесь хорошее сообщение об ошибке.

Мастерская инвариантна — она использует TVehicle в обычной позиции, где разрешен подкласс TVehicle, но не суперкласс. Он также использует TVehicle в качестве аргумента обратного вызова — аргумент функции должен быть таким же или более широким, как указанный тип — он может быть суперклассом, но не подклассом. Эти два требования означают, что Workshop<A> можно назначить только Workshop<A>. Обычно в такой ситуации ограничением будет TWorkshop extends Workshop<Vehicle>, но из-за инвариантности это не позволяет нам использовать TWorkshop<Boat> и бесполезно для нас.

Грубый ответ на инвариантные дженерики — просто использовать TWorkshop extends Workshop<any>, но это вводит в нашу систему нежелательный тип any. (В некоторых ситуациях это, вероятно, безвредно, например, const foo = x satisfies Y<any>, здесь any используется только при проверке на соответствие и не попадает в типы наших значений.)

Вместо этого мы можем просто сделать TVehicle extends Vehicle нашим общим типом для WorkOrder. В данном примере это тривиально, но даже если бы нам понадобился Workshop, мы могли бы создать подходящий тип мастерской с помощью Workshop<TVehicle>.

interface Vehicle {}
interface Airplane extends Vehicle {
  number: number;
}
interface Boat extends Vehicle {
  color: string;
}
interface Workshop<TVehicle extends Vehicle = Vehicle> {
  vehicleType: TVehicle;
  repair: (vehicle: TVehicle) => WorkOrder<TVehicle>;
}
interface WorkOrder<TVehicle extends Vehicle> {
  vehicle: TVehicle;
  // workshop: Workshop<TVehicle>; // for example
}

const orderA: WorkOrder<Airplane> = {
  vehicle: {
    number: 123,
  },
};

const orderB: WorkOrder<Boat> = {
  vehicle: {
    color: "blue",
  },
};

const orderC: WorkOrder<Airplane> = {
  vehicle: {
    color: "blue",
  },
};

type WorkshopAirplane = Workshop<Airplane>
// we can get the Vehicle type from a Workshop type too
const orderD: WorkOrder<WorkshopAirplane['vehicleType']> = {
  vehicle: {
    number: 123,
  },
};

Ссылка на игровую площадку TS

Это похоже на ту же проблему, о которой сообщалось в microsoft/TypeScript#49490 , вызванную изменением microsoft/TypeScript#49119 , выпущенным в TypeScript 4.8 для улучшения сокращения типов пересечений . Неясно, считается ли это ошибкой, ограничением дизайна или работает так, как задумано. Ваше общее ограничение является циклическим, и поэтому вы не можете ожидать, что такие вещи будут работать так, как хотелось бы.

Это ответ на заданный вопрос. Но, вероятно, вы также хотите знать, как это исправить.

Вы можете заставить TypeScript увидеть, что ваш аргумент типа соответствует ограничению Vehicle, пересекая его с Vehicle:

interface WorkOrder<TWorkshop extends Workshop<TWorkshop["vehicleType"] & Vehicle>> {
  vehicle: TWorkshop["vehicleType"];
}

Или вы можете просто использовать любой тип, чтобы сказать TS не волноваться... поскольку ограничение, которое вы применяете, не особенно полезно (конечно TWorkshop extends Workshop<TWorkshop["vehicleType"]>, это более или менее тавтология, поэтому вы не теряете во многом ослабив это до any):

interface WorkOrder<TWorkshop extends Workshop<any>> {
  vehicle: TWorkshop["vehicleType"];
}

На самом деле, я бы почти наверняка использовал здесь any на практике, чтобы избежать цикличности и показать, что меня действительно не волнует, что там происходит, кроме своего рода Workshop. Я бы даже не подумал о попытке изобразить круговое самоограничение, если бы any не имело какого-нибудь действительно негативного побочного эффекта.

Детская площадка, ссылка на код