没有针对PHP函数的Hack typechecker覆盖

Question

我在Hack中编写了相当多的代码，但是typechecker设法让我感到惊讶。

例如，IDE抱怨这两行：

• https://github.com/ubbs/hack-lib-net/blob/master/src/IPv4Address.php#L30
• https://github.com/ubbs/hack-lib-net/blob/master/src/AbstractIPAddress.php#L93

第一个清楚地使用字符串数组，第二个清楚地返回一个整数。然而，Nuclide IDE给我留下了这个非常无益的错误信息：

“取消选中已检查的代码。请考虑添加注释。”

这是typechecker中的错误/缺失功能还是我做错了什么？