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

1 entries across 1 versions & 1 rubygems

Version	Path
typeprof-0.8.0	smoke/rbs-tyvar7.rb