RubyGems - rigortype - Versions diffs - 0.2.9 → 0.3.1 - Mend

rigortype 0.2.9 → 0.3.1

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 (222) hide show

checksums.yaml +4 -4
data/README.md +2 -2
data/data/builtins/ruby_core/array.yml +416 -392
data/data/builtins/ruby_core/file.yml +42 -42
data/data/builtins/ruby_core/hash.yml +302 -302
data/data/builtins/ruby_core/io.yml +191 -191
data/data/builtins/ruby_core/numeric.yml +321 -366
data/data/builtins/ruby_core/proc.yml +124 -124
data/data/builtins/ruby_core/range.yml +21 -21
data/data/builtins/ruby_core/rational.yml +39 -39
data/data/builtins/ruby_core/re.yml +65 -65
data/data/builtins/ruby_core/set.yml +106 -106
data/data/builtins/ruby_core/struct.yml +14 -14
data/data/core_overlay/string_scanner.rbs +6 -5
data/docs/handbook/01-getting-started.md +22 -34
data/docs/handbook/03-narrowing.md +2 -1
data/docs/handbook/04-tuples-and-shapes.md +7 -3
data/docs/handbook/06-classes.md +19 -10
data/docs/handbook/07-rbs-and-extended.md +76 -101
data/docs/handbook/08-understanding-errors.md +114 -246
data/docs/handbook/09-plugins.md +54 -144
data/docs/handbook/11-sig-gen.md +11 -1
data/docs/handbook/README.md +5 -3
data/docs/handbook/appendix-liskov.md +4 -2
data/docs/handbook/appendix-mypy.md +4 -3
data/docs/handbook/appendix-phpstan.md +14 -7
data/docs/handbook/appendix-steep.md +4 -2
data/docs/handbook/appendix-type-theory.md +3 -1
data/docs/install.md +14 -6
data/docs/manual/01-installation.md +98 -4
data/docs/manual/02-cli-reference.md +81 -12
data/docs/manual/03-configuration.md +34 -2
data/docs/manual/04-diagnostics.md +59 -4
data/docs/manual/06-baseline.md +35 -1
data/docs/manual/07-plugins.md +4 -4
data/docs/manual/08-skills.md +6 -1
data/docs/manual/09-editor-integration.md +7 -6
data/docs/manual/11-ci.md +51 -0
data/docs/manual/12-caching.md +65 -0
data/docs/manual/plugins/rigor-actioncable.md +32 -0
data/docs/manual/plugins/rigor-devise.md +4 -2
data/lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb +9 -1
data/lib/rigor/analysis/check_rules/dead_assignment_collector.rb +5 -3
data/lib/rigor/analysis/check_rules/duplicate_hash_key_collector.rb +128 -0
data/lib/rigor/analysis/check_rules/inferred_param_guard.rb +60 -0
data/lib/rigor/analysis/check_rules/ivar_write_collector.rb +3 -2
data/lib/rigor/analysis/check_rules/return_in_ensure_collector.rb +117 -0
data/lib/rigor/analysis/check_rules/rule_ids.rb +125 -0
data/lib/rigor/analysis/check_rules/rule_walk.rb +2 -1
data/lib/rigor/analysis/check_rules/self_closedness_scanner.rb +2 -1
data/lib/rigor/analysis/check_rules/shadowed_rescue_collector.rb +283 -0
data/lib/rigor/analysis/check_rules/unreachable_clause_collector.rb +10 -1
data/lib/rigor/analysis/check_rules/void_value_use_collector.rb +112 -0
data/lib/rigor/analysis/check_rules.rb +581 -98
data/lib/rigor/analysis/dependency_recorder.rb +93 -9
data/lib/rigor/analysis/dependency_source_inference/walker.rb +2 -1
data/lib/rigor/analysis/incremental_session.rb +456 -51
data/lib/rigor/analysis/path_expansion.rb +42 -0
data/lib/rigor/analysis/plugin_fact_fingerprint.rb +188 -0
data/lib/rigor/analysis/rule_catalog.rb +226 -1
data/lib/rigor/analysis/run_cache_key.rb +78 -0
data/lib/rigor/analysis/run_cache_probe.rb +72 -0
data/lib/rigor/analysis/runner/diagnostic_aggregator.rb +181 -28
data/lib/rigor/analysis/runner/pool_coordinator.rb +77 -15
data/lib/rigor/analysis/runner/project_pre_passes.rb +95 -49
data/lib/rigor/analysis/runner/run_snapshots.rb +9 -2
data/lib/rigor/analysis/runner.rb +344 -68
data/lib/rigor/analysis/severity_stamp.rb +43 -0
data/lib/rigor/analysis/worker_session.rb +30 -2
data/lib/rigor/bleeding_edge.rb +37 -8
data/lib/rigor/builtins/regex_refinement.rb +36 -1
data/lib/rigor/cache/descriptor.rb +88 -28
data/lib/rigor/cache/file_digest.rb +158 -0
data/lib/rigor/cache/incremental_snapshot.rb +41 -5
data/lib/rigor/cache/rbs_cache_producer.rb +11 -1
data/lib/rigor/cache/rbs_descriptor.rb +56 -10
data/lib/rigor/cache/rbs_environment_marshal_patch.rb +38 -0
data/lib/rigor/cache/store.rb +132 -27
data/lib/rigor/ci_detector.rb +90 -0
data/lib/rigor/cli/annotate_command.rb +15 -9
data/lib/rigor/cli/baseline_command.rb +4 -1
data/lib/rigor/cli/check_command.rb +223 -32
data/lib/rigor/cli/check_invocation.rb +84 -0
data/lib/rigor/cli/coverage_command.rb +6 -1
data/lib/rigor/cli/docs_command.rb +0 -30
data/lib/rigor/cli/doctor_command.rb +169 -31
data/lib/rigor/cli/lsp_command.rb +5 -0
data/lib/rigor/cli/mcp_command.rb +5 -0
data/lib/rigor/cli/plugins_command.rb +36 -6
data/lib/rigor/cli/plugins_renderer.rb +44 -12
data/lib/rigor/cli/probe_environment.rb +85 -0
data/lib/rigor/cli/sig_gen_command.rb +36 -9
data/lib/rigor/cli/skill_command.rb +22 -33
data/lib/rigor/cli/skill_deep_probe.rb +172 -0
data/lib/rigor/cli/skill_describe.rb +75 -9
data/lib/rigor/cli/trace_command.rb +5 -6
data/lib/rigor/cli/type_of_command.rb +9 -8
data/lib/rigor/cli/type_scan_command.rb +8 -8
data/lib/rigor/cli.rb +15 -4
data/lib/rigor/config_audit.rb +48 -2
data/lib/rigor/configuration/severity_profile.rb +31 -0
data/lib/rigor/configuration.rb +156 -8
data/lib/rigor/environment/default_libraries.rb +36 -0
data/lib/rigor/environment/rbs_loader.rb +164 -5
data/lib/rigor/environment.rb +29 -28
data/lib/rigor/inference/budget_trace.rb +77 -2
data/lib/rigor/inference/closure_escape_analyzer.rb +14 -1
data/lib/rigor/inference/def_handle.rb +23 -0
data/lib/rigor/inference/def_node_resolver.rb +90 -0
data/lib/rigor/inference/def_return_typer.rb +2 -1
data/lib/rigor/inference/expression_typer.rb +361 -113
data/lib/rigor/inference/method_dispatcher/data_folding.rb +30 -5
data/lib/rigor/inference/method_dispatcher/kernel_dispatch.rb +200 -0
data/lib/rigor/inference/method_dispatcher/literal_string_folding.rb +22 -16
data/lib/rigor/inference/method_dispatcher/member_shape_projection.rb +33 -0
data/lib/rigor/inference/method_dispatcher/overload_selector.rb +17 -1
data/lib/rigor/inference/method_dispatcher/rbs_dispatch.rb +42 -9
data/lib/rigor/inference/method_dispatcher/receiver_affinity.rb +5 -0
data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +28 -35
data/lib/rigor/inference/method_dispatcher/struct_folding.rb +40 -8
data/lib/rigor/inference/method_dispatcher.rb +57 -1
data/lib/rigor/inference/mutation_widening.rb +42 -8
data/lib/rigor/inference/narrowing.rb +127 -17
data/lib/rigor/inference/parameter_inference_collector.rb +15 -0
data/lib/rigor/inference/project_patched_scanner.rb +2 -1
data/lib/rigor/inference/rbs_type_translator.rb +8 -1
data/lib/rigor/inference/scope_indexer.rb +451 -36
data/lib/rigor/inference/statement_evaluator.rb +64 -15
data/lib/rigor/inference/struct_fold_safety.rb +48 -11
data/lib/rigor/inference/synthetic_method_scanner.rb +15 -14
data/lib/rigor/inference/void_origin.rb +25 -0
data/lib/rigor/inference/void_tail_summary.rb +220 -0
data/lib/rigor/language_server/buffer_resolution.rb +6 -3
data/lib/rigor/language_server/buffer_table.rb +46 -6
data/lib/rigor/language_server/completion_provider.rb +2 -1
data/lib/rigor/language_server/diagnostic_publisher.rb +4 -0
data/lib/rigor/language_server/document_symbol_provider.rb +2 -1
data/lib/rigor/language_server/folding_range_provider.rb +2 -1
data/lib/rigor/language_server/incremental_sync.rb +159 -0
data/lib/rigor/language_server/selection_range_provider.rb +2 -1
data/lib/rigor/language_server/server.rb +19 -9
data/lib/rigor/language_server/signature_help_provider.rb +2 -1
data/lib/rigor/language_server.rb +1 -0
data/lib/rigor/plugin/base.rb +38 -24
data/lib/rigor/plugin/inflector.rb +12 -3
data/lib/rigor/plugin/io_boundary.rb +5 -1
data/lib/rigor/plugin/isolation.rb +81 -11
data/lib/rigor/plugin/load_error.rb +10 -1
data/lib/rigor/plugin/loader.rb +96 -14
data/lib/rigor/plugin/node_rule_walk.rb +5 -3
data/lib/rigor/plugin/registry.rb +32 -23
data/lib/rigor/plugin.rb +26 -0
data/lib/rigor/protection/mutator.rb +3 -2
data/lib/rigor/reflection.rb +64 -0
data/lib/rigor/runtime/jit.rb +128 -0
data/lib/rigor/scope/discovery_index.rb +12 -2
data/lib/rigor/scope.rb +122 -28
data/lib/rigor/sig_gen/classification.rb +5 -1
data/lib/rigor/sig_gen/generator.rb +38 -6
data/lib/rigor/sig_gen/observation_collector.rb +4 -3
data/lib/rigor/sig_gen/rbs_validity.rb +44 -0
data/lib/rigor/sig_gen/renderer.rb +10 -0
data/lib/rigor/sig_gen/write_result.rb +9 -4
data/lib/rigor/sig_gen/writer.rb +207 -49
data/lib/rigor/source/node_children.rb +116 -0
data/lib/rigor/source/node_locator.rb +3 -1
data/lib/rigor/source/node_walker.rb +4 -2
data/lib/rigor/source.rb +1 -0
data/lib/rigor/type/difference.rb +28 -24
data/lib/rigor/type/hash_shape.rb +34 -10
data/lib/rigor/version.rb +1 -1
data/lib/rigortype.rb +24 -0
data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable/channel_discoverer.rb +4 -2
data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb +51 -1
data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/mailer_discoverer.rb +6 -4
data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_discoverer.rb +5 -3
data/plugins/rigor-activejob/lib/rigor/plugin/activejob/job_discoverer.rb +4 -2
data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/analyzer.rb +3 -1
data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_discoverer.rb +4 -2
data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_parser.rb +4 -2
data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage/analyzer.rb +3 -1
data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage/attachment_discoverer.rb +4 -2
data/plugins/rigor-dry-types/lib/rigor/plugin/dry_types.rb +38 -6
data/plugins/rigor-factorybot/lib/rigor/plugin/factorybot/factory_discoverer.rb +3 -1
data/plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb +3 -1
data/plugins/rigor-mangrove/lib/rigor/plugin/mangrove.rb +10 -0
data/plugins/rigor-minitest/lib/rigor/plugin/minitest.rb +11 -0
data/plugins/rigor-pundit/lib/rigor/plugin/pundit/policy_discoverer.rb +3 -1
data/plugins/rigor-rails/lib/rigor-rails.rb +11 -12
data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/grape_api_discoverer.rb +3 -1
data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/helper_discoverer.rb +3 -1
data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/routes_parser.rb +7 -5
data/plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline.rb +83 -9
data/plugins/rigor-rbs-inline/lib/rigor-rbs-inline.rb +9 -5
data/plugins/rigor-rspec/lib/rigor/plugin/rspec/let_scope_index.rb +3 -1
data/plugins/rigor-rspec/lib/rigor/plugin/rspec/scope_walker.rb +3 -1
data/plugins/rigor-rspec/lib/rigor/plugin/rspec.rb +11 -0
data/plugins/rigor-rspec-rails/lib/rigor/plugin/rspec_rails/http_status_codes.rb +4 -1
data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/worker_discoverer.rb +4 -2
data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet/catalog_walker.rb +3 -1
data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet.rb +74 -14
data/sig/prism_node_children.rbs +9 -0
data/sig/rigor/cache.rbs +6 -0
data/sig/rigor/inference/void_origin.rbs +18 -0
data/sig/rigor/inference.rbs +7 -0
data/sig/rigor/plugin/base.rbs +6 -6
data/sig/rigor/reflection.rbs +1 -0
data/sig/rigor/scope.rbs +12 -1
data/skills/rigor-ci-setup/SKILL.md +10 -0
data/skills/rigor-editor-setup/SKILL.md +11 -0
data/skills/rigor-next-steps/SKILL.md +23 -2
data/skills/rigor-plugin-author/SKILL.md +3 -3
data/skills/rigor-plugin-author/references/02-walker-and-types.md +2 -2
data/skills/rigor-plugin-review/SKILL.md +2 -2
data/skills/rigor-plugin-review/references/01-best-practices-checklist.md +5 -4
data/skills/rigor-project-init/SKILL.md +29 -3
data/skills/rigor-project-init/references/01-detect.md +1 -1
data/skills/rigor-project-init/references/02-configure.md +39 -5
data/skills/rigor-project-init/references/03-baseline-and-bugs.md +20 -0
data/skills/rigor-project-init/references/05-jit-performance.md +125 -0
metadata +48 -26
data/lib/rigor/cli/ci_detector.rb +0 -89

