Sorbet会为标准库添加签名吗？

Question

我希望在编写这样的代码时，Sorbet会发出警告：

list = list.sort!

因为我期望Array#sort!的类型是void

Answer 1

是的，Sorbet确实包含了Ruby标准库的类型。例如，以下是sort! https://github.com/sorbet/sorbet/blob/119e937e9e3b03ec27308cd8874f482791d15864/rbi/core/array.rbi#L670-L677的类型批注

请注意，在Ruby中，sort!确实返回了一个值，并正确地对其进行了建模。