RubyGems - rigortype - Versions diffs - 0.0.7 → 0.0.9 - Mend

rigortype 0.0.7 → 0.0.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (44) hide show

checksums.yaml +4 -4
data/README.md +195 -21
data/data/builtins/ruby_core/encoding.yml +210 -0
data/data/builtins/ruby_core/exception.yml +641 -0
data/data/builtins/ruby_core/numeric.yml +3 -2
data/data/builtins/ruby_core/proc.yml +731 -0
data/data/builtins/ruby_core/random.yml +166 -0
data/data/builtins/ruby_core/re.yml +689 -0
data/data/builtins/ruby_core/struct.yml +449 -0
data/lib/rigor/analysis/diagnostic.rb +28 -2
data/lib/rigor/analysis/runner.rb +19 -3
data/lib/rigor/builtins/imported_refinements.rb +6 -1
data/lib/rigor/cache/descriptor.rb +278 -0
data/lib/rigor/cache/rbs_class_ancestor_table.rb +63 -0
data/lib/rigor/cache/rbs_class_type_param_names.rb +60 -0
data/lib/rigor/cache/rbs_constant_table.rb +47 -0
data/lib/rigor/cache/rbs_descriptor.rb +53 -0
data/lib/rigor/cache/rbs_environment.rb +52 -0
data/lib/rigor/cache/rbs_environment_marshal_patch.rb +40 -0
data/lib/rigor/cache/rbs_known_class_names.rb +43 -0
data/lib/rigor/cache/store.rb +325 -0
data/lib/rigor/cli.rb +88 -7
data/lib/rigor/environment/rbs_hierarchy.rb +18 -5
data/lib/rigor/environment/rbs_loader.rb +148 -25
data/lib/rigor/environment.rb +11 -2
data/lib/rigor/flow_contribution.rb +128 -0
data/lib/rigor/inference/builtins/encoding_catalog.rb +67 -0
data/lib/rigor/inference/builtins/exception_catalog.rb +92 -0
data/lib/rigor/inference/builtins/proc_catalog.rb +122 -0
data/lib/rigor/inference/builtins/random_catalog.rb +58 -0
data/lib/rigor/inference/builtins/re_catalog.rb +81 -0
data/lib/rigor/inference/builtins/struct_catalog.rb +55 -0
data/lib/rigor/inference/expression_typer.rb +26 -1
data/lib/rigor/inference/method_dispatcher/constant_folding.rb +16 -1
data/lib/rigor/inference/method_dispatcher/literal_string_folding.rb +87 -0
data/lib/rigor/inference/method_dispatcher.rb +2 -0
data/lib/rigor/inference/narrowing.rb +29 -14
data/lib/rigor/rbs_extended.rb +55 -0
data/lib/rigor/type/combinator.rb +72 -0
data/lib/rigor/type/refined.rb +50 -2
data/lib/rigor/version.rb +1 -1
data/lib/rigor.rb +9 -0
data/sig/rigor.rbs +3 -1
metadata +24 -1

data/data/builtins/ruby_core/proc.yml ADDED Viewed

