anchor.diff:              %% We have the same location as the `func_info` instruction at the
               %% beginning of the function; keep the instruction.
               none;
  -        #{ inlined := {Name,InlinedArity} } ->
  +        #{ inlined := {Name,InlinedArity} } when length(Args) =:= InlinedArity ->
               %% We're raising this for an inlined function, convert it to a call
               %% to a stub function that will raise a proper `function_clause`
               %% exception. The stub function will be created later by
               %% `create_fc_stubs/2`.
               Target = #b_local{name=#b_literal{val=Name},arity=InlinedArity},
               I = I0#b_set{op=call,args=[Target | Args]},
  -            {reverse(Acc, [I | Is]), Count0};
  -        #{} when Location =:= none, length(Args) =:= Arity ->
  -            none;
  -        _ ->
  -            expand_mf_instr(I0, Is, Count0, Acc)
  +            {reverse(Acc, [I | Is]), Count0}
       end;
   expand_mf_is([#b_set{op=match_fail}=I | Is], _Arity, _Location, Count, Acc) ->
       expand_mf_instr(I, Is, Count, Acc);
  
positive.code: expand_mf_instr(#b_set{args=[#b_literal{val=badrecord} | _Args]}=I,
                  Is, Count, Acc) ->
      {reverse(Acc, [I | Is]), Count};
  expand_mf_instr(#b_set{args=[#b_literal{val=function_clause} | Args]}=I0,
                  Is, Count0, Acc0) ->
      %% We can't make a direct jump to `func_info` or an inlined stub: simulate
      %% it with `erlang:error/2` instead.
      {List, Count, Acc} = expand_mf_args(Args, Count0, Acc0),
      Call = I0#b_set{op=call,
                      args=[#b_remote{mod=#b_literal{val=erlang},
                                      name=#b_literal{val=error},
                                      arity=2},
                            #b_literal{val=function_clause},
                            List]},
      {reverse(Acc, [Call | Is]), Count};
  expand_mf_instr(#b_set{args=[#b_literal{}|_]=Args}=I0, Is, Count0, Acc) ->
      %% We don't have a specialized instruction for this: simulate it with
      %% `erlang:error/1` instead.
  
negative.code:                                     arity=1},
                           Tuple]},
      {reverse(Acc, [Put, Call | Is]), Count}.
  
  %% Create stubs for `function_clause` exceptions generated by
  %% inlined code.
  