rbs 2.2.2 → 2.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d38dbf926f1fd55787f5d4a70ed5e31ce737e040b698e2aa3d5f68ab14a8b791
-  data.tar.gz: 0d86ba79682c662bc3ab2058a0e4464be43d8a317e58194c0e7dfd1f8aaec735
+  metadata.gz: f16a35868e75e53f28b6c63c095c60190f14e3eecb9d30b87046d184646176dd
+  data.tar.gz: 123998b67c9b926af173e64adeb0e9437ff784d13d960d50219274f472c36973
 SHA512:
-  metadata.gz: 25801791a12dfe85b729fc0e72eb9ebdb0e801c3c1fe3a1f8d9ec2ded0476e8b2a35a7ac520f034a1d8fe2e954bf4bc6d59caaaf9136286cd5844e8f3d8ae7da
-  data.tar.gz: b5ad3e185184b6ffcb786379abd5909284bab2a680ece911db40fccc7b8d258a52d588114ee99178c00b1d5bcf2030698c7e9db94b7b00b3d2ea88d269dd9de7
+  metadata.gz: f9ba3b43d4dbf19239b4ece9443d5da88ff2ca62cf73bfa102464537ecad3a3893b2d6de97679e51d25c2abd5bc43cfb69d608227aa779b6352a9a9ae78c1cac
+  data.tar.gz: cdec18fab9146ce955a5b10b74f9c068a8ebec8a229bf9019ec2772d99e47b57ece38342cb71a8b9b2740d99106151b6fa91e3a6c2c80685a386f58c63eb5757

data/.github/dependabot.yml

@@ -8,3 +8,7 @@ updates:
     directory: "/steep"
     schedule:
       interval: "daily"
+  - package-ecosystem: 'github-actions'
+    directory: '/'
+    schedule:
+      interval: 'weekly'

data/.github/workflows/comments.yml

@@ -12,11 +12,11 @@ jobs:
     container:
       image: rubylang/ruby:3.1-focal
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: Install dependencies
       run: |
         apt-get update
-        apt-get install -y libdb-dev
+        apt-get install -y libdb-dev curl
     - name: Update rubygems & bundler
       run: |
         ruby -v

data/.github/workflows/ruby.yml

@@ -35,7 +35,7 @@ jobs:
     container:
       image: rubylang/ruby:${{ matrix.container_tag }}
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: Install dependencies
       run: |
         apt-get update

data/.gitignore

@@ -14,7 +14,6 @@
 **/.rbenv-version
 **/.versions.conf
 /vendor/sigs
-/Gemfile.lock
 
 lib/**/*.bundle
 lib/**/*.so

data/CHANGELOG.md

@@ -2,6 +2,49 @@
 
 ## master
 
