Contents

def foo(x)
  x.is_a?(Integer) ? x : x
  1
end
foo(unknown)

__END__
# Errors
smoke/flow2.rb:5: [error] undefined method: Object#unknown

# Classes
class Object
  private
  def foo: (untyped x) -> Integer
end

Version data entries

11 entries across 11 versions & 1 rubygems

Version	Path
typeprof-0.20.0	smoke/flow2.rb
typeprof-0.15.3	smoke/flow2.rb
typeprof-0.15.2	smoke/flow2.rb
typeprof-0.15.1	smoke/flow2.rb
typeprof-0.15.0	smoke/flow2.rb
typeprof-0.14.1	smoke/flow2.rb
typeprof-0.14.0	smoke/flow2.rb
typeprof-0.13.0	smoke/flow2.rb
typeprof-0.12.0	smoke/flow2.rb
typeprof-0.11.0	smoke/flow2.rb
typeprof-0.10.0	smoke/flow2.rb