Inferência Literal

A Inferência Literal é um recurso do TypeScript que permite que o tipo de uma variável ou parâmetro seja inferido com base em seu valor.

No exemplo a seguir, podemos ver que o TypeScript considera x um tipo literal, pois o valor não pode ser alterado posteriormente, enquanto y é inferido como string, pois pode ser modificado posteriormente.

const x = 'x'; // Tipo literal de 'x', porque este valor não pode ser alterado
let y = 'y'; // Tipo string, pois podemos alterar este valor

No exemplo a seguir, podemos ver que o.x foi inferido como uma string (e não um literal de a), pois o TypeScript considera que o valor pode ser alterado posteriormente.

type X = 'a' | 'b';

let o = {
    x: 'a', // Esta é uma string mais ampla (wider string)
};

const fn = (x: X) => `${x}-foo`;

console.log(fn(o.x)); // Argument of type 'string' is not assignable to parameter of type 'X'

Como você pode observar, o código lança um erro ao passar o.x para fn, pois X é um tipo mais estreito (narrower).

Podemos resolver este problema usando asserção de tipo com const ou o tipo X:

let o = {
    x: 'a' as const,
};

ou:

let o = {
    x: 'a' as X,
};