Contents

# @type var x: _Foo
# @type var y: _Bar

x = (_ = nil)
y = (_ = nil)

a = x.foo

# !expects NoMethodError: type=::_Bar, method=foo
b = y.foo

# !expects IncompatibleAssignment: lhs_type=::_Foo, rhs_type=::_Bar
x = y

Version data entries

42 entries across 42 versions & 1 rubygems

Version	Path
steep-0.39.0	smoke/hello/hello.rb
steep-0.38.0	smoke/hello/hello.rb
steep-0.37.0	smoke/hello/hello.rb
steep-0.36.0	smoke/hello/hello.rb
steep-0.35.0	smoke/hello/hello.rb
steep-0.34.0	smoke/hello/hello.rb
steep-0.33.0	smoke/hello/hello.rb
steep-0.32.0	smoke/hello/hello.rb
steep-0.31.1	smoke/hello/hello.rb
steep-0.31.0	smoke/hello/hello.rb
steep-0.30.0	smoke/hello/hello.rb
steep-0.29.0	smoke/hello/hello.rb
steep-0.28.0	smoke/hello/hello.rb
steep-0.27.0	smoke/hello/hello.rb
steep-0.25.0	smoke/hello/hello.rb
steep-0.24.0	smoke/hello/hello.rb
steep-0.23.0	smoke/hello/hello.rb
steep-0.22.0	smoke/hello/hello.rb
steep-0.21.0	smoke/hello/hello.rb
steep-0.20.0	smoke/hello/hello.rb