@@ -0,0 +1,731 @@
+# DO NOT EDIT — generated by tool/extract_builtin_catalog.rb
+---
+schema_version: 1
+generated_from:
+  ruby_init_c: references/ruby/proc.c
+  ruby_prelude:
+  rbs:
+  - references/rbs/core/proc.rbs
+  - references/rbs/core/method.rbs
+  - references/rbs/core/unbound_method.rbs
+purity_levels:
+  leaf: Prelude :leaf marker (VM-enforced) or C body uses no dispatch/yield/mutation.
+  trivial: Prelude method body is a literal return (self/true/false/nil/Integer).
+  leaf_when_numeric: C body falls through to rb_num_coerce_* only when an operand
+    is non-numeric; safe to fold when every argument is a concrete numeric.
+  inline_block: Prelude method carries :inline_block or :use_block; block-dependent.
+  block_dependent: C body yields or checks rb_block_given_p.
+  mutates_self: C body checks rb_check_frozen — typically a prelude to mutation.
+  dispatch: C body calls user-redefinable methods (rb_funcall*, rb_equal, rb_Float,
+    num_funcall*, etc).
+  unknown: C body not located in indexed C files.
+classes:
+  Proc:
+    parent: Object
+    defined_at: references/ruby/proc.c:4553
+    includes: []
+    constants: {}
+    aliases:
+      inspect:
+        old: to_s
+        source: c
+        defined_at: references/ruby/proc.c:4575
+    instance_methods:
+      call:
+        source: c
+        cfunc: proc_call
+        arity: -1
+        defined_at: references/ruby/proc.c:4563
+        c_body_at: references/ruby/proc.c:1104
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?) -> untyped"
+        rbs_at: references/rbs/core/proc.rbs:624
+      "[]":
+        source: c
+        cfunc: proc_call
+        arity: -1
+        defined_at: references/ruby/proc.c:4564
+        c_body_at: references/ruby/proc.c:1104
+        c_effects: []
+        purity: leaf
+      "===":
+        source: c
+        cfunc: proc_call
+        arity: -1
+        defined_at: references/ruby/proc.c:4565
+        c_body_at: references/ruby/proc.c:1104
+        c_effects: []
+        purity: leaf
+      yield:
+        source: c
+        cfunc: proc_call
+        arity: -1
+        defined_at: references/ruby/proc.c:4566
+        c_body_at: references/ruby/proc.c:1104
+        c_effects: []
+        purity: leaf
+      to_proc:
+        source: c
+        cfunc: proc_to_proc
+        arity: 0
+        defined_at: references/ruby/proc.c:4569
+        c_body_at: references/ruby/proc.c:1776
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> self"
+        rbs_at: references/rbs/core/proc.rbs:889
+      arity:
+        source: c
+        cfunc: proc_arity
+        arity: 0
+        defined_at: references/ruby/proc.c:4570
+        c_body_at: references/ruby/proc.c:1212
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/proc.rbs:575
+      clone:
+        source: c
+        cfunc: proc_clone
+        arity: 0
+        defined_at: references/ruby/proc.c:4571
+        c_body_at: references/ruby/proc.c:127
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> self"
+        rbs_at: references/rbs/core/proc.rbs:379
+      dup:
+        source: c
+        cfunc: proc_dup
+        arity: 0
+        defined_at: references/ruby/proc.c:4572
+        c_body_at: references/ruby/proc.c:135
+        c_effects: []
+        purity: leaf
+      hash:
+        source: c
+        cfunc: proc_hash
+        arity: 0
+        defined_at: references/ruby/proc.c:4573
+        c_body_at: references/ruby/proc.c:1710
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/proc.rbs:710
+      to_s:
+        source: c
+        cfunc: proc_to_s
+        arity: 0
+        defined_at: references/ruby/proc.c:4574
+        c_body_at: references/ruby/proc.c:1760
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> String"
+        rbs_at: references/rbs/core/proc.rbs:898
+      lambda?:
+        source: c
+        cfunc: rb_proc_lambda_p
+        arity: 0
+        defined_at: references/ruby/proc.c:4576
+        c_body_at: references/ruby/proc.c:245
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> bool"
+        rbs_at: references/rbs/core/proc.rbs:813
+      binding:
+        source: c
+        cfunc: proc_binding
+        arity: 0
+        defined_at: references/ruby/proc.c:4577
+        c_body_at: references/ruby/proc.c:3683
+        c_effects:
+        - raises
+        purity: leaf
+        rbs:
+        - "() -> Binding"
+        rbs_at: references/rbs/core/proc.rbs:590
+      curry:
+        source: c
+        cfunc: proc_curry
+        arity: -1
+        defined_at: references/ruby/proc.c:4578
+        c_body_at: references/ruby/proc.c:3841
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?int? arity) -> Proc"
+        rbs_at: references/rbs/core/proc.rbs:700
+      !!str '<<':
+        source: c
+        cfunc: proc_compose_to_left
+        arity: 1
+        defined_at: references/ruby/proc.c:4579
+        c_body_at: references/ruby/proc.c:3946
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(_Callable callable) -> Proc"
+        rbs_at: references/rbs/core/proc.rbs:453
+      ">>":
+        source: c
+        cfunc: proc_compose_to_right
+        arity: 1
+        defined_at: references/ruby/proc.c:4580
+        c_body_at: references/ruby/proc.c:4005
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(_Callable callable) -> Proc"
+        rbs_at: references/rbs/core/proc.rbs:481
+      "==":
+        source: c
+        cfunc: proc_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4581
+        c_body_at: references/ruby/proc.c:1449
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(untyped other) -> bool"
+        rbs_at: references/rbs/core/proc.rbs:510
+      eql?:
+        source: c
+        cfunc: proc_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4582
+        c_body_at: references/ruby/proc.c:1449
+        c_effects: []
+        purity: leaf
+      source_location:
+        source: c
+        cfunc: rb_proc_location
+        arity: 0
+        defined_at: references/ruby/proc.c:4583
+        c_body_at: references/ruby/proc.c:1545
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> [ String, Integer ]?"
+        rbs_at: references/rbs/core/proc.rbs:880
+      parameters:
+        source: c
+        cfunc: rb_proc_parameters
+        arity: -1
+        defined_at: references/ruby/proc.c:4584
+        c_body_at: references/ruby/proc.c:1588
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?lambda: boolish) -> Method::param_types"
+        rbs_at: references/rbs/core/proc.rbs:832
+      ruby2_keywords:
+        source: c
+        cfunc: proc_ruby2_keywords
+        arity: 0
+        defined_at: references/ruby/proc.c:4585
+        c_body_at: references/ruby/proc.c:4110
+        c_effects:
+        - mutate
+        purity: mutates_self
+        rbs:
+        - "() -> self"
+        rbs_at: references/rbs/core/proc.rbs:864
+    singleton_methods:
+      new:
+        source: c
+        cfunc: rb_proc_s_new
+        arity: -1
+        defined_at: references/ruby/proc.c:4555
+        c_body_at: references/ruby/proc.c:974
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() { (?) -> untyped } -> instance"
+        rbs_at: references/rbs/core/proc.rbs:377
+    undefined: []
+  LocalJumpError:
+    parent: StandardError
+    defined_at: references/ruby/proc.c:4589
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods:
+      exit_value:
+        source: c
+        cfunc: localjump_xvalue
+        arity: 0
+        defined_at: references/ruby/proc.c:4590
+        c_body_at: references/ruby/proc.c:3619
+        c_effects: []
+        purity: leaf
+      reason:
+        source: c
+        cfunc: localjump_reason
+        arity: 0
+        defined_at: references/ruby/proc.c:4591
+        c_body_at: references/ruby/proc.c:3633
+        c_effects: []
+        purity: leaf
+    singleton_methods: {}
+    undefined: []
+  SystemStackError:
+    parent: rb_eException
+    defined_at: references/ruby/proc.c:4593
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods: {}
+    singleton_methods: {}
+    undefined: []
+  Method:
+    parent: Object
+    defined_at: references/ruby/proc.c:4601
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods:
+      "==":
+        source: c
+        cfunc: method_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4604
+        c_body_at: references/ruby/proc.c:1983
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(untyped other) -> bool"
+        rbs_at: references/rbs/core/method.rbs:38
+      eql?:
+        source: c
+        cfunc: method_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4605
+        c_body_at: references/ruby/proc.c:1983
+        c_effects: []
+        purity: leaf
+      hash:
+        source: c
+        cfunc: method_hash
+        arity: 0
+        defined_at: references/ruby/proc.c:4606
+        c_body_at: references/ruby/proc.c:2038
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/method.rbs:55
+      clone:
+        source: c
+        cfunc: method_clone
+        arity: 0
+        defined_at: references/ruby/proc.c:4607
+        c_body_at: references/ruby/proc.c:2613
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> self"
+        rbs_at: references/rbs/core/method.rbs:283
+      dup:
+        source: c
+        cfunc: method_dup
+        arity: 0
+        defined_at: references/ruby/proc.c:4608
+        c_body_at: references/ruby/proc.c:2631
+        c_effects: []
+        purity: leaf
+      call:
+        source: c
+        cfunc: rb_method_call_pass_called_kw
+        arity: -1
+        defined_at: references/ruby/proc.c:4609
+        c_body_at: references/ruby/proc.c:2672
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?) -> untyped"
+        rbs_at: references/rbs/core/method.rbs:148
+      "===":
+        source: c
+        cfunc: rb_method_call_pass_called_kw
+        arity: -1
+        defined_at: references/ruby/proc.c:4610
+        c_body_at: references/ruby/proc.c:2672
+        c_effects: []
+        purity: leaf
+      curry:
+        source: c
+        cfunc: rb_method_curry
+        arity: -1
+        defined_at: references/ruby/proc.c:4611
+        c_body_at: references/ruby/proc.c:3892
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(?int? arity) -> Proc"
+        rbs_at: references/rbs/core/method.rbs:316
+      !!str '<<':
+        source: c
+        cfunc: rb_method_compose_to_left
+        arity: 1
+        defined_at: references/ruby/proc.c:4612
+        c_body_at: references/ruby/proc.c:4047
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(Proc::_Callable g) -> Proc"
+        rbs_at: references/rbs/core/method.rbs:165
+      ">>":
+        source: c
+        cfunc: rb_method_compose_to_right
+        arity: 1
+        defined_at: references/ruby/proc.c:4613
+        c_body_at: references/ruby/proc.c:4070
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(Proc::_Callable g) -> Proc"
+        rbs_at: references/rbs/core/method.rbs:202
+      "[]":
+        source: c
+        cfunc: rb_method_call_pass_called_kw
+        arity: -1
+        defined_at: references/ruby/proc.c:4614
+        c_body_at: references/ruby/proc.c:2672
+        c_effects: []
+        purity: leaf
+      arity:
+        source: c
+        cfunc: method_arity_m
+        arity: 0
+        defined_at: references/ruby/proc.c:4615
+        c_body_at: references/ruby/proc.c:3050
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/method.rbs:265
+      inspect:
+        source: c
+        cfunc: method_inspect
+        arity: 0
+        defined_at: references/ruby/proc.c:4616
+        c_body_at: references/ruby/proc.c:3334
+        c_effects:
+        - mutate
+        - dispatch
+        purity: mutates_self
+        rbs:
+        - "() -> String"
+        rbs_at: references/rbs/core/method.rbs:87
+      to_s:
+        source: c
+        cfunc: method_inspect
+        arity: 0
+        defined_at: references/ruby/proc.c:4617
+        c_body_at: references/ruby/proc.c:3334
+        c_effects:
+        - mutate
+        - dispatch
+        purity: mutates_self
+      to_proc:
+        source: c
+        cfunc: method_to_proc
+        arity: 0
+        defined_at: references/ruby/proc.c:4618
+        c_body_at: references/ruby/proc.c:3556
+        c_effects:
+        - block
+        purity: block_dependent
+        rbs:
+        - "() -> Proc"
+        rbs_at: references/rbs/core/method.rbs:123
+      receiver:
+        source: c
+        cfunc: method_receiver
+        arity: 0
+        defined_at: references/ruby/proc.c:4619
+        c_body_at: references/ruby/proc.c:2088
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> untyped"
+        rbs_at: references/rbs/core/method.rbs:386
+      name:
+        source: c
+        cfunc: method_name
+        arity: 0
+        defined_at: references/ruby/proc.c:4620
+        c_body_at: references/ruby/proc.c:2104
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Symbol"
+        rbs_at: references/rbs/core/method.rbs:324
+      original_name:
+        source: c
+        cfunc: method_original_name
+        arity: 0
+        defined_at: references/ruby/proc.c:4621
+        c_body_at: references/ruby/proc.c:2126
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Symbol"
+        rbs_at: references/rbs/core/method.rbs:338
+      owner:
+        source: c
+        cfunc: method_owner
+        arity: 0
+        defined_at: references/ruby/proc.c:4622
+        c_body_at: references/ruby/proc.c:2153
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> (Class | Module)"
+        rbs_at: references/rbs/core/method.rbs:356
+      unbind:
+        source: c
+        cfunc: method_unbind
+        arity: 0
+        defined_at: references/ruby/proc.c:4623
+        c_body_at: references/ruby/proc.c:2061
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> UnboundMethod"
+        rbs_at: references/rbs/core/method.rbs:421
+      source_location:
+        source: c
+        cfunc: rb_method_location
+        arity: 0
+        defined_at: references/ruby/proc.c:4624
+        c_body_at: references/ruby/proc.c:3207
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> [ String, Integer ]?"
+        rbs_at: references/rbs/core/method.rbs:403
+      parameters:
+        source: c
+        cfunc: rb_method_parameters
+        arity: 0
+        defined_at: references/ruby/proc.c:4625
+        c_body_at: references/ruby/proc.c:3295
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> param_types"
+        rbs_at: references/rbs/core/method.rbs:376
+      super_method:
+        source: c
+        cfunc: method_super_method
+        arity: 0
+        defined_at: references/ruby/proc.c:4626
+        c_body_at: references/ruby/proc.c:3587
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Method?"
+        rbs_at: references/rbs/core/method.rbs:412
+      box:
+        source: c
+        cfunc: method_box
+        arity: 0
+        defined_at: references/ruby/proc.c:4631
+        c_body_at: references/ruby/proc.c:2167
+        c_effects:
+        - raises
+        purity: leaf
+    singleton_methods: {}
+    undefined:
+    - new
+  UnboundMethod:
+    parent: Object
+    defined_at: references/ruby/proc.c:4634
+    includes: []
+    constants: {}
+    aliases: {}
+    instance_methods:
+      "==":
+        source: c
+        cfunc: unbound_method_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4637
+        c_body_at: references/ruby/proc.c:1983
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(untyped other) -> bool"
+        rbs_at: references/rbs/core/unbound_method.rbs:63
+      eql?:
+        source: c
+        cfunc: unbound_method_eq
+        arity: 1
+        defined_at: references/ruby/proc.c:4638
+        c_body_at: references/ruby/proc.c:1983
+        c_effects: []
+        purity: leaf
+      hash:
+        source: c
+        cfunc: method_hash
+        arity: 0
+        defined_at: references/ruby/proc.c:4639
+        c_body_at: references/ruby/proc.c:2038
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/unbound_method.rbs:85
+      clone:
+        source: c
+        cfunc: method_clone
+        arity: 0
+        defined_at: references/ruby/proc.c:4640
+        c_body_at: references/ruby/proc.c:2613
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> self"
+        rbs_at: references/rbs/core/unbound_method.rbs:103
+      dup:
+        source: c
+        cfunc: method_dup
+        arity: 0
+        defined_at: references/ruby/proc.c:4641
+        c_body_at: references/ruby/proc.c:2631
+        c_effects: []
+        purity: leaf
+      arity:
+        source: c
+        cfunc: method_arity_m
+        arity: 0
+        defined_at: references/ruby/proc.c:4642
+        c_body_at: references/ruby/proc.c:3050
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/unbound_method.rbs:146
+      inspect:
+        source: c
+        cfunc: method_inspect
+        arity: 0
+        defined_at: references/ruby/proc.c:4643
+        c_body_at: references/ruby/proc.c:3334
+        c_effects:
+        - mutate
+        - dispatch
+        purity: mutates_self
+        rbs:
+        - "() -> String"
+        rbs_at: references/rbs/core/unbound_method.rbs:212
+      to_s:
+        source: c
+        cfunc: method_inspect
+        arity: 0
+        defined_at: references/ruby/proc.c:4644
+        c_body_at: references/ruby/proc.c:3334
+        c_effects:
+        - mutate
+        - dispatch
+        purity: mutates_self
+      name:
+        source: c
+        cfunc: method_name
+        arity: 0
+        defined_at: references/ruby/proc.c:4645
+        c_body_at: references/ruby/proc.c:2104
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Symbol"
+        rbs_at: references/rbs/core/unbound_method.rbs:248
+      original_name:
+        source: c
+        cfunc: method_original_name
+        arity: 0
+        defined_at: references/ruby/proc.c:4646
+        c_body_at: references/ruby/proc.c:2126
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Symbol"
+        rbs_at: references/rbs/core/unbound_method.rbs:326
+      owner:
+        source: c
+        cfunc: method_owner
+        arity: 0
+        defined_at: references/ruby/proc.c:4647
+        c_body_at: references/ruby/proc.c:2153
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> (Class | Module)"
+        rbs_at: references/rbs/core/unbound_method.rbs:266
+      bind:
+        source: c
+        cfunc: umethod_bind
+        arity: 1
+        defined_at: references/ruby/proc.c:4648
+        c_body_at: references/ruby/proc.c:2870
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(untyped obj) -> Method"
+        rbs_at: references/rbs/core/unbound_method.rbs:180
+      bind_call:
+        source: c
+        cfunc: umethod_bind_call
+        arity: -1
+        defined_at: references/ruby/proc.c:4649
+        c_body_at: references/ruby/proc.c:2898
+        c_effects:
+        - block
+        purity: block_dependent
+        rbs:
+        - "(untyped recv, *untyped, **untyped) ?{ (?) -> untyped } -> untyped"
+        rbs_at: references/rbs/core/unbound_method.rbs:336
+      source_location:
+        source: c
+        cfunc: rb_method_location
+        arity: 0
+        defined_at: references/ruby/proc.c:4650
+        c_body_at: references/ruby/proc.c:3207
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> [ String, Integer ]?"
+        rbs_at: references/rbs/core/unbound_method.rbs:303
+      parameters:
+        source: c
+        cfunc: rb_method_parameters
+        arity: 0
+        defined_at: references/ruby/proc.c:4651
+        c_body_at: references/ruby/proc.c:3295
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Method::param_types"
+        rbs_at: references/rbs/core/unbound_method.rbs:286
+      super_method:
+        source: c
+        cfunc: method_super_method
+        arity: 0
+        defined_at: references/ruby/proc.c:4652
+        c_body_at: references/ruby/proc.c:3587
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> UnboundMethod?"
+        rbs_at: references/rbs/core/unbound_method.rbs:312
+    singleton_methods: {}
+    undefined:
+    - new