Hovering on method called on union type shows effective type of method twice

[jez]

Input

→ View on sorbet.run

# typed: true
extend T::Sig

class A
  extend T::Sig

  # Docs for A#foo
  sig {returns(String)}
  def foo; ''; end
end

class B
  extend T::Sig

  # Docs for B#foo
  sig {returns(Integer)}
  def foo; 0; end
end

sig {params(x: T.any(A, B)).void}
def example(x)
  x.foo
  # ^ hover here
  # it shows the method def twice
end

Observed output

No errors! Great job.

Expected behavior

It should either:

• show two defs, one for each method, or ideally:
• one def with the effective type.

---