Contents

# This method call invokes (bottom type).boo, so the analysis may terminate
# Currently, SymbolBlock translates bot receiver to any type
[].each(&:boo)

def foo
end

__END__
# Classes
class Object
  private
  def foo: -> nil
end

Version data entries

14 entries across 14 versions & 1 rubygems

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