流量交集类型与$ Diff＆lt;＆gt;不兼容

Question

鉴于此流式JS文件，最后一行错误，但倒数第二行很好。 A & B的类型不应与A & B & C和C的差异相同吗？

/* @flow */

type A = {
  a: true,
};
type B = {
  b: true,
};
type C = {
  c: true,
};

const diff1: $Diff<A & B & C, C> = {a: true, b: true};

// error with incompatible types
const diff2: $Diff<A & B & C, C> = ({a: true, b: true} : A & B);