Почему typescript не ругается на возвращаемое значение колбека и как это поправить?

Question

[igoryusha22]

ts playground

interface Animal {
    name: string;
}

type Callback = (v: Animal) => Animal;

const mutate = (animal: Animal, cb: Callback) => {
    cb(animal);
};

mutate({ name: 'Reb' }, () => {
    return {
        name: 'Oooops',
        
        a: 1232131, // ожидается ошибка, но её нет
    }
});

Comments

[WbICHA]

Постоянно забываю как это называется... Короче, суть в том, что если передаваемый тип более общий, чем ожидаемый, то это валидный тип.

[WbICHA]

Если хочешь получить ошибку, то придётся вручную прописать:
():Animal => {

[igoryusha22]

WbICHA, а менее костыльные варианты есть? А можно конкретнее, какой термин ts тут импользует?

[WbICHA]

1thater,

а менее костыльные варианты есть?

Это и не костыль. Такая логика заложена в сам тс.

А можно конкретнее, какой термин ts тут импользует?

Если я помнил, как он называется, я бы написал сразу.

[RAX7]

1thater, ковариантность/контравариантность

Answer 1

[Дмитрий Беляев]

https://github.com/Microsoft/TypeScript/wiki/FAQ#w...
https://www.typescriptlang.org/docs/handbook/type-...