Merge pull request #2766 from ksss/backport-tuple-length

[Backport] Check tuple type length

Author: ksss

lib/rbs/test/type_check.rb

@@ -364,6 +364,7 @@ def value(val, type)
           value(val, builder.expand_alias2(type.name.absolute!, type.args))
         when Types::Tuple
           Test.call(val, IS_AP, ::Array) &&
+            type.types.length == val.length &&
             type.types.map.with_index {|ty, index| value(val[index], ty) }.all?
         when Types::Record
           Test::call(val, IS_AP, ::Hash) &&

stdlib/objspace/0/objspace.rbs

@@ -411,7 +411,7 @@ module ObjectSpace
   #     ObjectSpace.reachable_objects_from(1)
   #     #=> nil # 1 is not markable (heap managed) object
   #
-  def self?.reachable_objects_from: (untyped) -> ([ untyped ] | nil)
+  def self?.reachable_objects_from: (untyped) -> (Array[untyped] | nil)
 
   # <!--
   #   rdoc-file=ext/objspace/objspace.c

test/rbs/test/type_check_test.rb

@@ -65,6 +65,10 @@ def to_int: () -> Integer
         assert typecheck.value(false, parse_type("bool"))
         refute typecheck.value(nil, parse_type("bool"))
         refute typecheck.value("", parse_type("bool"))
+
+        assert typecheck.value([1], parse_type("[Integer]"))
+        refute typecheck.value([], parse_type("[Integer]"))
+        refute typecheck.value([1, 2], parse_type("[Integer]"))
       end
     end
   end

test/stdlib/ObjectSpace_test.rb

@@ -181,9 +181,9 @@ def test_memsize_of_all
   end
 
   def test_reachable_objects_from
-    assert_send_type "(untyped) -> [untyped]",
+    assert_send_type "(untyped) -> Array[untyped]",
       ObjectSpace, :reachable_objects_from, "dummy"
-    assert_send_type "(untyped) -> [untyped]",
+    assert_send_type "(untyped) -> Array[untyped]",
       ObjectSpace, :reachable_objects_from, ["dummy", "dummy2"]
     assert_send_type "(untyped) -> nil",
       ObjectSpace, :reachable_objects_from, nil