Support destructuring parameters in block arguments

This allows `do |x, (y, z)|`.

Author: mame

lib/typeprof/core/ast/call.rb

@@ -56,10 +56,18 @@ def initialize(raw_node, recv, mid, mid_code_range, raw_args, last_arg, raw_bloc
           else
             @block_pass = nil
             @block_tbl = raw_block.locals
+            @block_multi_targets = {}
             @block_f_args = case raw_block.parameters
                             when Prism::BlockParametersNode
                               params = raw_block.parameters.parameters
-                              req = params.requireds.map {|n| n.is_a?(Prism::MultiTargetNode) ? nil : n.name }
+                              req = params.requireds.each_with_index.map do |n, i|
+                                if n.is_a?(Prism::MultiTargetNode)
+                                  @block_multi_targets[i] = n
+                                  nil
+                                else
+                                  n.name
+                                end
+                              end
                               opt = params.optionals.map {|n| n.name }
                               req + opt
                             when Prism::NumberedParametersNode
@@ -89,6 +97,7 @@ def initialize(raw_node, recv, mid, mid_code_range, raw_args, last_arg, raw_bloc
       attr_reader :recv, :mid, :mid_code_range, :yield
       attr_reader :positional_args, :splat_flags, :keyword_args
       attr_reader :block_tbl, :block_f_args, :block_opt_positional_defaults, :block_body, :block_pass, :anonymous_block_forwarding
+      attr_reader :block_multi_targets
       attr_reader :safe_navigation
 
       def subnodes = { recv:, positional_args:, keyword_args:, block_opt_positional_defaults:, block_body:, block_pass: }
@@ -133,6 +142,16 @@ def install0(genv)
             end
           end
 
+          if @block_multi_targets
+            @block_multi_targets.each do |idx, raw_multi_target|
+              param_vtx = blk_f_args[idx]
+              lefts = raw_multi_target.lefts.map do |n|
+                block_body.lenv.new_var(n.is_a?(Prism::MultiTargetNode) ? nil : n.name, self)
+              end
+              @changes.add_masgn_box(genv, param_vtx, lefts, nil, nil)
+            end
+          end
+
           @lenv.locals.each do |var, vtx|
             block_body.lenv.set_var(var, vtx)
           end

…o/known-issues/multi_target_block_arg.rb scenario/block/multi_target_block_arg.rbscenario/known-issues/multi_target_block_arg.rb renamed to scenario/block/multi_target_block_arg.rb scenario/known-issues/multi_target_block_arg.rb renamed to scenario/block/multi_target_block_arg.rb

@@ -11,3 +11,7 @@ def check
 end
 
 ## assert
+class Object
+  def yield_values: { (Integer, [Float, String]) -> bot } -> bot
+  def check: -> [Integer, Float, String]?
+end