data/data/builtins/ruby_core/io.yml CHANGED Viewed

@@ -60,24 +60,24 @@ classes:
         defined_at: references/ruby/io.c:15686
       SEEK_SET:
         c_expression: INT2FIX(SEEK_SET)
-        defined_at: references/ruby/io.c:15794
+        defined_at: references/ruby/io.c:15795
       SEEK_CUR:
         c_expression: INT2FIX(SEEK_CUR)
-        defined_at: references/ruby/io.c:15796
+        defined_at: references/ruby/io.c:15797
       SEEK_END:
         c_expression: INT2FIX(SEEK_END)
-        defined_at: references/ruby/io.c:15798
+        defined_at: references/ruby/io.c:15799
       SEEK_DATA:
         c_expression: INT2FIX(SEEK_DATA)
-        defined_at: references/ruby/io.c:15801
+        defined_at: references/ruby/io.c:15802
       SEEK_HOLE:
         c_expression: INT2FIX(SEEK_HOLE)
-        defined_at: references/ruby/io.c:15805
+        defined_at: references/ruby/io.c:15806
     aliases:
       to_i:
         old: fileno
         source: c
-        defined_at: references/ruby/io.c:15763
+        defined_at: references/ruby/io.c:15764
     instance_methods:
       initialize:
         source: c
@@ -97,7 +97,7 @@ classes:
         source: c
         cfunc: rb_io_init_copy
         arity: 1
-        defined_at: references/ruby/io.c:15742
+        defined_at: references/ruby/io.c:15743
         c_body_at: references/ruby/io.c:8555
         c_effects: []
         purity: leaf
@@ -105,7 +105,7 @@ classes:
         source: c
         cfunc: rb_io_reopen
         arity: -1
