Docblock 发出错误,表示源代码无效

正如 这里 和 这里 所报告的，docblock 中的不匹配可能会导致错误，而实际源代码中不会出现此类错误。对于 Carbon 而言，此问题已经被修复，可以在链接的 PR 中查看。然而，我想提出一个问题，即是否容易或值得避免这种情况首先出现错误。我的理由如下：docblock 在很大程度上有助于描述实际代码无法描述的内容（例如 string[]）。然而，如果 docblock 以一种方式描述签名，而代码以另一种方式描述，那么使用实际代码描述签名的方式似乎不是一个有效的错误，至少在初步看来。是不是应该将 docblock 错误抑制掉，因为接口明确允许以这种方式使用它？