我正在尝试理解satisfies运算符。
让我们看一下下面的示例
我不明白为什么会这样，以及应该如何处理有什么见解吗？

type AA = 'blue' | 'red'
  type YOLO = {
      a: string,
      b: AA
  }
  type KYOLO = {
       a: string,
      b: AA,
      key: number
  }

  const tttt= {
      a: 'rr',
      b: 'blue',
      key: 2
  } satisfies KYOLO

返回如下错误

'KYOLO' is not satisfied '{ a: string; b: string; key: number; }'(1360)
type KYOLO = {
    a: string;
    b: AA;
    key: number;
}

我希望能像现在这样工作