-        defined_at: references/ruby/io.c:15743
+        defined_at: references/ruby/io.c:15744
         c_body_at: references/ruby/io.c:8466
         c_effects:
         - raises
@@ -113,57 +113,57 @@ classes:
         rbs:
         - "(IO other_IO_or_path) -> IO"
         - "(String other_IO_or_path, ?String mode_str) -> IO"
-        rbs_at: references/rbs/core/io.rbs:1864
+        rbs_at: references/rbs/core/io.rbs:1882
       print:
         source: c
         cfunc: rb_io_print
         arity: -1
-        defined_at: references/ruby/io.c:15745
+        defined_at: references/ruby/io.c:15746
         c_body_at: references/ruby/io.c:8748
         c_effects: []
         purity: leaf
         rbs:
         - "(*untyped objects) -> nil"
-        rbs_at: references/rbs/core/io.rbs:1371
+        rbs_at: references/rbs/core/io.rbs:1389
       putc:
         source: c
         cfunc: rb_io_putc
         arity: 1
-        defined_at: references/ruby/io.c:15746
+        defined_at: references/ruby/io.c:15747
         c_body_at: references/ruby/io.c:8853
         c_effects: []
         purity: leaf
         rbs:
         - "(Numeric | String object) -> (Numeric | String)"
-        rbs_at: references/rbs/core/io.rbs:1402
+        rbs_at: references/rbs/core/io.rbs:1420
       puts:
         source: c
         cfunc: rb_io_puts
         arity: -1
-        defined_at: references/ruby/io.c:15747
+        defined_at: references/ruby/io.c:15748
         c_body_at: references/ruby/io.c:8980
         c_effects:
         - dispatch
         purity: dispatch
         rbs:
         - "(*untyped objects) -> nil"
-        rbs_at: references/rbs/core/io.rbs:1448
+        rbs_at: references/rbs/core/io.rbs:1466
       printf:
         source: c
         cfunc: rb_io_printf
         arity: -1
-        defined_at: references/ruby/io.c:15748
+        defined_at: references/ruby/io.c:15749
         c_body_at: references/ruby/io.c:8615
         c_effects: []
         purity: leaf
         rbs:
         - "(String format_string, *untyped objects) -> nil"
-        rbs_at: references/rbs/core/io.rbs:1382
+        rbs_at: references/rbs/core/io.rbs:1400
       each:
         source: c
         cfunc: rb_io_each_line
         arity: -1
-        defined_at: references/ruby/io.c:15750
+        defined_at: references/ruby/io.c:15751
         c_body_at: references/ruby/io.c:4700
         c_effects:
         - block
@@ -173,7 +173,7 @@ classes:
         source: c
         cfunc: rb_io_each_line
         arity: -1
-        defined_at: references/ruby/io.c:15751
+        defined_at: references/ruby/io.c:15752
         c_body_at: references/ruby/io.c:4700
         c_effects:
         - block
@@ -183,12 +183,12 @@ classes:
         - "(?string sep, ?int limit, ?chomp: boolish) { (String line) -> void } ->
           self"
         - "(?string sep, ?int limit, ?chomp: boolish) -> ::Enumerator[String, self]"
-        rbs_at: references/rbs/core/io.rbs:3148
+        rbs_at: references/rbs/core/io.rbs:3166
       each_byte:
         source: c
         cfunc: rb_io_each_byte
         arity: 0
-        defined_at: references/ruby/io.c:15752
+        defined_at: references/ruby/io.c:15753
         c_body_at: references/ruby/io.c:4736
         c_effects:
         - block
@@ -201,7 +201,7 @@ classes:
         source: c
         cfunc: rb_io_each_char
         arity: 0
-        defined_at: references/ruby/io.c:15753
+        defined_at: references/ruby/io.c:15754
         c_body_at: references/ruby/io.c:4884
         c_effects:
         - block
@@ -214,7 +214,7 @@ classes:
         source: c
         cfunc: rb_io_each_codepoint
         arity: 0
-        defined_at: references/ruby/io.c:15754
+        defined_at: references/ruby/io.c:15755
         c_body_at: references/ruby/io.c:4922
         c_effects:
         - block
@@ -228,52 +228,52 @@ classes:
         source: c
         cfunc: rb_io_syswrite
         arity: 1
-        defined_at: references/ruby/io.c:15756
+        defined_at: references/ruby/io.c:15757
         c_body_at: references/ruby/io.c:6094
         c_effects: []
         purity: leaf
         rbs:
         - "(_ToS object) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2081
+        rbs_at: references/rbs/core/io.rbs:2099
       sysread:
         source: c
         cfunc: rb_io_sysread
         arity: -1
-        defined_at: references/ruby/io.c:15757
+        defined_at: references/ruby/io.c:15758
         c_body_at: references/ruby/io.c:6133
         c_effects:
         - raises
         purity: leaf
         rbs:
-        - "(Integer maxlen, String outbuf) -> String"
-        rbs_at: references/rbs/core/io.rbs:2052
+        - "(Integer maxlen, ?String? outbuf) -> String"
+        rbs_at: references/rbs/core/io.rbs:2070
       pread:
         source: c
         cfunc: rb_io_pread
         arity: -1
-        defined_at: references/ruby/io.c:15759
+        defined_at: references/ruby/io.c:15760
         c_body_at: references/ruby/io.c:6241
         c_effects: []
         purity: leaf
         rbs:
-        - "(int maxlen, int offset, ?string out_string) -> String"
-        rbs_at: references/rbs/core/io.rbs:1477
+        - "(int maxlen, int offset, ?string? out_string) -> String"
+        rbs_at: references/rbs/core/io.rbs:1495
       pwrite:
         source: c
         cfunc: rb_io_pwrite
         arity: 2
-        defined_at: references/ruby/io.c:15760
+        defined_at: references/ruby/io.c:15761
         c_body_at: references/ruby/io.c:6329
         c_effects: []
         purity: leaf
         rbs:
         - "(_ToS object, int offset) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1503
+        rbs_at: references/rbs/core/io.rbs:1521
       fileno:
         source: c
         cfunc: rb_io_fileno
         arity: 0
-        defined_at: references/ruby/io.c:15762
+        defined_at: references/ruby/io.c:15763
         c_body_at: references/ruby/io.c:2916
         c_effects: []
         purity: leaf
@@ -284,40 +284,40 @@ classes:
         source: c
         cfunc: rb_io_to_io
         arity: 0
-        defined_at: references/ruby/io.c:15764
+        defined_at: references/ruby/io.c:15765
         c_body_at: references/ruby/io.c:3061
         c_effects: []
         purity: leaf
         rbs:
         - "() -> self"
-        rbs_at: references/rbs/core/io.rbs:2158
+        rbs_at: references/rbs/core/io.rbs:2176
       timeout:
         source: c
         cfunc: rb_io_timeout
         arity: 0
-        defined_at: references/ruby/io.c:15766
+        defined_at: references/ruby/io.c:15767
         c_body_at: references/ruby/io.c:857
         c_effects: []
         purity: leaf
         rbs:
         - "() -> io_timeout"
-        rbs_at: references/rbs/core/io.rbs:2120
+        rbs_at: references/rbs/core/io.rbs:2138
       timeout=:
         source: c
         cfunc: rb_io_set_timeout
         arity: 1
-        defined_at: references/ruby/io.c:15767
+        defined_at: references/ruby/io.c:15768
         c_body_at: references/ruby/io.c:886
         c_effects: []
         purity: leaf
         rbs:
         - "(io_timeout duration) -> void"
-        rbs_at: references/rbs/core/io.rbs:2150
+        rbs_at: references/rbs/core/io.rbs:2168
       fsync:
         source: c
         cfunc: rb_io_fsync
         arity: 0
-        defined_at: references/ruby/io.c:15769
+        defined_at: references/ruby/io.c:15770
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -327,7 +327,7 @@ classes:
         source: c
         cfunc: rb_io_fdatasync
         arity: 0
-        defined_at: references/ruby/io.c:15770
+        defined_at: references/ruby/io.c:15771
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -337,96 +337,96 @@ classes:
         source: c
         cfunc: rb_io_sync
         arity: 0
