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.7.0	smoke/hello/hello.rb
steep-0.6.0	smoke/hello/hello.rb