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

Unexpected error with anonymous arguments forwarding #1273

Open
pvcresin opened this issue Oct 9, 2024 · 0 comments · May be fixed by #1369
Open

Unexpected error with anonymous arguments forwarding #1273

pvcresin opened this issue Oct 9, 2024 · 0 comments · May be fixed by #1369

Comments

@pvcresin
Copy link

pvcresin commented Oct 9, 2024 •
edited
Loading

I found unexpected error pattern. Might be related to

Repro

  • Ruby version: ruby 3.3.3 (2024-06-12 revision f1c7b6f435) [arm64-darwin23]
  • Steep version: 1.8.1
# sample.rbs
class Sample
end
# sample.rb
class Sample
  def args_only(*)
    p(*)
  end

  def kwargs_only(**)
    p(**)
  end

  def block_only(&)
    ["block"].each(&)
  end

  def foo(*, **, &)
    args_only(*)
    kwargs_only(**)
    block_only(&)
  end
end

Sample.new.foo(1, a: 1) { |t| p t }
$ ruby lib/sample.rb
1
{:a=>1}
"block"
$ bundle exec steep check 
$ bundle exec steep check
# Type checking files:

.............................................2024-10-09 15:14:38.113: FATAL: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)] Unexpected error: RuntimeError
..2024-10-09 15:14:38.128: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:5033:in `block in type_hash'
....2024-10-09 15:14:38.135: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:5013:in `each'
.2024-10-09 15:14:38.139: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:5013:in `type_hash'
..2024-10-09 15:14:38.140: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:1432:in `block in synthesize'
2024-10-09 15:14:38.142: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.144: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.145: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
2024-10-09 15:14:38.145: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:696:in `synthesize'
2024-10-09 15:14:38.146: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2646:in `check'
2024-10-09 15:14:38.147: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:4291:in `type_check_argument'
..2024-10-09 15:14:38.148: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3703:in `block in type_check_args'
2024-10-09 15:14:38.154: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_inference/send_args.rb:581:in `block in each'
2024-10-09 15:14:38.156: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   <internal:kernel>:90:in `tap'
.2024-10-09 15:14:38.157: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_inference/send_args.rb:579:in `each'
.2024-10-09 15:14:38.159: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3700:in `type_check_args'
2024-10-09 15:14:38.160: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3924:in `block in try_method_type'
..2024-10-09 15:14:38.162: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/subtyping/check.rb:53:in `push_variable_bounds'
2024-10-09 15:14:38.164: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3916:in `try_method_type'
...2024-10-09 15:14:38.165: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3569:in `block (3 levels) in type_method_call'
2024-10-09 15:14:38.167: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/typing.rb:292:in `new_child'
.2024-10-09 15:14:38.168: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3557:in `block (2 levels) in type_method_call'
.2024-10-09 15:14:38.169: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
.2024-10-09 15:14:38.171: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
.2024-10-09 15:14:38.173: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
.2024-10-09 15:14:38.174: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3556:in `block in type_method_call'
2024-10-09 15:14:38.174: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3555:in `each'
2024-10-09 15:14:38.175: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3555:in `type_method_call'
2024-10-09 15:14:38.176: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3187:in `type_send_interface'
.2024-10-09 15:14:38.177: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3401:in `type_send'
.2024-10-09 15:14:38.178: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2660:in `synthesize_sendish'
..2024-10-09 15:14:38.181: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2616:in `block in synthesize'
.2024-10-09 15:14:38.184: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.185: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.186: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
.2024-10-09 15:14:38.187: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:696:in `synthesize'
..2024-10-09 15:14:38.188: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2646:in `check'
2024-10-09 15:14:38.189: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:966:in `block (3 levels) in synthesize'
.2024-10-09 15:14:38.190: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:280:in `block in with_method_constr'
2024-10-09 15:14:38.191: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/subtyping/check.rb:53:in `push_variable_bounds'
.2024-10-09 15:14:38.192: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:279:in `with_method_constr'
..2024-10-09 15:14:38.192: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:940:in `block (2 levels) in synthesize'
2024-10-09 15:14:38.194: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(6:3)] [synthesize:(7:5)] [[T < ::_Inspect] (T) -> T] [synthesize:(7:7)]   <internal:kernel>:148:in `yield_self'


Some parts are omitted because they are too long.


2024-10-09 15:14:38.277: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:700:in `block in synthesize'
2024-10-09 15:14:38.277: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.278: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.279: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
2024-10-09 15:14:38.279: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:696:in `synthesize'
2024-10-09 15:14:38.279: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:431:in `type_check'
2024-10-09 15:14:38.280: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:366:in `block in type_check_file'
2024-10-09 15:14:38.280: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.281: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.281: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
2024-10-09 15:14:38.282: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:364:in `type_check_file'
2024-10-09 15:14:38.283: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:320:in `block (2 levels) in typecheck_source'
2024-10-09 15:14:38.283: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep.rb:206:in `measure'
2024-10-09 15:14:38.284: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:314:in `block in typecheck_source'
2024-10-09 15:14:38.286: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.286: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.287: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
2024-10-09 15:14:38.288: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/services/type_check_service.rb:313:in `typecheck_source'
2024-10-09 15:14:38.289: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/server/type_check_worker.rb:209:in `handle_job'
2024-10-09 15:14:38.290: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/server/base_worker.rb:56:in `block (2 levels) in run'
2024-10-09 15:14:38.291: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `block in tagged'
2024-10-09 15:14:38.292: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:38:in `tagged'
2024-10-09 15:14:38.293: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/activesupport-7.2.1/lib/active_support/tagged_logging.rb:138:in `tagged'
2024-10-09 15:14:38.293: ERROR: [Steep 1.8.1] [typecheck:typecheck@6] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(2:3)] [synthesize:(14:3)] [synthesize:(15:5)] [synthesize:(16:5)] [synthesize:(16:17)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/server/base_worker.rb:46:in `block in run'
.

No type error detected. 🫖
tk0miya added a commit to tk0miya/steep that referenced this issue Nov 29, 2024
@tk0miya
Emit UnsupportedSyntax to forwarded_kwrestarg
3aa6d8c 
Close: soutaro#1273
@tk0miya tk0miya linked a pull request Nov 29, 2024 that will close this issue
Open
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.

Emit UnsupportedSyntax to forwarded_kwrestarg tk0miya/steep
1 participant
@pvcresin