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.