Question: Using next vs return in Scoping about action_policy HOT 2 CLOSED

# using a simplified example
class A
  define_method(:boon) do |val|
    next 2 if val
    1
  end

  define_method(:boor) do |val|
    return 2 if val
    1
  end

  def boo(val)
    return 2 if val
    val
  end
end

# with `next`
puts RubyVM::InstructionSequence.disasm(A.instance_method(:boon))

# == disasm: #<ISeq:block in <class:A>@(irb):18 (18,23)-(21,5)>===========
# == catch table
# | catch type: redo   st: 0001 ed: 0009 sp: 0000 cont: 0001
# | catch type: next   st: 0001 ed: 0009 sp: 0000 cont: 0009
# |------------------------------------------------------------------------
# local table (size: 1, argc: 1 [opts: 0, rest: -1, post: 0, block: -1, kw: -1@-1, kwrest: -1])
# [ 1] val<Arg>   
# 0000 nop                                                              (  18)[Bc]
# 0001 getlocal_OP__WC__0 val                                           (  19)[Li]
# 0003 branchunless     7
# 0005 putobject_OP_INT2FIX_O_1_C_ 
# 0006 leave                                                            (  21)[Br]
# 0007 putobject        2                                               (  20)[Li]
# 0009 leave                                                            (  21)[Br]

# with `return`

puts RubyVM::InstructionSequence.disasm(A.instance_method(:boor))

# == disasm: #<ISeq:block in <class:A>@(irb):23 (23,23)-(26,5)>===========
# == catch table
# | catch type: redo   st: 0001 ed: 0014 sp: 0000 cont: 0001
# | catch type: next   st: 0001 ed: 0014 sp: 0000 cont: 0014
# |------------------------------------------------------------------------
# local table (size: 1, argc: 1 [opts: 0, rest: -1, post: 0, block: -1, kw: -1@-1, kwrest: -1])
# [ 1] val<Arg>   
# 0000 nop                                                              (  23)[Bc]
# 0001 putself                                                          (  24)[Li]
# 0002 opt_send_without_block <callinfo!mid:vl, argc:0, FCALL|VCALL|ARGS_SIMPLE>, <callcache>
# 0005 branchunless     12
# 0007 putobject        2
# 0009 throw            1
# 0011 pop              
# 0012 putobject        2                                               (  25)[Li]
# 0014 leave                                                            (  26)[Br]

# explicit method definition is closer to the `next` version
puts RubyVM::InstructionSequence.disasm(A.instance_method(:boo))

# == disasm: #<ISeq:boo@(irb):13 (13,2)-(16,5)>===========================
# local table (size: 1, argc: 1 [opts: 0, rest: -1, post: 0, block: -1, kw: -1@-1, kwrest: -1])
# [ 1] val<Arg>   
# 0000 getlocal_OP__WC__0 val                                           (  14)[LiCa]
# 0002 branchunless     6
# 0004 putobject_OP_INT2FIX_O_1_C_ 
# 0005 leave            [Re]
# 0006 putobject        2                                               (  15)[Li]
# 0008 leave                                                            (  16)[Re]