Inferensi Literal

Inferensi Literal adalah fitur dalam TypeScript yang memungkinkan tipe suatu variabel atau parameter diinferensi berdasarkan nilainya.

Dalam contoh berikut, kita dapat melihat bahwa TypeScript menganggap x sebagai tipe literal karena nilainya tidak dapat diubah di kemudian hari, sedangkan y diinferensi sebagai string karena dapat diubah di kemudian hari.

const x = 'x'; // Literal type of 'x', because this value cannot be changed
let y = 'y'; // Type string, as we can change this value

Dalam contoh berikut, kita dapat melihat bahwa o.x diinferensi sebagai string (dan bukan literal a) karena TypeScript menganggap nilainya dapat diubah di kemudian hari.

type X = 'a' | 'b';

let o = {
    x: 'a', // This is a 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'

Seperti yang dapat Anda lihat, kode tersebut menghasilkan error saat meneruskan o.x ke fn karena X merupakan tipe yang lebih sempit.

Kita dapat mengatasi masalah ini dengan menggunakan type assertion dengan const atau tipe X:

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

atau:

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