+## 2.3.0 (2022-04-01)
+
+### Signature updates
+
+* `Enumerator` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `FalseClass` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `Integer` ([\#914](https://github.com/ruby/rbs/pull/914))
+* `Module` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `NilClass` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `Object` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `Prime` ([\#934](https://github.com/ruby/rbs/pull/934))
+* `TracePoint` ([\#941](https://github.com/ruby/rbs/pull/941))
+* `TrueClass` ([\#931](https://github.com/ruby/rbs/pull/931))
+* `#to_d` ([\#936](https://github.com/ruby/rbs/pull/936))
+* `IO#wait_writable` ([\#943](https://github.com/ruby/rbs/pull/943))
+
+### Library changes
+
+* Add `Resolver::ConstantResolver` and `Resolver::TypeNameResolver` ([\#938](https://github.com/ruby/rbs/pull/938))
+* Fix RBS::Locator ([\#930](https://github.com/ruby/rbs/pull/930))
+* Trying to preserve more locations ([\#915](https://github.com/ruby/rbs/pull/915))
+* Add visibility modifier to method definition json ([\#923](https://github.com/ruby/rbs/pull/923), [\#928](https://github.com/ruby/rbs/pull/928))
+* Add manifest.yaml for rbs gem ([\#921](https://github.com/ruby/rbs/pull/921))
+* Fix Environment type checking ([\#929](https://github.com/ruby/rbs/pull/929))
+* Fix memory violation in C extension ([\#952](https://github.com/ruby/rbs/pull/952))
+* Fix warnings in C extension ([\#954](https://github.com/ruby/rbs/pull/954))
+
+#### rbs prototype
+
+* Better typing for known `self`-returning method calls ([\#932](https://github.com/ruby/rbs/pull/932))
+* Let constants have literal types ([\#937](https://github.com/ruby/rbs/pull/937))
+
+#### rbs collection
+
+* Fix error message to tell gem name when source is not found ([\#927](https://github.com/ruby/rbs/pull/927))
+
+### Miscellaneous
+
+* Fix `bin/sort` for constants ([\#919](https://github.com/ruby/rbs/pull/919))
+* Use actions/checkout@v3 ([\#944](https://github.com/ruby/rbs/pull/944))
+* Added actions ecosystem for dependabot ([\#946](https://github.com/ruby/rbs/pull/946))
+* Confirm RDoc is up to date ([\#945](https://github.com/ruby/rbs/pull/945))
+
 ## 2.2.2 (2022-02-22)
 
 ### Signature updates

data/Gemfile

@@ -8,7 +8,6 @@ gem "rake"
 gem "rake-compiler"
 gem "test-unit"
 gem "rspec"
-gem "racc"
 gem "rubocop"
 gem "rubocop-rubycw"
 gem "json"
@@ -18,6 +17,8 @@ gem "goodcheck"
 gem "dbm"
 gem 'digest'
 gem 'tempfile'
+gem "prime"
+gem "rdoc"
 
 # Test gems
 gem "rbs-amber", path: "test/assets/test-gem"

data/Gemfile.lock

@@ -0,0 +1,117 @@
+PATH
+  remote: .
+  specs:
+    rbs (2.3.0)
+
+PATH
+  remote: test/assets/test-gem
+  specs:
+    rbs-amber (1.0.0)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    addressable (2.8.0)
+      public_suffix (>= 2.0.2, < 5.0)
+    ast (2.4.2)
+    dbm (1.1.0)
+    debase (0.2.5.beta2)
+      debase-ruby_core_source (>= 0.10.12)
+    debase-ruby_core_source (0.10.14)
+    diff-lcs (1.5.0)
+    digest (3.1.0)
+    forwardable (1.3.2)
+    goodcheck (3.1.0)
+      marcel (>= 1.0, < 2.0)
+      psych (>= 3.1, < 5.0)
+      rainbow (>= 3.0, < 4.0)
+      strong_json (>= 1.1, < 2.2)
+    json (2.6.1)
+    json-schema (2.8.1)
+      addressable (>= 2.4)
+    marcel (1.0.2)
+    minitest (5.15.0)
+    parallel (1.22.1)
+    parser (3.1.1.0)
+      ast (~> 2.4.1)
+    power_assert (2.0.1)
+    prime (0.1.2)
+      forwardable
+      singleton
+    psych (4.0.3)
+      stringio
+    public_suffix (4.0.6)
+    rainbow (3.1.1)
+    rake (13.0.6)
+    rake-compiler (1.1.9)
+      rake
+    rdoc (6.4.0)
+      psych (>= 4.0.0)
+    regexp_parser (2.2.1)
+    rexml (3.2.5)
+    rspec (3.11.0)
+      rspec-core (~> 3.11.0)
+      rspec-expectations (~> 3.11.0)
+      rspec-mocks (~> 3.11.0)
+    rspec-core (3.11.0)
+      rspec-support (~> 3.11.0)
+    rspec-expectations (3.11.0)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.11.0)
+    rspec-mocks (3.11.1)
+      diff-lcs (>= 1.2.0, < 2.0)
+      rspec-support (~> 3.11.0)
+    rspec-support (3.11.0)
+    rubocop (1.26.1)
+      parallel (~> 1.10)
+      parser (>= 3.1.0.0)
+      rainbow (>= 2.2.2, < 4.0)
+      regexp_parser (>= 1.8, < 3.0)
+      rexml
+      rubocop-ast (>= 1.16.0, < 2.0)
+      ruby-progressbar (~> 1.7)
+      unicode-display_width (>= 1.4.0, < 3.0)
+    rubocop-ast (1.16.0)
+      parser (>= 3.1.1.0)
+    rubocop-rubycw (0.1.6)
+      rubocop (~> 1.0)
+    ruby-debug-ide (0.7.3)
+      rake (>= 0.8.1)
+    ruby-progressbar (1.11.0)
+    singleton (0.1.1)
+    stackprof (0.2.19)
+    stringio (3.0.1)
+    strong_json (2.1.2)
+    tempfile (0.1.2)
+    test-unit (3.5.3)
+      power_assert
+    unicode-display_width (2.1.0)
+
+PLATFORMS
+  ruby
+  x86_64-darwin-20
+
+DEPENDENCIES
+  dbm
+  debase (>= 0.2.5.beta2)
+  digest
+  goodcheck
+  json
+  json-schema
+  minitest
+  prime
+  rake
+  rake-compiler
+  rbs!
+  rbs-amber!
+  rdoc
+  rspec
+  rubocop
+  rubocop-rubycw
+  ruby-debug-ide
+  stackprof
+  tempfile
+  test-unit
+
+BUNDLED WITH
+   2.2.32

data/Rakefile

@@ -35,7 +35,7 @@ rule ".c" => ".re" do |t|
 end
 
 task :annotate do
-  sh "rbs annotate core stdlib"
+  sh "bin/generate_docs.sh"
 end
 
 task :confirm_annotation do

data/core/dir.rbs

@@ -406,7 +406,7 @@ class Dir
   #     Dir.glob("*.[^r]*")                 #=> ["config.h"]
   #     Dir.glob("*.{rb,h}")                #=> ["main.rb", "config.h"]
   #     Dir.glob("*")                       #=> ["config.h", "main.rb"]
-  #     Dir.glob("*", File::FNM_DOTMATCH)   #=> [".", "..", "config.h", "main.rb"]
+  #     Dir.glob("*", File::FNM_DOTMATCH)   #=> [".", "config.h", "main.rb"]
   #     Dir.glob(["*.rb", "*.h"])           #=> ["main.rb", "config.h"]
   #
   #     Dir.glob("**/*.rb")                 #=> ["main.rb",

data/core/enumerator.rbs

@@ -515,7 +515,7 @@ end
 #
 # This type of objects can be created by Enumerable#chain and Enumerator#+.
 #
-class Enumerator::Chain[out Elem] < Object
+class Enumerator::Chain[out Elem] < Enumerator[Elem, void]
   include Enumerable[Elem]
 
   # <!--

data/core/false_class.rbs

@@ -27,7 +27,7 @@ class FalseClass
   # statements.
   #
   def ===: (false) -> true
-         | (untyped obj) -> bool
+         | (untyped obj) -> false
 
   # <!--
   #   rdoc-file=object.c

data/core/integer.rbs

@@ -857,8 +857,8 @@ class Integer < Numeric
   #
   # With no block given, returns an Enumerator.
   #
-  def downto: (Integer limit) { (Integer) -> void } -> Integer
-            | (Integer limit) -> ::Enumerator[Integer, self]
+  def downto: (Numeric limit) { (Integer) -> void } -> Integer
+            | (Numeric limit) -> ::Enumerator[Integer, self]
 
   def dup: () -> self
 
@@ -1432,8 +1432,8 @@ class Integer < Numeric
   #
   # With no block given, returns an Enumerator.
   #
-  def upto: (Integer limit) { (Integer) -> void } -> Integer
-          | (Integer limit) -> ::Enumerator[Integer, self]
+  def upto: (Numeric limit) { (Integer) -> void } -> Integer
+          | (Numeric limit) -> ::Enumerator[Integer, self]
 
   # <!--
   #   rdoc-file=numeric.rb

data/core/io/wait.rbs

@@ -54,5 +54,5 @@ class IO
   # -->
   # Waits until IO is writable and returns `true` or `false` when times out.
   #
-  def wait_writable: (?Numeric? timeout) -> (self | bool | nil)?
+  def wait_writable: (?Numeric? timeout) -> boolish
 end

data/core/module.rbs

@@ -363,7 +363,7 @@ class Module < Object
   #
   #     Hello there!
   #
-  def class_exec: (*untyped args) { () -> untyped } -> untyped
+  def class_exec: [U] (*untyped args) { () -> U } -> U
 
   # <!--
   #   rdoc-file=object.c
@@ -676,6 +676,25 @@ class Module < Object
   def define_method: (Symbol | String arg0, ?Proc | Method | UnboundMethod arg1) -> Symbol
                    | (Symbol | String arg0) { () -> untyped } -> Symbol
 
+  # <!--
+  #   rdoc-file=object.c
+  #   - mod.deprecate_constant(symbol, ...)    => mod
+  # -->
+  # Makes a list of existing constants deprecated. Attempt to refer to them will
+  # produce a warning.
+  #
+  #     module HTTP
+  #       NotFound = Exception.new
+  #       NOT_FOUND = NotFound # previous version of the library used this name
+  #
+  #       deprecate_constant :NOT_FOUND
+  #     end
+  #
+  #     HTTP::NOT_FOUND
+  #     # warning: constant HTTP::NOT_FOUND is deprecated
+  #
+  def deprecate_constant: (*Symbol) -> self
+
   def eql?: (untyped other) -> bool
 
   def equal?: (untyped other) -> bool
@@ -1025,7 +1044,7 @@ class Module < Object
   #
   #     Hello there!
   #
-  def module_exec: (*untyped args) { () -> untyped } -> untyped
+  def module_exec: [U] (*untyped args) { (*untyped args) -> U } -> U
 
   # <!--
   #   rdoc-file=vm_method.c

data/core/nil_class.rbs

@@ -4,6 +4,8 @@
 class NilClass
   public
 
+  def !: () -> true
+
   # <!--
   #   rdoc-file=object.c
   #   - false & obj   -> false
@@ -12,7 +14,7 @@ class NilClass
   # And---Returns `false`. *obj* is always evaluated as it is the argument to a
   # method call---there is no short-circuit evaluation in this case.
   #
-  def &: (untyped obj) -> bool
+  def &: (untyped obj) -> false
 
   # <!--
   #   rdoc-file=object.c
@@ -23,7 +25,7 @@ class NilClass
   # statements.
   #
   def ===: (nil) -> true
-         | (untyped obj) -> bool
+         | (untyped obj) -> false
 
   # <!--
   #   rdoc-file=object.c
@@ -43,7 +45,7 @@ class NilClass
   #
   def ^: (nil) -> false
        | (false) -> false
-       | (untyped obj) -> bool
+       | (untyped obj) -> true
 
   # <!--
   #   rdoc-file=object.c
@@ -59,7 +61,7 @@ class NilClass
   # -->
   # Only the object *nil* responds `true` to `nil?`.
   #
-  def nil?: () -> bool
+  def nil?: () -> true
 
   # <!--
   #   rdoc-file=rational.c
@@ -142,7 +144,7 @@ class NilClass
   #
   def |: (nil) -> false
        | (false) -> false
-       | (untyped obj) -> bool
+       | (untyped obj) -> true
 
   def clone: (?freeze: true?) -> self
 end

data/core/object.rbs

@@ -912,6 +912,15 @@ class Object < BasicObject
   #
   def public_method: (name name) -> Method
 
+  # <!--
+  #   rdoc-file=object.c
+  #   - obj.public_methods(all=true)   -> array
+  # -->
+  # Returns the list of public methods accessible to *obj*. If the *all* parameter
+  # is set to `false`, only those methods in the receiver will be listed.
+  #
+  def public_methods: (?boolish all) -> Array[Symbol]
+
   # <!--
   #   rdoc-file=vm_eval.c
   #   - obj.public_send(symbol [, args...])  -> obj

data/core/trace_point.rbs

@@ -304,8 +304,8 @@ class TracePoint < Object
   #     trace.enable { p tp.lineno }
   #     #=> RuntimeError: access from outside
   #
-  def enable: () -> bool
-            | () { () -> void } -> void
+  def enable:     (?target: (Method | UnboundMethod | Proc)?, ?target_line: Integer?, ?target_thread: Thread?) -> bool
+            | [R] (?target: (Method | UnboundMethod | Proc)?, ?target_line: Integer?, ?target_thread: Thread?) { () -> R } -> R
 
   # <!--
   #   rdoc-file=trace_point.rb
@@ -315,6 +315,16 @@ class TracePoint < Object
   #
   def enabled?: () -> bool
 
+  # <!--
+  #   rdoc-file=trace_point.rb
+  #   - event()
+  # -->
+  # Type of event
+  #
+  # See TracePoint@Events for more information.
+  #
+  def event: () -> ::Symbol
+
   # <!--
   #   rdoc-file=trace_point.rb
   #   - trace.inspect  -> string
@@ -347,6 +357,15 @@ class TracePoint < Object
   #
   def path: () -> String
 
+  # <!--
+  #   rdoc-file=trace_point.rb
+  #   - parameters()
+  # -->
+  # Return the parameters definition of the method or block that the current hook
+  # belongs to. Format is the same as for Method#parameters
+  #
+  def parameters: () -> ::Array[[ :req | :opt | :rest | :keyreq | :key | :keyrest | :block, Symbol ] | [ :rest | :keyrest ]]
+
   # <!--
   #   rdoc-file=trace_point.rb
   #   - raised_exception()
@@ -374,5 +393,25 @@ class TracePoint < Object
   #
   #     trace.binding.eval('self')
   #
-  def self: () -> Binding
+  def self: () -> untyped
+
+  # <!--
+  #   rdoc-file=trace_point.rb
+  #   - eval_script()
+  # -->
+  # Compiled source code (String) on *eval methods on the `:script_compiled`
+  # event. If loaded from a file, it will return nil.
+  #
+  def eval_script: () -> String?
+
+  # <!--
+  #   rdoc-file=trace_point.rb
+  #   - instruction_sequence()
+  # -->
+  # Compiled instruction sequence represented by a RubyVM::InstructionSequence
+  # instance on the `:script_compiled` event.
+  #
+  # Note that this method is MRI specific.
+  #
+  def instruction_sequence: () -> RubyVM::InstructionSequence
 end

data/core/true_class.rbs

@@ -27,7 +27,7 @@ class TrueClass
   # statements.
   #
   def ===: (true) -> true
-         | (untyped obj) -> bool
+         | (untyped obj) -> false
 
   # <!--
   #   rdoc-file=object.c

data/ext/rbs_extension/constants.c

@@ -67,7 +67,7 @@ VALUE RBS_MethodType;
 
 VALUE RBS_ParsingError;
 
-void rbs__init_constants() {
+void rbs__init_constants(void) {
   ID id_RBS = rb_intern_const("RBS");
 
   RBS = rb_const_get(rb_cObject, id_RBS);

data/ext/rbs_extension/extconf.rb

@@ -1,4 +1,4 @@
 require 'mkmf'
 $INCFLAGS << " -I$(top_srcdir)" if $extmk
-$CFLAGS += " -std=c99 "
+$CFLAGS += " -std=c99 -Wold-style-definition"
 create_makefile 'rbs_extension'

data/ext/rbs_extension/location.c

@@ -276,7 +276,7 @@ VALUE rbs_location_pp(VALUE buffer, const position *start_pos, const position *e
   return rbs_new_location(buffer, rg);
 }
 
-void rbs__init_location() {
+void rbs__init_location(void) {
   RBS_Location = rb_define_class_under(RBS, "Location", rb_cObject);
   rb_define_alloc_func(RBS_Location, location_s_allocate);
   rb_define_private_method(RBS_Location, "initialize", location_initialize, 3);

data/ext/rbs_extension/parser.c

@@ -77,7 +77,7 @@ static VALUE string_of_loc(parserstate *state, position start, position end) {
 /**
  * Raises RuntimeError with "Unexpected error " messsage.
  * */
-static NORETURN(void) rbs_abort() {
+static NORETURN(void) rbs_abort(void) {
   rb_raise(
     rb_eRuntimeError,
     "Unexpected error"
@@ -1046,7 +1046,6 @@ VALUE parse_type_params(parserstate *state, range *rg, bool module_type_params)
 
       parser_advance_assert(state, tUIDENT);
       name_range = state->current_token.range;
-      param_range.end = state->current_token.range.end;
 
       ID id = INTERN_TOKEN(state, state->current_token);
       name = ID2SYM(id);
@@ -1065,6 +1064,8 @@ VALUE parse_type_params(parserstate *state, range *rg, bool module_type_params)
         }
       }
 
+      param_range.end = state->current_token.range.end;
+
       VALUE location = rbs_new_location(state->buffer, param_range);
       rbs_loc *loc = rbs_check_location(location);
       rbs_loc_add_required_child(loc, rb_intern("name"), name_range);
@@ -2495,7 +2496,7 @@ rbsparser_parse_signature(VALUE self, VALUE buffer, VALUE line, VALUE column)
   return signature;
 }
 
-void rbs__init_parser() {
+void rbs__init_parser(void) {
   RBS_Parser = rb_define_class_under(RBS, "Parser", rb_cObject);
   rb_define_singleton_method(RBS_Parser, "_parse_type", rbsparser_parse_type, 4);
   rb_define_singleton_method(RBS_Parser, "_parse_method_type", rbsparser_parse_method_type, 4);

data/ext/rbs_extension/parserstate.c

@@ -2,7 +2,7 @@
 
 #define RESET_TABLE_P(table) (table->size == 0)
 
-id_table *alloc_empty_table() {
+id_table *alloc_empty_table(void) {
   id_table *table = malloc(sizeof(id_table));
   table->size = 10;
   table->count = 0;
@@ -11,7 +11,7 @@ id_table *alloc_empty_table() {
   return table;
 }
 
-id_table *alloc_reset_table() {
+id_table *alloc_reset_table(void) {
   id_table *table = malloc(sizeof(id_table));
   table->size = 0;
 

data/ext/rbs_extension/unescape.c

@@ -19,6 +19,7 @@ void rbs_unescape_string(VALUE string) {
 
   if (!HASH) {
     HASH = rb_hash_new();
+    rb_global_variable(&HASH);
     rb_hash_aset(HASH, rb_str_new_literal("\\a"), rb_str_new_literal("\a"));
     rb_hash_aset(HASH, rb_str_new_literal("\\b"), rb_str_new_literal("\b"));
     rb_hash_aset(HASH, rb_str_new_literal("\\e"), rb_str_new_literal("\e"));
@@ -29,7 +30,6 @@ void rbs_unescape_string(VALUE string) {
     rb_hash_aset(HASH, rb_str_new_literal("\\t"), rb_str_new_literal("\t"));
     rb_hash_aset(HASH, rb_str_new_literal("\\v"), rb_str_new_literal("\v"));
     rb_hash_aset(HASH, rb_str_new_literal("\\\""), rb_str_new_literal("\""));
-    rb_global_variable(&HASH);
   }
 
   rb_funcall(string, gsub, 2, REGEXP, HASH);

data/lib/rbs/ast/members.rb

@@ -73,7 +73,8 @@ module RBS
             annotations: annotations,
             location: location,
             comment: comment,
-            overload: overload
+            overload: overload,
+            visibility: visibility
           }.to_json(state)
         end
       end

data/lib/rbs/collection/installer.rb

@@ -20,7 +20,10 @@ module RBS
 
       private def source_for(config_entry)
         @source_for ||= {}
-        key = config_entry['source'] or raise
+        key = config_entry['source']
+        unless key
+          raise "Cannot find source of '#{config_entry['name']}' gem"
+        end
         @source_for[key] ||= Sources.from_config_entry(key)
       end
     end

data/lib/rbs/definition_builder/ancestor_builder.rb

@@ -367,7 +367,7 @@ module RBS
 
           align_params = Substitution.build(
             decl.type_params.each.map(&:name),
-            Types::Variable.build(entry.type_params.each.map(&:name))
+            entry.type_params.map {|param| Types::Variable.new(name: param.name, location: param.location) }
           )
 
           mixin_ancestors0(decl,
@@ -386,7 +386,9 @@ module RBS
 
         entry = env.class_decls[type_name] or raise "Unknown name for instance_ancestors: #{type_name}"
         params = entry.type_params.each.map(&:name)
-        args = Types::Variable.build(params)
+        args = entry.type_params.map do |type_param|
+          Types::Variable.new(name: type_param.name, location: type_param.location)
+        end
         self_ancestor = Definition::Ancestor::Instance.new(name: type_name, args: args, source: nil)
 
         RecursiveAncestorError.check!(self_ancestor,

data/lib/rbs/definition_builder/method_builder.rb

@@ -98,7 +98,7 @@ module RBS
         instance_methods[type_name] ||=
           begin
             entry = env.class_decls[type_name]
-            args = Types::Variable.build(entry.type_params.each.map(&:name))
+            args = entry.type_params.map {|param| Types::Variable.new(name: param.name, location: param.location) }
             type = Types::ClassInstance.new(name: type_name, args: args, location: nil)
             Methods.new(type: type).tap do |methods|
               entry.decls.each do |d|