{} 类型的流泛型与 {} 的默认值不兼容

Question

Flow 报告默认参数值 {} 与类型为 {} 的泛型不兼容。
这是一个最小的例子：

function copy<T: {}>(o: T = {}): T {
  //                         ^ object literal [1] is incompatible with `T` [2].
  return {
    ...o
  };
}

docs 表示{} 类型：

有时编写接受任意对象的类型很有用， 对于那些你应该写{}的人。

那么它们在什么意义上是不相容的？

Answer 1

T: {} 表示“T 是{} 的任何子类型”，或者换句话说，T 是一个对象类型。如果它具有任何必需的属性，则{} 不是T 类型的值。