-        defined_at: references/ruby/io.c:15771
+        defined_at: references/ruby/io.c:15772
         purity: unknown
         c_body_at: not_found
         rbs:
         - "() -> bool"
-        rbs_at: references/rbs/core/io.rbs:2016
+        rbs_at: references/rbs/core/io.rbs:2034
       sync=:
         source: c
         cfunc: rb_io_set_sync
         arity: 1
-        defined_at: references/ruby/io.c:15772
+        defined_at: references/ruby/io.c:15773
         c_body_at: references/ruby/io.c:2796
         c_effects: []
         purity: leaf
         rbs:
         - "(boolish boolean) -> boolish"
-        rbs_at: references/rbs/core/io.rbs:2041
+        rbs_at: references/rbs/core/io.rbs:2059
       lineno:
         source: c
         cfunc: rb_io_lineno
         arity: 0
-        defined_at: references/ruby/io.c:15774
+        defined_at: references/ruby/io.c:15775
         c_body_at: references/ruby/io.c:4438
         c_effects: []
         purity: leaf
         rbs:
         - "() -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1254
+        rbs_at: references/rbs/core/io.rbs:1272
       lineno=:
         source: c
         cfunc: rb_io_set_lineno
         arity: 1
-        defined_at: references/ruby/io.c:15775
+        defined_at: references/ruby/io.c:15776
         c_body_at: references/ruby/io.c:4457
         c_effects: []
         purity: leaf
         rbs:
         - "(Integer integer) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1263
+        rbs_at: references/rbs/core/io.rbs:1281
       readlines:
         source: c
         cfunc: rb_io_readlines
         arity: -1
-        defined_at: references/ruby/io.c:15777
+        defined_at: references/ruby/io.c:15778
         c_body_at: references/ruby/io.c:4571
         c_effects: []
         purity: leaf
         rbs:
         - "(?String sep, ?Integer limit, ?chomp: boolish) -> ::Array[String]"
-        rbs_at: references/rbs/core/io.rbs:1740
+        rbs_at: references/rbs/core/io.rbs:1758
       readpartial:
         source: c
         cfunc: io_readpartial
         arity: -1
-        defined_at: references/ruby/io.c:15779
+        defined_at: references/ruby/io.c:15780
         c_body_at: references/ruby/io.c:3642
         c_effects: []
         purity: leaf
         rbs:
-        - "(int maxlen, ?string outbuf) -> String"
-        rbs_at: references/rbs/core/io.rbs:1831
+        - "(int maxlen, ?string? outbuf) -> String"
+        rbs_at: references/rbs/core/io.rbs:1849
       read:
         source: c
         cfunc: io_read
         arity: -1
-        defined_at: references/ruby/io.c:15780
+        defined_at: references/ruby/io.c:15781
         c_body_at: references/ruby/io.c:3826
         c_effects:
         - raises
         purity: leaf
         rbs:
-        - "(?nil, ?string outbuf) -> String"
-        - "(int? length, ?string outbuf) -> String?"
-        rbs_at: references/rbs/core/io.rbs:1574
+        - "(?nil, ?string? outbuf) -> String"
+        - "(int? length, ?string? outbuf) -> String?"
+        rbs_at: references/rbs/core/io.rbs:1592
       write:
         source: c
         cfunc: io_write_m
         arity: -1
-        defined_at: references/ruby/io.c:15781
+        defined_at: references/ruby/io.c:15782
         c_body_at: references/ruby/io.c:2322
         c_effects: []
         purity: leaf
         rbs:
         - "(*_ToS string) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2271
+        rbs_at: references/rbs/core/io.rbs:2289
       gets:
         source: c
         cfunc: rb_io_gets_m
         arity: -1
-        defined_at: references/ruby/io.c:15782
+        defined_at: references/ruby/io.c:15783
         c_body_at: references/ruby/io.c:4418
         c_effects: []
         purity: leaf
@@ -438,7 +438,7 @@ classes:
         source: c
         cfunc: rb_io_getc
         arity: 0
-        defined_at: references/ruby/io.c:15783
+        defined_at: references/ruby/io.c:15784
         c_body_at: references/ruby/io.c:5035
         c_effects: []
         purity: leaf
@@ -449,7 +449,7 @@ classes:
         source: c
         cfunc: rb_io_getbyte
         arity: 0
-        defined_at: references/ruby/io.c:15784
+        defined_at: references/ruby/io.c:15785
         c_body_at: references/ruby/io.c:5097
         c_effects: []
         purity: leaf
@@ -460,52 +460,52 @@ classes:
         source: c
         cfunc: rb_io_readchar
         arity: 0
-        defined_at: references/ruby/io.c:15785
+        defined_at: references/ruby/io.c:15786
         c_body_at: references/ruby/io.c:5068
         c_effects: []
         purity: leaf
         rbs:
         - "() -> String"
-        rbs_at: references/rbs/core/io.rbs:1667
+        rbs_at: references/rbs/core/io.rbs:1685
       readbyte:
         source: c
         cfunc: rb_io_readbyte
         arity: 0
-        defined_at: references/ruby/io.c:15786
+        defined_at: references/ruby/io.c:15787
         c_body_at: references/ruby/io.c:5142
         c_effects: []
         purity: leaf
         rbs:
         - "() -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1649
+        rbs_at: references/rbs/core/io.rbs:1667
       ungetbyte:
         source: c
         cfunc: rb_io_ungetbyte
         arity: 1
-        defined_at: references/ruby/io.c:15787
+        defined_at: references/ruby/io.c:15788
         c_body_at: references/ruby/io.c:5191
         c_effects: []
         purity: leaf
         rbs:
         - "(String | Integer object) -> nil"
-        rbs_at: references/rbs/core/io.rbs:2208
+        rbs_at: references/rbs/core/io.rbs:2226
       ungetc:
         source: c
         cfunc: rb_io_ungetc
         arity: 1
-        defined_at: references/ruby/io.c:15788
+        defined_at: references/ruby/io.c:15789
         c_body_at: references/ruby/io.c:5255
         c_effects:
         - raises
         purity: leaf
         rbs:
         - "(String object) -> nil"
-        rbs_at: references/rbs/core/io.rbs:2250
+        rbs_at: references/rbs/core/io.rbs:2268
       !!str '<<':
         source: c
         cfunc: rb_io_addstr
         arity: 1
-        defined_at: references/ruby/io.c:15789
+        defined_at: references/ruby/io.c:15790
         c_body_at: references/ruby/io.c:2382
         c_effects: []
         purity: leaf
@@ -516,7 +516,7 @@ classes:
         source: c
         cfunc: rb_io_flush
         arity: 0
-        defined_at: references/ruby/io.c:15790
+        defined_at: references/ruby/io.c:15791
         c_body_at: references/ruby/io.c:2438
         c_effects: []
         purity: leaf
@@ -527,40 +527,40 @@ classes:
         source: c
         cfunc: rb_io_tell
         arity: 0
-        defined_at: references/ruby/io.c:15791
+        defined_at: references/ruby/io.c:15792
         c_body_at: references/ruby/io.c:2460
         c_effects: []
         purity: leaf
         rbs:
         - "() -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2098
+        rbs_at: references/rbs/core/io.rbs:2116
       seek:
         source: c
         cfunc: rb_io_seek_m
         arity: -1
-        defined_at: references/ruby/io.c:15792
+        defined_at: references/ruby/io.c:15793
         c_body_at: references/ruby/io.c:2554
         c_effects: []
         purity: leaf
         rbs:
         - "(Integer amount, ?Integer whence) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1935
+        rbs_at: references/rbs/core/io.rbs:1953
       rewind:
         source: c
         cfunc: rb_io_rewind
         arity: 0
-        defined_at: references/ruby/io.c:15807
+        defined_at: references/ruby/io.c:15808
         c_body_at: references/ruby/io.c:2624
         c_effects: []
         purity: leaf
         rbs:
         - "() -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1889
+        rbs_at: references/rbs/core/io.rbs:1907
       pos:
         source: c
         cfunc: rb_io_tell
         arity: 0
-        defined_at: references/ruby/io.c:15808
+        defined_at: references/ruby/io.c:15809
         c_body_at: references/ruby/io.c:2460
         c_effects: []
         purity: leaf
