generated at
ジェネリクスが必要な例
問題を再現する最小限のコード
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"'

解決方法
ts
const f = <T extends X>(x: T): T => (x); const a: "A" = f("A"); // ok

ジェネリクス TypeScript
Using Type Parameters in Generic Constraints