aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lib/ruby_vm/rjit/insn_compiler.rb7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/ruby_vm/rjit/insn_compiler.rb b/lib/ruby_vm/rjit/insn_compiler.rb
index 6bb802150a..10222bd8f4 100644
--- a/lib/ruby_vm/rjit/insn_compiler.rb
+++ b/lib/ruby_vm/rjit/insn_compiler.rb
@@ -4815,6 +4815,13 @@ module RubyVM::RJIT
# Create a context for the callee
callee_ctx = Context.new
+ # Set the argument types in the callee's context
+ argc.times do |arg_idx|
+ stack_offs = argc - arg_idx - 1
+ arg_type = ctx.get_opnd_type(StackOpnd[stack_offs])
+ callee_ctx.set_local_type(arg_idx, arg_type)
+ end
+
recv_type = if calling.block_handler == :captured
Type::Unknown # we don't track the type information of captured->self for now
else