Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

steep check displays a RuntimeError on implicit to_proc syntax and untyped #290

Closed
pocke opened this issue Jan 1, 2021 · 0 comments · Fixed by #291
Closed

steep check displays a RuntimeError on implicit to_proc syntax and untyped #290

pocke opened this issue Jan 1, 2021 · 0 comments · Fixed by #291

Comments

@pocke
Copy link
Contributor

pocke commented Jan 1, 2021 •
edited
Loading

steep check displays a RuntimeError on implicit to_proc syntax (&) and untyped.

Step to reproduce

# test.rb

# @type var a: Array[untyped]
a = [1,2,3]
a.map { |x| x.inspect } # ok
a.map(&:inspect)        # UnexpectedError

# @type var b: Array[Integer]
b = [1,2,3]
b.map { |x| x.inspect } # ok
b.map(&:inspect)        # ok
# Steepfile
target :lib do
  check "test.rb"
end
$ steep check

[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)] Unexpected error in #type_send: Unexpected type for interface: untyped (RuntimeError)
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/ast/types/factory.rb:777:in `interface'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2085:in `block (2 levels) in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   <internal:kernel>:148:in `yield_self'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2078:in `block in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:649:in `synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:3109:in `try_method_type'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2712:in `block (4 levels) in type_method_call'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/typing.rb:206:in `new_child'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2711:in `block (3 levels) in type_method_call'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2710:in `map'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2710:in `block (2 levels) in type_method_call'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2707:in `block in type_method_call'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2706:in `each'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2706:in `flat_map'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2706:in `type_method_call'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2511:in `type_send_interface'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:2661:in `type_send'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:745:in `block (2 levels) in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   <internal:kernel>:148:in `yield_self'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:734:in `block in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:649:in `synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:659:in `block (3 levels) in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:658:in `each'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:658:in `inject'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:658:in `block (2 levels) in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   <internal:kernel>:148:in `yield_self'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:653:in `block in synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/type_construction.rb:649:in `synthesize'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/source_file.rb:83:in `type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/source_file.rb:95:in `block in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/source_file.rb:118:in `parse'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/source_file.rb:94:in `type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:227:in `block (2 levels) in run_type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:226:in `block in run_type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:225:in `each'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:225:in `run_type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:110:in `block (4 levels) in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep.rb:147:in `measure'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:109:in `block (3 levels) in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:182:in `load_signatures'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:108:in `block (2 levels) in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep.rb:147:in `measure'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:107:in `block in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/project/target.rb:106:in `type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/drivers/utils/driver_helper.rb:19:in `block (2 levels) in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `block in tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:37:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/activesupport-6.1.0/lib/active_support/tagged_logging.rb:99:in `tagged'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/drivers/utils/driver_helper.rb:18:in `block in type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/drivers/utils/driver_helper.rb:17:in `each'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/drivers/utils/driver_helper.rb:17:in `type_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/drivers/check.rb:27:in `run'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/cli.rb:91:in `process_check'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/lib/steep/cli.rb:50:in `run'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/lib/ruby/gems/3.1.0/gems/steep-0.39.0/exe/steep:11:in `<top (required)>'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/bin/steep:23:in `load'
[Steep 0.39.0] [target=lib] [target#type_check(target_sources: [test.rb], validate_signatures: true)] [path=test.rb] [synthesize:(2:1)] [synthesize:(4:1)]   /home/pocke/.rbenv/versions/trunk/bin/steep:23:in `<main>'
test.rb:6:0: UnexpectedError: RuntimeError
>> Unexpected type for interface: untyped
 (a.map(&:inspect))

Versions

$ steep --version
0.39.0
$ ruby -v
ruby 3.1.0dev (2020-12-31T22:55:59Z master 3d7f71801a) [x86_64-linux]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix error on implicit to_proc syntax when untyped is yielded pocke/steep
1 participant
@pocke