流中的递归类型定义

我尝试使用flow 0.53.1。你能帮我解释一下这种奇怪的行为吗?

此代码示例:

/* @flow */

type AnySupportedType =
  | AnySupportedPrimitive
  | AnySupportedObject
  | AnySupportedArray;
type AnySupportedArray = Array<AnySupportedType>;
type AnySupportedObject = { [string]: AnySupportedType };
type AnySupportedPrimitive = boolean | number | string | void;

type DataID = string
type Data = {
  id: DataID
}

const y: Data = { id: "123" }
const x: AnySupportedType = y;

17: const x: AnySupportedType = y;
                                ^ object type. This type is incompatible with
17: const x: AnySupportedType = y;
             ^ union: AnySupportedPrimitive | AnySupportedObject | AnySupportedArray

Link 流动。org基于web的示例。