typescript类型定义问题

Question

如何修改type B 以达到下面的预期，简单来说就是 T只接受 类型A中的一个值 而不是A的联合类型。

  type A = 'a' | 'b' | 'c'
  type B<T extends A> = { value: T }

  // 正确预期
  const b1: B<'a'> = { value: 'a' }
  const b2: B<'b'> = { value: 'b' }
  const b3: B<'c'> = { value: 'c' }

  // 错误预期
  const b4: B<'a' | 'b'> = { value: 'a' }
  const b5: B<'d'> = { value: 'd' }

Answer 1

搞这么复杂。。。不如重新设计一下更简单的代码。。。