@@ -568,18 +568,18 @@ classes:
         source: c
         cfunc: rb_io_set_pos
         arity: 1
-        defined_at: references/ruby/io.c:15809
+        defined_at: references/ruby/io.c:15810
         c_body_at: references/ruby/io.c:2584
         c_effects: []
         purity: leaf
         rbs:
         - "(Integer new_position) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1316
+        rbs_at: references/rbs/core/io.rbs:1334
       eof:
         source: c
         cfunc: rb_io_eof
         arity: 0
-        defined_at: references/ruby/io.c:15810
+        defined_at: references/ruby/io.c:15811
         c_body_at: references/ruby/io.c:2724
         c_effects: []
         purity: leaf
@@ -590,7 +590,7 @@ classes:
         source: c
         cfunc: rb_io_eof
         arity: 0
-        defined_at: references/ruby/io.c:15811
+        defined_at: references/ruby/io.c:15812
         c_body_at: references/ruby/io.c:2724
         c_effects: []
         purity: leaf
@@ -598,7 +598,7 @@ classes:
         source: c
         cfunc: rb_io_close_on_exec_p
         arity: 0
-        defined_at: references/ruby/io.c:15813
+        defined_at: references/ruby/io.c:15814
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -608,7 +608,7 @@ classes:
         source: c
         cfunc: rb_io_set_close_on_exec
         arity: 1
-        defined_at: references/ruby/io.c:15814
+        defined_at: references/ruby/io.c:15815
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -618,7 +618,7 @@ classes:
         source: c
         cfunc: rb_io_close_m
         arity: 0
-        defined_at: references/ruby/io.c:15816
+        defined_at: references/ruby/io.c:15817
         c_body_at: references/ruby/io.c:5816
         c_effects: []
         purity: leaf
@@ -629,7 +629,7 @@ classes:
         source: c
         cfunc: rb_io_closed_p
         arity: 0
-        defined_at: references/ruby/io.c:15817
+        defined_at: references/ruby/io.c:15818
         c_body_at: references/ruby/io.c:5881
         c_effects: []
         purity: leaf
@@ -640,7 +640,7 @@ classes:
         source: c
         cfunc: rb_io_close_read
         arity: 0
-        defined_at: references/ruby/io.c:15818
+        defined_at: references/ruby/io.c:15819
         c_body_at: references/ruby/io.c:5932
         c_effects:
         - raises
@@ -652,7 +652,7 @@ classes:
         source: c
         cfunc: rb_io_close_write
         arity: 0
-        defined_at: references/ruby/io.c:15819
+        defined_at: references/ruby/io.c:15820
         c_body_at: references/ruby/io.c:6005
         c_effects:
         - raises
@@ -664,18 +664,18 @@ classes:
         source: c
         cfunc: rb_io_isatty
         arity: 0
-        defined_at: references/ruby/io.c:15821
+        defined_at: references/ruby/io.c:15822
         c_body_at: references/ruby/io.c:5313
         c_effects: []
         purity: leaf
         rbs:
         - "() -> bool"
-        rbs_at: references/rbs/core/io.rbs:1245
+        rbs_at: references/rbs/core/io.rbs:1263
       tty?:
         source: c
         cfunc: rb_io_isatty
         arity: 0
-        defined_at: references/ruby/io.c:15822
+        defined_at: references/ruby/io.c:15823
         c_body_at: references/ruby/io.c:5313
         c_effects: []
         purity: leaf
@@ -683,7 +683,7 @@ classes:
         source: c
         cfunc: rb_io_binmode_m
         arity: 0
-        defined_at: references/ruby/io.c:15823
+        defined_at: references/ruby/io.c:15824
         c_body_at: references/ruby/io.c:6428
         c_effects: []
         purity: leaf
@@ -694,7 +694,7 @@ classes:
         source: c
         cfunc: rb_io_binmode_p
         arity: 0
-        defined_at: references/ruby/io.c:15824
+        defined_at: references/ruby/io.c:15825
         c_body_at: references/ruby/io.c:6449
         c_effects: []
         purity: leaf
@@ -705,19 +705,19 @@ classes:
         source: c
         cfunc: rb_io_sysseek
         arity: -1
-        defined_at: references/ruby/io.c:15825
+        defined_at: references/ruby/io.c:15826
         c_body_at: references/ruby/io.c:6049
         c_effects:
         - raises
         purity: leaf
         rbs:
         - "(Integer amount, ?Integer whence) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2063
+        rbs_at: references/rbs/core/io.rbs:2081
       advise:
         source: c
         cfunc: rb_io_advise
         arity: -1
-        defined_at: references/ruby/io.c:15826
+        defined_at: references/ruby/io.c:15827
         c_body_at: references/ruby/io.c:10972
         c_effects: []
         purity: leaf
@@ -729,7 +729,7 @@ classes:
         source: c
         cfunc: rb_io_ioctl
         arity: -1
-        defined_at: references/ruby/io.c:15828
+        defined_at: references/ruby/io.c:15829
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -739,7 +739,7 @@ classes:
         source: c
         cfunc: rb_io_fcntl
         arity: -1
-        defined_at: references/ruby/io.c:15829
+        defined_at: references/ruby/io.c:15830
         purity: unknown
         c_body_at: not_found
         rbs:
@@ -749,29 +749,29 @@ classes:
         source: c
         cfunc: rb_io_pid
         arity: 0
-        defined_at: references/ruby/io.c:15830
+        defined_at: references/ruby/io.c:15831
         c_body_at: references/ruby/io.c:2977
         c_effects: []
         purity: leaf
         rbs:
         - "() -> Integer"
-        rbs_at: references/rbs/core/io.rbs:1299
+        rbs_at: references/rbs/core/io.rbs:1317
       path:
         source: c
         cfunc: rb_io_path
         arity: 0
-        defined_at: references/ruby/io.c:15832
+        defined_at: references/ruby/io.c:15833
         c_body_at: references/ruby/io.c:3001
         c_effects: []
         purity: leaf
         rbs:
         - "() -> String?"
-        rbs_at: references/rbs/core/io.rbs:1277
+        rbs_at: references/rbs/core/io.rbs:1295
       to_path:
         source: c
         cfunc: rb_io_path
         arity: 0
-        defined_at: references/ruby/io.c:15833
+        defined_at: references/ruby/io.c:15834
         c_body_at: references/ruby/io.c:3001
         c_effects: []
         purity: leaf
@@ -779,7 +779,7 @@ classes:
         source: c
         cfunc: rb_io_inspect
         arity: 0
-        defined_at: references/ruby/io.c:15835
+        defined_at: references/ruby/io.c:15836
         c_body_at: references/ruby/io.c:3024
         c_effects: []
         purity: leaf
@@ -790,7 +790,7 @@ classes:
         source: c
         cfunc: rb_io_external_encoding
         arity: 0
-        defined_at: references/ruby/io.c:15837
+        defined_at: references/ruby/io.c:15838
         c_body_at: references/ruby/io.c:13465
         c_effects: []
         purity: leaf
@@ -798,7 +798,7 @@ classes:
         source: c
         cfunc: rb_io_internal_encoding
         arity: 0
-        defined_at: references/ruby/io.c:15838
+        defined_at: references/ruby/io.c:15839
         c_body_at: references/ruby/io.c:13493
         c_effects: []
         purity: leaf
@@ -809,7 +809,7 @@ classes:
         source: c
         cfunc: rb_io_set_encoding
         arity: -1
-        defined_at: references/ruby/io.c:15839
+        defined_at: references/ruby/io.c:15840
         c_body_at: references/ruby/io.c:13532
         c_effects: []
         purity: leaf
@@ -817,24 +817,24 @@ classes:
         - "(?String | Encoding ext_or_ext_int_enc) -> self"
         - "(?String | Encoding ext_or_ext_int_enc, ?String | Encoding int_enc) ->
           self"
-        rbs_at: references/rbs/core/io.rbs:1961
+        rbs_at: references/rbs/core/io.rbs:1979
       set_encoding_by_bom:
         source: c
         cfunc: rb_io_set_encoding_by_bom
         arity: 0
