# typed: true

class I; end
class S; end
class A
  extend T::Sig
  sig {params(x: I).void}
  sig {params(x: S).void}
  def my_method(x); end # error: against an overloaded signature
end

A.new.my_metho # error: does not exist
#             ^ completion: my_method
#             ^ apply-completion: [A] item: 0
