{|…|}在javascript中是什么意思？

在阅读javascript代码库时，我遇到一个代码块

export type RouteReducerProps = {|
  error?: Error,
  isResolving: boolean,
  isResolved: boolean,
  hasFailed: boolean,
|};

---

这看起来像一个javascript对象文字定义，但我从未见过在花括号内有竖条的javascript对象文字。这些功能是什么？

此语法特定于javascript的静态类型检查器。它定义了，这是一个只有少数指定键有效的对象。在上面的示例中，只有键

'error'

，

'isResolving'

，

'isResolved'

，和

'hasFailed'

可以在对象

RouteReducerProps

上定义

事实也是如此。我在搜索

{|

或

{|…|}

时都没有找到它们。然后，我也没有找到我的问题。：/我认为这里有一个更大的问题，那就是如何在StackOverflow上搜索语法。