Contents

# @type var foo: Foo
foo = (_ = nil)

# @type var integer: Integer

# Foo#f returns String because overridden
# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
integer = foo.f()

# String#f returns Object because Object(X)#f is used
# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::Object
integer = "".f()

Version data entries

48 entries across 48 versions & 1 rubygems

Version	Path
steep-0.19.0	smoke/extension/b.rb
steep-0.18.0	smoke/extension/b.rb
steep-0.17.1	smoke/extension/b.rb
steep-0.17.0	smoke/extension/b.rb
steep-0.16.3	smoke/extension/b.rb
steep-0.16.2	smoke/extension/b.rb
steep-0.16.1	smoke/extension/b.rb
steep-0.16.0	smoke/extension/b.rb
steep-0.15.0	smoke/extension/b.rb
steep-0.14.0	smoke/extension/b.rb
steep-0.13.0	smoke/extension/b.rb
steep-0.12.0	smoke/extension/b.rb
steep-0.11.1	smoke/extension/b.rb
steep-0.11.0	smoke/extension/b.rb
steep-0.10.0	smoke/extension/b.rb
steep-0.9.0	smoke/extension/b.rb
steep-0.8.2	smoke/extension/b.rb
steep-0.8.1	smoke/extension/b.rb
steep-0.8.0	smoke/extension/b.rb
steep-0.7.1	smoke/extension/b.rb