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 when combining define_method and Lambda #1288

Open
pvcresin opened this issue Oct 23, 2024 · 0 comments
Open

Unexpected error when combining define_method and Lambda #1288

pvcresin opened this issue Oct 23, 2024 · 0 comments

Comments

@pvcresin
Copy link

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
  # OK
  define_method :foo do |value|
    p value
  end

  # NG
  define_method :bar, -> (value) do
    p value
  end
end

Sample.new.foo 1
Sample.new.bar 2
$ ruby lib/sample.rb
1
2
$ bundle exec steep check 
$ bundle exec steep check
# Type checking files:

............................................................2024-10-23 16:08:11.778: FATAL: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)] [shape(self)] self_type cannot include 'instance' type: instance
...2024-10-23 16:08:11.779: FATAL: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)] Unexpected error: #<RuntimeError: self_type cannot include 'instance' type: instance>
..2024-10-23 16:08:11.780: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/interface/builder.rb:44:in `validate_fvs'
2024-10-23 16:08:11.783: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/interface/builder.rb:25:in `validate_self_type'
2024-10-23 16:08:11.784: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/interface/builder.rb:94:in `raw_shape'
2024-10-23 16:08:11.786: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/interface/builder.rb:68:in `block in shape'
.2024-10-23 16:08:11.787: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.788: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.788: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.789: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/interface/builder.rb:67:in `shape'
..2024-10-23 16:08:11.790: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3440:in `calculate_interface'
.2024-10-23 16:08:11.792: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3400:in `type_send'
2024-10-23 16:08:11.794: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.796: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.797: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.799: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.800: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.802: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.803: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:4503:in `synthesize_block'
.2024-10-23 16:08:11.804: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:3101:in `type_lambda'
..2024-10-23 16:08:11.805: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2675:in `block in synthesize_sendish'
2024-10-23 16:08:11.806: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   <internal:kernel>:148:in `yield_self'
2024-10-23 16:08:11.807: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:2671:in `synthesize_sendish'
2024-10-23 16:08:11.808: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.810: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.811: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.812: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.813: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.814: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.815: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.816: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.819: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.820: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   <internal:kernel>:90:in `tap'
2024-10-23 16:08:11.821: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.822: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.823: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.825: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.831: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.837: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.839: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.842: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.850: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.852: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.853: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.854: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.855: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.856: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.858: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.859: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.860: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.862: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.863: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.864: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.866: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.868: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.869: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:715:in `block (2 levels) in synthesize'
2024-10-23 16:08:11.870: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   <internal:kernel>:148:in `yield_self'
2024-10-23 16:08:11.871: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.872: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.873: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.875: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.876: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.878: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:1508:in `block (3 levels) in synthesize'
2024-10-23 16:08:11.879: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:539:in `block in with_class_constr'
2024-10-23 16:08:11.880: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.881: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:538:in `with_class_constr'
2024-10-23 16:08:11.882: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:1498:in `block (2 levels) in synthesize'
2024-10-23 16:08:11.883: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   <internal:kernel>:148:in `yield_self'
2024-10-23 16:08:11.883: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:1460:in `block in synthesize'
2024-10-23 16:08:11.885: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.886: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.887: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.888: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.889: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:706:in `block (3 levels) in synthesize'
2024-10-23 16:08:11.893: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:705:in `each'
2024-10-23 16:08:11.894: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:705:in `inject'
2024-10-23 16:08:11.895: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /Users/toriyama/.rbenv/versions/3.3.3/lib/ruby/gems/3.3.0/gems/steep-1.8.1/lib/steep/type_construction.rb:705:in `block (2 levels) in synthesize'
2024-10-23 16:08:11.896: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   <internal:kernel>:148:in `yield_self'
2024-10-23 16:08:11.897: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.898: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.900: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.901: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.902: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.903: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.904: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.905: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.906: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.909: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.910: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.911: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.912: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.913: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.915: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.916: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.917: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.919: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.920: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.921: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.922: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.930: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.931: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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-23 16:08:11.932: ERROR: [Steep 1.8.1] [typecheck:typecheck@3] [background] [#typecheck_source(path=lib/sample.rb)] [#type_check_file(lib/sample.rb@lib)] [synthesize:(1:1)] [synthesize:(1:1)] [synthesize:(3:3)] [synthesize:(8:3)] [(::interned, (^() [self: instance] -> untyped | ::Method | ::UnboundMethod)) -> ::Symbol] [synthesize:(8:23)] [synthesize:(9:5)]   /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. 🍵
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

No branches or pull requests
1 participant
@pvcresin