Не проверяет тип при object spread?

Question

[Богдан]

Здравствуйте, а не подскажите, почему-то нет проверки тип, когда object spread. Должно выдать ошибку на наличия поля id которое подадет в EntityReturn с Entity.

interface Entity {
  id: string;
  filename: string;
}

type EntityReturn = {
  filename: string;
}

const entities: Entity[] = [{
    id: "1",
    filename: ""
}];

const views: EntityReturn[] = entities.map(
    (viewEntity: Entity): EntityReturn => ({
        ...viewEntity
    }),
);

Playground

Comments

[Aetae]

В ответах объяснили уже, добавлю только, что такая штука называется "структурная типизация".

Answer 1

[Alexandroppolus]

EntityReturn - более общий тип относительно Entity, поэтому в EntityReturn можно передавать объекты Entity.

Ошибку про лишнее поле будет показывать, если ты передаешь в EntityReturn литерал с лишними полями:

const entitie: EntityReturn = {
    id: "1",
    filename: ""
};

Answer 2

[Алексей Ярков]

Должно выдать ошибку на наличия поля id

Чего это ради? TS немного не так работает. Если своими словами объяснять, то как-то так:

interface ITestA {
  id: number
  name: string
}

interface ITestB {
  name: string
}

const test = {
  id: 1,
  name: "test"
};

Переменная test соответствует обоим интерфейсам, так как набор полей объекта test соответствует наиболее большому из них. Лишние поля TS ошибкой не считает. А вот если поля не хватает, то получим несоответствие интерфейсу.