Merge pull request #30 from ruby/instance_type_bugfix

ruby · Dec 8, 2024 · 237ebf2 · 237ebf2
2 parents ff75598 + 01d02c8
commit 237ebf2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/lib/repl_type_completor/types.rb b/lib/repl_type_completor/types.rb
@@ -332,6 +332,8 @@ def self.from_rbs_type(return_type, self_type, extra_vars = {})
         self_type.transform do |type|
           if type.is_a?(SingletonType) && type.module_or_class.is_a?(Class)
             InstanceType.new type.module_or_class
+          elsif type.is_a?(InstanceType)
+            InstanceType.new type.klass
           else
             OBJECT
           end

diff --git a/test/repl_type_completor/test_type_analyze.rb b/test/repl_type_completor/test_type_analyze.rb
@@ -719,5 +719,10 @@ def test_rbs_untyped_function
       # Proc#call `(?) -> untyped` is RBS::Types::UntypedFunction
       assert_call('proc{}.call; 1.', include: Integer)
     end
+
+    def test_rbs_instance_type
+      assert_call('Thread.start{}.', include: Thread)
+      assert_call('"".encode("utf-8").', include: String)
+    end
   end
 end