Fix NoMethodError in SigTyIntersectionNode typecheck method

- Add missing initialize method to properly initialize @types array
- Implement covariant_vertex0 and contravariant_vertex0 methods
- Fix show method to display intersection types correctly (using & separator)
- Add test case for intersection type handling

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: sinsoku

lib/typeprof/core/ast/sig_type.rb

@@ -491,12 +491,25 @@ def show
     end
 
     class SigTyIntersectionNode < SigTyNode
+      def initialize(raw_decl, lenv)
+        super(raw_decl, lenv)
+        @types = (raw_decl.types || []).map {|type| AST.create_rbs_type(type, lenv) }
+      end
+
+      attr_reader :types
+
+      def subnodes = { types: }
+
       def covariant_vertex0(genv, changes, vtx, subst)
-        #raise NotImplementedError
+        @types.each do |type|
+          type.covariant_vertex0(genv, changes, vtx, subst)
+        end
       end
 
       def contravariant_vertex0(genv, changes, vtx, subst)
-        #raise NotImplementedError
+        @types.each do |type|
+          type.contravariant_vertex0(genv, changes, vtx, subst)
+        end
       end
 
       def typecheck(genv, changes, vtx, subst)
@@ -507,7 +520,7 @@ def typecheck(genv, changes, vtx, subst)
       end
 
       def show
-        "(...intersection...)"
+        @types.map {|ty| ty.show }.join(" & ")
       end
     end
 

scenario/rbs/intersection.rb

@@ -0,0 +1,39 @@
+## update: test.rbs
+interface _Readable
+  def read: () -> String
+end
+
+interface _Writable
+  def write: (String) -> void
+end
+
+class Processor
+  def process: (_Readable & _Writable) -> String
+end
+
+## update: test.rb
+class MyIO
+  def read
+    "content"
+  end
+
+  def write(text)
+    text
+  end
+end
+
+class Processor
+  def process_file
+    io = MyIO.new
+    process(io)
+  end
+end
+
+## assert: test.rb
+class MyIO
+  def read: -> String
+  def write: (untyped) -> untyped
+end
+class Processor
+  def process_file: -> String
+end