Contents

class A
  # @implements X

  # !expects*@+2 MethodDefinitionWithOverloading: method=foo, types=
  # !expects MethodBodyTypeMismatch: method=foo, expected=(::Integer | ::String), actual=::Symbol
  def foo(x)
    :foobar
  end
end

class B
  # @implements X

  # @type method foo: (::String | ::Integer) -> any
  def foo(x)
    3
  end
end

class C
  # @implements X

  # @type method foo: (Symbol) -> Symbol

  # !expects IncompatibleMethodTypeAnnotation: interface_method=::X.foo, annotation_method=foo
  def foo(x)
    :foo
  end
end

Version data entries

16 entries across 16 versions & 1 rubygems

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