sorbet-runtime 0.6.13373 → 0.6.13385

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 691ef36ba11f93a657a7a60367f2918fba1c87e83d8f29d00a9753206847b07c
-  data.tar.gz: 6f9f13b4aca3e5a8d6be8ce41b50515a1102d3bf4010c89b2768faede6bdfaaa
+  metadata.gz: 0aacbc65290ea00436b377b9a9ae5a6119eb7565103690f3ca48dc5367af409b
+  data.tar.gz: a557477677d13ba37a1ec5e2ca923d844fadaf5414761d6fffcf49a5afebd1eb
 SHA512:
-  metadata.gz: d71cfe15dc571089128c1af66f5c70244018760a24b2f0ef42d2d333d80a03f55eafb6d9000b233c6c3644d2b7c25b8c29fb2c9acf67d46e7bf17597bd04d383
-  data.tar.gz: cf4bfd7b7f6f8e5552bff3b5eb9bc99eccfaa8afb728b73ab2f62f21991c86628def1ba20efe6b09126d5bdcdc50456d0f7426fce48a991fd73b711dadf6763c
+  metadata.gz: 73a78a106b7d7620d5731266b11e44c68376bfb7d93f3f20aa650fb78a915b484070864d03ef0d8ff858d15e36fbb5057764bc51121219033d09f4854874c9d4
+  data.tar.gz: 6df95518c869b5c12a0f7ac873be2b38359f249a03dbc68020d20199f104d55055df9dc9c1bb51e83165dd3bf241f504362b46fdddd6b100632c2bea0e4a9a96

data/lib/types/private/methods/signature_validation.rb

@@ -256,16 +256,23 @@ module T::Private::Methods::SignatureValidation
     #
     # An index loop avoids allocating a pair array per positional arg.
     # Iterating to super's length is deliberate: extra override positionals
-    # go unchecked, and when the override has a rest param and fewer named
-    # args than the base, the missing positions are checked as nil name/type.
+    # go unchecked, and when the override folds the remaining base positionals
+    # into a rest param, each is checked against the rest param's type
+    # (validate_override_shape guarantees such a rest param exists here).
     super_arg_types = super_signature.arg_types
     arg_types = signature.arg_types
+    rest_type = signature.rest_type
     index = 0
     while index < super_arg_types.length
       super_type = super_arg_types.fetch(index)[1]
       pair = arg_types[index]
-      name = pair && pair[0]
-      type = pair && pair[1]
+      if pair
+        name = pair[0]
+        type = pair[1]
+      else
+        name = signature.rest_name
+        type = rest_type
+      end
       if !super_type.subtype_of?(type)
         raise "Incompatible type for arg ##{index + 1} (`#{name}`) in signature for #{mode_noun} of method " \
               "`#{signature.method_name}`:\n" \

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.6.13373
+  version: 0.6.13385
 platform: ruby
 authors:
 - Stripe