-        defined_at: references/ruby/io.c:15840
+        defined_at: references/ruby/io.c:15841
         c_body_at: references/ruby/io.c:9626
         c_effects:
         - raises
         purity: leaf
         rbs:
         - "() -> Encoding?"
-        rbs_at: references/rbs/core/io.rbs:1986
+        rbs_at: references/rbs/core/io.rbs:2004
       autoclose?:
         source: c
         cfunc: rb_io_autoclose_p
         arity: 0
-        defined_at: references/ruby/io.c:15842
+        defined_at: references/ruby/io.c:15843
         c_body_at: references/ruby/io.c:9743
         c_effects: []
         purity: leaf
@@ -845,7 +845,7 @@ classes:
         source: c
         cfunc: rb_io_set_autoclose
         arity: 1
-        defined_at: references/ruby/io.c:15843
+        defined_at: references/ruby/io.c:15844
         c_body_at: references/ruby/io.c:9768
         c_effects: []
         purity: leaf
@@ -856,7 +856,7 @@ classes:
         source: c
         cfunc: io_wait
         arity: -1
-        defined_at: references/ruby/io.c:15845
+        defined_at: references/ruby/io.c:15846
         c_body_at: references/ruby/io.c:9940
         c_effects:
         - raises
@@ -865,7 +865,7 @@ classes:
         source: c
         cfunc: io_wait_readable
         arity: -1
-        defined_at: references/ruby/io.c:15847
+        defined_at: references/ruby/io.c:15848
         c_body_at: references/ruby/io.c:9812
         c_effects: []
         purity: leaf
@@ -873,7 +873,7 @@ classes:
         source: c
         cfunc: io_wait_writable
         arity: -1
-        defined_at: references/ruby/io.c:15848
+        defined_at: references/ruby/io.c:15849
         c_body_at: references/ruby/io.c:9836
         c_effects: []
         purity: leaf
@@ -881,7 +881,7 @@ classes:
         source: c
         cfunc: io_wait_priority
         arity: -1
-        defined_at: references/ruby/io.c:15849
+        defined_at: references/ruby/io.c:15850
         c_body_at: references/ruby/io.c:9859
         c_effects: []
         purity: leaf
@@ -896,10 +896,10 @@ classes:
         cfunc:
         defined_at: references/ruby/io.rb:62
         rbs:
-        - "(int len, ?string buf, ?exception: true) -> String"
-        - "(int len, ?string buf, exception: false) -> (String | :wait_readable |
+        - "(int len, ?string? buf, ?exception: true) -> String"
+        - "(int len, ?string? buf, exception: false) -> (String | :wait_readable |
           nil)"
-        rbs_at: references/rbs/core/io.rbs:1630
+        rbs_at: references/rbs/core/io.rbs:1648
       write_nonblock:
         source: prelude
         prelude_attrs: []
@@ -913,7 +913,7 @@ classes:
         rbs:
         - "(_ToS s, ?exception: true) -> Integer"
         - "(_ToS s, exception: false) -> (Integer | :wait_writable | nil)"
-        rbs_at: references/rbs/core/io.rbs:2327
+        rbs_at: references/rbs/core/io.rbs:2345
       readline:
         source: prelude
         prelude_attrs: []
@@ -926,7 +926,7 @@ classes:
         defined_at: references/ruby/io.rb:133
         rbs:
         - "(?String sep, ?Integer limit, ?chomp: boolish) -> String"
-        rbs_at: references/rbs/core/io.rbs:1680
+        rbs_at: references/rbs/core/io.rbs:1698
     singleton_methods:
       new:
         source: c
@@ -955,7 +955,7 @@ classes:
           | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding:
           String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose:
           boolish, ?mode: String) { (instance) -> X } -> X"
-        rbs_at: references/rbs/core/io.rbs:3051
+        rbs_at: references/rbs/core/io.rbs:3069
       sysopen:
         source: c
         cfunc: rb_io_s_sysopen
@@ -966,7 +966,7 @@ classes:
         purity: leaf
         rbs:
         - "(String path, ?String mode, ?String perm) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2974
+        rbs_at: references/rbs/core/io.rbs:2992
       for_fd:
         source: c
         cfunc: rb_io_s_for_fd
@@ -1011,7 +1011,7 @@ classes:
           bool, ?pgroup: true | Integer, ?umask: Integer, ?in: Kernel::redirect_fd,
           ?out: Kernel::redirect_fd, ?err: Kernel::redirect_fd, ?close_others: bool,
           ?chdir: String) { (instance) -> X } -> X"
-        rbs_at: references/rbs/core/io.rbs:2560
+        rbs_at: references/rbs/core/io.rbs:2578
       foreach:
         source: c
         cfunc: rb_io_s_foreach
@@ -1029,7 +1029,7 @@ classes:
           | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String |
           Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish,
           ?mode: String, ?chomp: boolish) -> ::Enumerator[String, nil]"
-        rbs_at: references/rbs/core/io.rbs:2647
+        rbs_at: references/rbs/core/io.rbs:2665
       readlines:
         source: c
         cfunc: rb_io_s_readlines
@@ -1043,7 +1043,7 @@ classes:
           | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String |
           Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish,
           ?mode: String, ?chomp: boolish) -> ::Array[String]"
-        rbs_at: references/rbs/core/io.rbs:2814
+        rbs_at: references/rbs/core/io.rbs:2832
       read:
         source: c
         cfunc: rb_io_s_read
@@ -1058,7 +1058,7 @@ classes:
           | Encoding | nil, ?internal_encoding: String | Encoding | nil, ?encoding:
           String | Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose:
           boolish, ?mode: String) -> String"
-        rbs_at: references/rbs/core/io.rbs:2765
+        rbs_at: references/rbs/core/io.rbs:2783
       binread:
         source: c
         cfunc: rb_io_s_binread
@@ -1069,7 +1069,7 @@ classes:
         purity: leaf
         rbs:
         - "(path name, ?Integer? length, ?Integer offset) -> String"
-        rbs_at: references/rbs/core/io.rbs:2337
+        rbs_at: references/rbs/core/io.rbs:2355
       write:
         source: c
         cfunc: rb_io_s_write
@@ -1083,7 +1083,7 @@ classes:
           | nil, ?internal_encoding: String | Encoding | nil, ?encoding: String |
           Encoding | nil, ?textmode: boolish, ?binmode: boolish, ?autoclose: boolish,
           ?mode: String) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:3029
+        rbs_at: references/rbs/core/io.rbs:3047
       binwrite:
         source: c
         cfunc: rb_io_s_binwrite
@@ -1094,7 +1094,7 @@ classes:
         purity: leaf
         rbs:
         - "(path name, _ToS string, ?Integer offset, ?mode: String mode) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2346
+        rbs_at: references/rbs/core/io.rbs:2364
       select:
         source: c
         cfunc: rb_f_select
@@ -1109,7 +1109,7 @@ classes:
         - "[X, Y, Z] (::Array[X & io]? read_array, ?::Array[Y & io]? write_array,
           ?::Array[Z & io]? error_array, Time::_Timeout? timeout) -> [ Array[X], Array[Y],
           Array[Z] ]?"
-        rbs_at: references/rbs/core/io.rbs:2957
+        rbs_at: references/rbs/core/io.rbs:2975
       pipe:
         source: c
         cfunc: rb_io_s_pipe
@@ -1130,7 +1130,7 @@ classes:
           String | Encoding | nil, ?encoding: String | Encoding | nil, ?textmode:
           boolish, ?binmode: boolish, ?autoclose: boolish, ?mode: String, ?chomp:
           boolish) { (IO read_io, IO write_io) -> X } -> X"
-        rbs_at: references/rbs/core/io.rbs:2726
+        rbs_at: references/rbs/core/io.rbs:2744
       try_convert:
         source: c
         cfunc: rb_io_s_try_convert
@@ -1142,7 +1142,7 @@ classes:
         rbs:
         - "(_ToIO obj) -> IO"
         - "(untyped obj) -> IO?"
-        rbs_at: references/rbs/core/io.rbs:2987
+        rbs_at: references/rbs/core/io.rbs:3005
       copy_stream:
         source: c
         cfunc: rb_io_s_copy_stream
