Merge pull request #545 from soutaro/to_a

Remove `to_a` error message
soutaro · May 2, 2022 · 4982699 · 4982699
2 parents b9319d8 + 71de020
commit 4982699
Show file tree

Hide file tree

Showing 2 changed files with 31 additions and 0 deletions.
diff --git a/lib/steep/type_construction.rb b/lib/steep/type_construction.rb
@@ -3986,6 +3986,11 @@ def try_tuple_type(node, hint)
     end
 
     def try_convert(type, method)
+      case type
+      when AST::Types::Any, AST::Types::Bot, AST::Types::Top, AST::Types::Var
+        return
+      end
+
       interface = checker.factory.interface(type, private: false)
       if entry = interface.methods[method]
         method_type = entry.method_types.find do |method_type|

diff --git a/test/type_construction_test.rb b/test/type_construction_test.rb
@@ -8673,6 +8673,32 @@ def to_a: () -> Array[T]
     end
   end
 
+  def test_to_a_untyped
+    with_checker(<<-RBS) do |checker|
+    RBS
+
+      source = parse_ruby(<<-'RUBY')
+# @type var a: untyped
+a = _ = nil
+[*a]
+
+# @type var b: top
+b = _ = nil
+[*b]
+
+# @type var c: bot
+c = _ = nil 
+[*c]
+      RUBY
+
+      with_standard_construction(checker, source) do |construction, typing|
+        _, constr = construction.synthesize(source.node)
+
+        assert_no_error typing
+      end
+    end
+  end
+
   def test_case_const_unexpected_error
     with_checker(<<-RBS) do |checker|
 class UnexpectedErrorTest