ジェネリクスが必要な例

問題を再現する最小限のコード

code:ts

type X = "A" | "B";

const f = (x: X): X => (x);

const a: "A" = f("A"); // error

エラー

Type 'X' is not assignable to type '"A"'.

Type '"B"' is not assignable to type '"A"'

解決方法

code:ts

const f = <T extends X>(x: T): T => (x);

const a: "A" = f("A"); // ok