bash

$ erlc foo.erl
foo: function decode/1+28:
  Internal consistency check failed - please report this bug.
  Instruction: return
  Error:       {match_context,{x,0}}:

foo.erl

-module(foo).
-export([decode/1]).

decode(<<Code/integer, Bin/binary>>) ->
  <<C1/integer, B1/binary>> = Bin,

  case C1 of
    X when X =:= 1 orelse X =:= 2 ->
      Bin2 = <<>>;
    _ ->
      Bin2 = B1
  end,

  case Code of
    1 -> decode(Bin2);
    _ -> Bin2
  end.

If there's any help, the consistency check error disappears if

• either the orelse is substituted with ;
• or if the Bin2 = assignment is factored out outside the case statement.