Contents

def foo
  bar = Bar.new(1)
  bar.set(["str"]) # TODO: This should update Bar[Integer] to Bar[Integer | String]
  bar
end

__END__
# Classes
class Object
  private
  def foo: -> Bar[Integer]
end

Version data entries

14 entries across 14 versions & 1 rubygems

Version	Path
typeprof-0.20.0	smoke/rbs-tyvar7.rb
typeprof-0.15.3	smoke/rbs-tyvar7.rb
typeprof-0.15.2	smoke/rbs-tyvar7.rb
typeprof-0.15.1	smoke/rbs-tyvar7.rb
typeprof-0.15.0	smoke/rbs-tyvar7.rb
typeprof-0.14.1	smoke/rbs-tyvar7.rb
typeprof-0.14.0	smoke/rbs-tyvar7.rb
typeprof-0.13.0	smoke/rbs-tyvar7.rb
typeprof-0.12.0	smoke/rbs-tyvar7.rb
typeprof-0.11.0	smoke/rbs-tyvar7.rb
typeprof-0.10.0	smoke/rbs-tyvar7.rb
typeprof-0.9.2	smoke/rbs-tyvar7.rb
typeprof-0.9.1	smoke/rbs-tyvar7.rb
typeprof-0.9.0	smoke/rbs-tyvar7.rb