找出Flow不兼容的通用约束错误

Question

我有一个fork库中的一个KaTeX，该库正在使用Flow进行类型检查。就测试而言，我的实际更改已正常运行，但Flow给了我这个错误：

Error ┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈ src/domTree.js:190:19

VirtualNode [1] is incompatible with ChildType [1].

     187│  * otherwise. This typesafety is important when HTML builders access a span's
     188│  * children.
     189│  */
 [1] 190│ export class Span<ChildType: VirtualNode> implements HtmlDomNode {
     191│     children: ChildType[];
     192│     attributes: {[string]: string};
     193│     classes: string[];

我是Flow的新手，所以该消息对我无济于事，因为它没有帮助我理解为什么。据我所知，children字段已被使用（ChildType的唯一用法），我们仅调用VirtualNode上定义的方法：

export interface VirtualNode {
    toNode(): Node;
    toMarkup(): string;
}

此消息还想告诉我吗？有什么方法可以让Flow打印有关此问题的更多信息？

我不希望有人来帮我解决这个问题，因为这需要通过KaTeX源进行戳（并且我不确定如何提取可再现的示例，因为我不太确定发生了什么），但是如果有人对如何更好地理解此消息有提示，将大有帮助。