Currently, we don't specialize OPTIMIZED_METHOD_TYPE_CALL (e.g. Proc#call), and it shows up as fallback reasons on lobsters.
Under the def_type == VM_METHOD_TYPE_OPTIMIZED in hir.rs type_specialize, you can add a branch that checks for opt_type == OPTIMIZED_METHOD_TYPE_CALL, and build HIR that does something similar to YJIT's OPTIMIZED_METHOD_TYPE_CALL => { ... } block under gen_send_general, which calls rb_optimized_call.
Currently, we don't specialize
OPTIMIZED_METHOD_TYPE_CALL(e.g.Proc#call), and it shows up as fallback reasons on lobsters.Under the
def_type == VM_METHOD_TYPE_OPTIMIZEDinhir.rstype_specialize, you can add a branch that checks foropt_type == OPTIMIZED_METHOD_TYPE_CALL, and build HIR that does something similar to YJIT'sOPTIMIZED_METHOD_TYPE_CALL => { ... }block undergen_send_general, which callsrb_optimized_call.