Merge pull request #2369 from ksss/subtractor-civar

Fix subtraction of civar

Author: ksss

lib/rbs/subtractor.rb

@@ -107,7 +107,9 @@ def call(minuend = @minuend, context: nil)
       each_member(owner).any? do |m|
         case m
         when AST::Members::InstanceVariable
-          m.name == name
+          m.name == name && kind == :instance
+        when AST::Members::ClassInstanceVariable
+          m.name == name && kind == :singleton
         when AST::Members::Attribute
           ivar_name = m.ivar_name == false ? nil : m.ivar_name || :"@#{m.name}"
           ivar_name == name && m.kind == kind

test/rbs/subtractor_test.rb

@@ -472,6 +472,34 @@ class C
     RBS
   end
 
+  def test_civar
+    decls = to_decls(<<~RBS)
+      class C
+        @v1: untyped
+        self.@v1: untyped
+        @v2: untyped
+        self.@v2: untyped
+      end
+    RBS
+
+    env = to_env(<<~RBS)
+      class C
+        self.@v1: untyped
+      end
+    RBS
+
+    subtracted = RBS::Subtractor.new(decls, env).call
+
+    assert_subtracted <<~RBS, subtracted
+      class C
+        @v1: untyped
+
+        @v2: untyped
+        self.@v2: untyped
+      end
+    RBS
+  end
+
   def test_cvar
     decls = to_decls(<<~RBS)
       class C