我看到在现有的Ruby项目上设置RBS类型时出现了一些意想不到的行为。一个最小的例子：

# lib/a.rb
class A
  def self.foo
    new
  end
end

class B < A
  def self.foo
    super
  end
end

puts A.foo.inspect
puts B.foo.inspect

输出

#<A:0x000055f7cfb03908>
#<B:0x000055f7cfb037f0>

签名

# lib/a.rbs
class A
  def self.foo: () -> A
end

class B < A
  def self.foo: () -> B
end

但是陡峭的类型检查器给我错误

lib/a.rb:8:11: [error] Cannot allow method body have type `::A` because declared as type `::B`
│   ::A <: ::B
│     ::Object <: ::B
│       ::BasicObject <: ::B
│
│ Diagnostic ID: Ruby::MethodBodyTypeMismatch
│
└   def self.foo
             ~~~

这是一个陡峭的问题，还是（更有可能）我对Ruby类型语法的理解有问题？