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.19.0	smoke/hello/hello.rb
steep-0.18.0	smoke/hello/hello.rb
steep-0.17.1	smoke/hello/hello.rb
steep-0.17.0	smoke/hello/hello.rb
steep-0.16.3	smoke/hello/hello.rb
steep-0.16.2	smoke/hello/hello.rb
steep-0.16.1	smoke/hello/hello.rb
steep-0.16.0	smoke/hello/hello.rb
steep-0.15.0	smoke/hello/hello.rb
steep-0.14.0	smoke/hello/hello.rb
steep-0.13.0	smoke/hello/hello.rb
steep-0.12.0	smoke/hello/hello.rb
steep-0.11.1	smoke/hello/hello.rb
steep-0.11.0	smoke/hello/hello.rb
steep-0.10.0	smoke/hello/hello.rb
steep-0.9.0	smoke/hello/hello.rb
steep-0.8.2	smoke/hello/hello.rb
steep-0.8.1	smoke/hello/hello.rb
steep-0.8.0	smoke/hello/hello.rb
steep-0.7.1	smoke/hello/hello.rb