@@ -1154,26 +1154,26 @@ classes:
         rbs:
         - "(String | _Reader | _ReaderPartial src, String | _Writer dst, ?Integer?
           copy_length, ?Integer src_offset) -> Integer"
-        rbs_at: references/rbs/core/io.rbs:2398
+        rbs_at: references/rbs/core/io.rbs:2416
     undefined: []
   ARGF:
     parent: Object
-    defined_at: references/ruby/io.c:15880
+    defined_at: references/ruby/io.c:15881
     includes:
     - module: Enumerable
-      defined_at: references/ruby/io.c:15887
+      defined_at: references/ruby/io.c:15888
     constants: {}
     aliases:
       inspect:
         old: to_s
         source: c
-        defined_at: references/ruby/io.c:15892
+        defined_at: references/ruby/io.c:15893
     instance_methods:
       initialize:
         source: c
         cfunc: argf_initialize
         arity: -2
-        defined_at: references/ruby/io.c:15889
+        defined_at: references/ruby/io.c:15890
         c_body_at: references/ruby/io.c:10038
         c_effects: []
         purity: leaf
@@ -1181,7 +1181,7 @@ classes:
         source: c
         cfunc: argf_initialize_copy
         arity: 1
-        defined_at: references/ruby/io.c:15890
+        defined_at: references/ruby/io.c:15891
         c_body_at: references/ruby/io.c:10048
         c_effects: []
         purity: leaf
@@ -1189,7 +1189,7 @@ classes:
         source: c
         cfunc: argf_to_s
         arity: 0
-        defined_at: references/ruby/io.c:15891
+        defined_at: references/ruby/io.c:15892
         c_body_at: references/ruby/io.c:14543
         c_effects: []
         purity: leaf
@@ -1197,7 +1197,7 @@ classes:
         source: c
         cfunc: argf_argv
         arity: 0
-        defined_at: references/ruby/io.c:15893
+        defined_at: references/ruby/io.c:15894
         c_body_at: references/ruby/io.c:14633
         c_effects: []
         purity: leaf
@@ -1205,7 +1205,7 @@ classes:
         source: c
         cfunc: argf_fileno
         arity: 0
-        defined_at: references/ruby/io.c:15895
+        defined_at: references/ruby/io.c:15896
         c_body_at: references/ruby/io.c:13773
         c_effects:
         - raises
@@ -1214,7 +1214,7 @@ classes:
         source: c
         cfunc: argf_fileno
         arity: 0
-        defined_at: references/ruby/io.c:15896
+        defined_at: references/ruby/io.c:15897
         c_body_at: references/ruby/io.c:13773
         c_effects:
         - raises
@@ -1223,7 +1223,7 @@ classes:
         source: c
         cfunc: argf_to_io
         arity: 0
-        defined_at: references/ruby/io.c:15897
+        defined_at: references/ruby/io.c:15898
         c_body_at: references/ruby/io.c:13795
         c_effects: []
         purity: leaf
@@ -1231,7 +1231,7 @@ classes:
         source: c
         cfunc: argf_write_io
         arity: 0
-        defined_at: references/ruby/io.c:15898
+        defined_at: references/ruby/io.c:15899
         c_body_at: references/ruby/io.c:14658
         c_effects:
         - raises
@@ -1240,7 +1240,7 @@ classes:
         source: c
         cfunc: argf_each_line
         arity: -1
-        defined_at: references/ruby/io.c:15899
+        defined_at: references/ruby/io.c:15900
         c_body_at: references/ruby/io.c:14276
         c_effects: []
         purity: leaf
@@ -1248,7 +1248,7 @@ classes:
         source: c
         cfunc: argf_each_line
         arity: -1
-        defined_at: references/ruby/io.c:15900
+        defined_at: references/ruby/io.c:15901
         c_body_at: references/ruby/io.c:14276
         c_effects: []
         purity: leaf
@@ -1256,7 +1256,7 @@ classes:
         source: c
         cfunc: argf_each_byte
         arity: 0
-        defined_at: references/ruby/io.c:15901
+        defined_at: references/ruby/io.c:15902
         c_body_at: references/ruby/io.c:14307
         c_effects: []
         purity: leaf
@@ -1264,7 +1264,7 @@ classes:
         source: c
         cfunc: argf_each_char
         arity: 0
-        defined_at: references/ruby/io.c:15902
+        defined_at: references/ruby/io.c:15903
         c_body_at: references/ruby/io.c:14333
         c_effects: []
         purity: leaf
@@ -1272,7 +1272,7 @@ classes:
         source: c
         cfunc: argf_each_codepoint
         arity: 0
-        defined_at: references/ruby/io.c:15903
+        defined_at: references/ruby/io.c:15904
         c_body_at: references/ruby/io.c:14359
         c_effects: []
         purity: leaf
@@ -1280,7 +1280,7 @@ classes:
         source: c
         cfunc: argf_read
         arity: -1
-        defined_at: references/ruby/io.c:15905
+        defined_at: references/ruby/io.c:15906
         c_body_at: references/ruby/io.c:13884
         c_effects:
         - mutate
@@ -1289,7 +1289,7 @@ classes:
         source: c
         cfunc: argf_readpartial
         arity: -1
-        defined_at: references/ruby/io.c:15906
+        defined_at: references/ruby/io.c:15907
         c_body_at: references/ruby/io.c:13966
         c_effects: []
         purity: leaf
@@ -1297,7 +1297,7 @@ classes:
         source: c
         cfunc: argf_read_nonblock
         arity: -1
-        defined_at: references/ruby/io.c:15907
+        defined_at: references/ruby/io.c:15908
         c_body_at: references/ruby/io.c:13980
         c_effects: []
         purity: leaf
@@ -1305,7 +1305,7 @@ classes:
         source: c
         cfunc: argf_readlines
         arity: -1
-        defined_at: references/ruby/io.c:15908
+        defined_at: references/ruby/io.c:15909
         c_body_at: references/ruby/io.c:10611
         c_effects:
         - mutate
@@ -1314,7 +1314,7 @@ classes:
         source: c
         cfunc: argf_readlines
         arity: -1
-        defined_at: references/ruby/io.c:15909
+        defined_at: references/ruby/io.c:15910
         c_body_at: references/ruby/io.c:10611
         c_effects:
         - mutate
@@ -1323,7 +1323,7 @@ classes:
         source: c
         cfunc: argf_gets
         arity: -1
-        defined_at: references/ruby/io.c:15910
+        defined_at: references/ruby/io.c:15911
         c_body_at: references/ruby/io.c:10425
         c_effects: []
         purity: leaf
@@ -1331,7 +1331,7 @@ classes:
         source: c
         cfunc: argf_readline
         arity: -1
-        defined_at: references/ruby/io.c:15911
+        defined_at: references/ruby/io.c:15912
         c_body_at: references/ruby/io.c:10508
         c_effects: []
         purity: leaf
@@ -1339,7 +1339,7 @@ classes:
         source: c
         cfunc: argf_getc
         arity: 0
-        defined_at: references/ruby/io.c:15912
+        defined_at: references/ruby/io.c:15913
         c_body_at: references/ruby/io.c:14063
         c_effects: []
         purity: leaf
@@ -1347,7 +1347,7 @@ classes:
         source: c
         cfunc: argf_getbyte
         arity: 0
-        defined_at: references/ruby/io.c:15913
+        defined_at: references/ruby/io.c:15914
         c_body_at: references/ruby/io.c:14103
         c_effects: []
         purity: leaf
@@ -1355,7 +1355,7 @@ classes:
         source: c
         cfunc: argf_readchar
         arity: 0
-        defined_at: references/ruby/io.c:15914
+        defined_at: references/ruby/io.c:15915
         c_body_at: references/ruby/io.c:14143
         c_effects: []
         purity: leaf
@@ -1363,7 +1363,7 @@ classes:
         source: c
         cfunc: argf_readbyte
         arity: 0
-        defined_at: references/ruby/io.c:15915
+        defined_at: references/ruby/io.c:15916
         c_body_at: references/ruby/io.c:14183
         c_effects: []
         purity: leaf
