Contents

class A
  # @type instance: A
  # @type module: A.class

  # A#foo is defined and the implementation is compatible.
  def foo(x)
    x
  end

  # A#bar is defined but the implementation is incompatible.
  # !expects MethodArityMismatch: method=bar
  def bar(y)
    y
  end

  # Object#to_s is defined but the implementation is incompatible.
  # !expects MethodBodyTypeMismatch: method=to_s, expected=::String, actual=::Integer
  def to_s
    3
  end

  # No method definition given via signature, there is no type error.
  def to_str
    5
  end

  # !expects MethodBodyTypeMismatch: method=self.baz, expected=::Integer, actual=::String
  def self.baz
    "baz"
  end
end

Version data entries

16 entries across 16 versions & 1 rubygems

Version	Path
steep-0.11.1	smoke/class/a.rb
steep-0.11.0	smoke/class/a.rb
steep-0.10.0	smoke/class/a.rb
steep-0.9.0	smoke/class/a.rb
steep-0.8.2	smoke/class/a.rb
steep-0.8.1	smoke/class/a.rb
steep-0.8.0	smoke/class/a.rb
steep-0.7.1	smoke/class/a.rb
steep-0.7.0	smoke/class/a.rb
steep-0.6.0	smoke/class/a.rb
steep-0.5.1	smoke/class/a.rb
steep-0.5.0	smoke/class/a.rb
steep-0.4.0	smoke/class/a.rb
steep-0.3.0	smoke/class/a.rb
steep-0.2.0	smoke/class/a.rb
steep-0.1.0	smoke/class/a.rb