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.39.0	smoke/extension/b.rb
steep-0.38.0	smoke/extension/b.rb
steep-0.37.0	smoke/extension/b.rb
steep-0.36.0	smoke/extension/b.rb
steep-0.35.0	smoke/extension/b.rb
steep-0.34.0	smoke/extension/b.rb
steep-0.33.0	smoke/extension/b.rb
steep-0.32.0	smoke/extension/b.rb
steep-0.31.1	smoke/extension/b.rb
steep-0.31.0	smoke/extension/b.rb
steep-0.30.0	smoke/extension/b.rb
steep-0.29.0	smoke/extension/b.rb
steep-0.28.0	smoke/extension/b.rb
steep-0.27.0	smoke/extension/b.rb
steep-0.25.0	smoke/extension/b.rb
steep-0.24.0	smoke/extension/b.rb
steep-0.23.0	smoke/extension/b.rb
steep-0.22.0	smoke/extension/b.rb
steep-0.21.0	smoke/extension/b.rb
steep-0.20.0	smoke/extension/b.rb