@@ -1371,7 +1371,7 @@ classes:
         source: c
         cfunc: argf_tell
         arity: 0
-        defined_at: references/ruby/io.c:15916
+        defined_at: references/ruby/io.c:15917
         c_body_at: references/ruby/io.c:13685
         c_effects:
         - raises
@@ -1380,7 +1380,7 @@ classes:
         source: c
         cfunc: argf_seek_m
         arity: -1
-        defined_at: references/ruby/io.c:15917
+        defined_at: references/ruby/io.c:15918
         c_body_at: references/ruby/io.c:13702
         c_effects:
         - raises
@@ -1389,7 +1389,7 @@ classes:
         source: c
         cfunc: argf_rewind
         arity: 0
-        defined_at: references/ruby/io.c:15918
+        defined_at: references/ruby/io.c:15919
         c_body_at: references/ruby/io.c:13745
         c_effects:
         - raises
@@ -1398,7 +1398,7 @@ classes:
         source: c
         cfunc: argf_tell
         arity: 0
-        defined_at: references/ruby/io.c:15919
+        defined_at: references/ruby/io.c:15920
         c_body_at: references/ruby/io.c:13685
         c_effects:
         - raises
@@ -1407,7 +1407,7 @@ classes:
         source: c
         cfunc: argf_set_pos
         arity: 1
-        defined_at: references/ruby/io.c:15920
+        defined_at: references/ruby/io.c:15921
         c_body_at: references/ruby/io.c:13723
         c_effects:
         - raises
@@ -1416,7 +1416,7 @@ classes:
         source: c
         cfunc: argf_eof
         arity: 0
-        defined_at: references/ruby/io.c:15921
+        defined_at: references/ruby/io.c:15922
         c_body_at: references/ruby/io.c:13821
         c_effects: []
         purity: leaf
@@ -1424,7 +1424,7 @@ classes:
         source: c
         cfunc: argf_eof
         arity: 0
-        defined_at: references/ruby/io.c:15922
+        defined_at: references/ruby/io.c:15923
         c_body_at: references/ruby/io.c:13821
         c_effects: []
         purity: leaf
@@ -1432,7 +1432,7 @@ classes:
         source: c
         cfunc: argf_binmode_m
         arity: 0
-        defined_at: references/ruby/io.c:15923
+        defined_at: references/ruby/io.c:15924
         c_body_at: references/ruby/io.c:14440
         c_effects: []
         purity: leaf
@@ -1440,7 +1440,7 @@ classes:
         source: c
         cfunc: argf_binmode_p
         arity: 0
-        defined_at: references/ruby/io.c:15924
+        defined_at: references/ruby/io.c:15925
         c_body_at: references/ruby/io.c:14463
         c_effects: []
         purity: leaf
@@ -1448,7 +1448,7 @@ classes:
         source: c
         cfunc: argf_write
         arity: -1
-        defined_at: references/ruby/io.c:15926
+        defined_at: references/ruby/io.c:15927
         c_body_at: references/ruby/io.c:14673
         c_effects: []
         purity: leaf
@@ -1456,7 +1456,7 @@ classes:
         source: c
         cfunc: rb_io_print
         arity: -1
-        defined_at: references/ruby/io.c:15927
+        defined_at: references/ruby/io.c:15928
         c_body_at: references/ruby/io.c:8748
         c_effects: []
         purity: leaf
@@ -1464,7 +1464,7 @@ classes:
         source: c
         cfunc: rb_io_putc
         arity: 1
-        defined_at: references/ruby/io.c:15928
+        defined_at: references/ruby/io.c:15929
         c_body_at: references/ruby/io.c:8853
         c_effects: []
         purity: leaf
@@ -1472,7 +1472,7 @@ classes:
         source: c
         cfunc: rb_io_puts
         arity: -1
-        defined_at: references/ruby/io.c:15929
+        defined_at: references/ruby/io.c:15930
         c_body_at: references/ruby/io.c:8980
         c_effects:
         - dispatch
@@ -1481,7 +1481,7 @@ classes:
         source: c
         cfunc: rb_io_printf
         arity: -1
-        defined_at: references/ruby/io.c:15930
+        defined_at: references/ruby/io.c:15931
         c_body_at: references/ruby/io.c:8615
         c_effects: []
         purity: leaf
@@ -1489,7 +1489,7 @@ classes:
         source: c
         cfunc: argf_filename
         arity: 0
-        defined_at: references/ruby/io.c:15932
+        defined_at: references/ruby/io.c:15933
         c_body_at: references/ruby/io.c:14391
         c_effects: []
         purity: leaf
@@ -1497,7 +1497,7 @@ classes:
         source: c
         cfunc: argf_filename
         arity: 0
-        defined_at: references/ruby/io.c:15933
+        defined_at: references/ruby/io.c:15934
         c_body_at: references/ruby/io.c:14391
         c_effects: []
         purity: leaf
@@ -1505,7 +1505,7 @@ classes:
         source: c
         cfunc: argf_file
         arity: 0
-        defined_at: references/ruby/io.c:15934
+        defined_at: references/ruby/io.c:15935
         c_body_at: references/ruby/io.c:14422
         c_effects: []
         purity: leaf
@@ -1513,7 +1513,7 @@ classes:
         source: c
         cfunc: argf_skip
         arity: 0
-        defined_at: references/ruby/io.c:15935
+        defined_at: references/ruby/io.c:15936
         c_body_at: references/ruby/io.c:14483
         c_effects: []
         purity: leaf
@@ -1521,7 +1521,7 @@ classes:
         source: c
         cfunc: argf_close_m
         arity: 0
-        defined_at: references/ruby/io.c:15936
+        defined_at: references/ruby/io.c:15937
         c_body_at: references/ruby/io.c:14510
         c_effects: []
         purity: leaf
@@ -1529,7 +1529,7 @@ classes:
         source: c
         cfunc: argf_closed
         arity: 0
-        defined_at: references/ruby/io.c:15937
+        defined_at: references/ruby/io.c:15938
         c_body_at: references/ruby/io.c:14529
         c_effects: []
         purity: leaf
@@ -1537,7 +1537,7 @@ classes:
         source: c
         cfunc: argf_lineno
         arity: 0
-        defined_at: references/ruby/io.c:15939
+        defined_at: references/ruby/io.c:15940
         c_body_at: references/ruby/io.c:10096
         c_effects: []
         purity: leaf
@@ -1545,7 +1545,7 @@ classes:
         source: c
         cfunc: argf_set_lineno
         arity: 1
-        defined_at: references/ruby/io.c:15940
+        defined_at: references/ruby/io.c:15941
         c_body_at: references/ruby/io.c:10075
         c_effects: []
         purity: leaf
@@ -1553,7 +1553,7 @@ classes:
         source: c
         cfunc: argf_inplace_mode_get
         arity: 0
-        defined_at: references/ruby/io.c:15942
+        defined_at: references/ruby/io.c:15943
         c_body_at: references/ruby/io.c:14557
         c_effects: []
         purity: leaf
@@ -1561,7 +1561,7 @@ classes:
         source: c
         cfunc: argf_inplace_mode_set
         arity: 1
-        defined_at: references/ruby/io.c:15943
+        defined_at: references/ruby/io.c:15944
         c_body_at: references/ruby/io.c:14592
         c_effects: []
         purity: leaf
@@ -1569,7 +1569,7 @@ classes:
         source: c
         cfunc: argf_external_encoding
         arity: 0
-        defined_at: references/ruby/io.c:15945
+        defined_at: references/ruby/io.c:15946
         c_body_at: references/ruby/io.c:13603
         c_effects: []
         purity: leaf
@@ -1577,7 +1577,7 @@ classes:
         source: c
         cfunc: argf_internal_encoding
         arity: 0
-        defined_at: references/ruby/io.c:15946
+        defined_at: references/ruby/io.c:15947
         c_body_at: references/ruby/io.c:13622
         c_effects: []
         purity: leaf
@@ -1585,7 +1585,7 @@ classes:
         source: c
         cfunc: argf_set_encoding
         arity: -1
-        defined_at: references/ruby/io.c:15947
+        defined_at: references/ruby/io.c:15948
         c_body_at: references/ruby/io.c:13659
         c_effects:
         - raises