Avoid double edge on self assignment of type var

ruby · Aug 28, 2024 · e335445 · e335445
1 parent 86ca835
commit e335445
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/lib/typeprof/core/graph/vertex.rb b/lib/typeprof/core/graph/vertex.rb
@@ -23,7 +23,7 @@ def each_type(&blk)
     def check_match(genv, changes, vtx)
       vtx.each_type do |ty|
         if ty.is_a?(Type::Var)
-          changes.add_edge(genv, self, ty.vtx)
+          changes.add_edge(genv, self, ty.vtx) if self != ty.vtx
           return true
         end
       end

diff --git a/scenario/regressions/self-type-var.rb b/scenario/regressions/self-type-var.rb
@@ -0,0 +1,6 @@
+## update: test.rb
+def check2
+  @ary = [].to_a
+  @ary = @ary.concat(@ary)
+  @ary = @ary.concat(@ary)
+end