erlang/otp — pull request #150 by proxyles (2013-11-28 11:40:55+00:00)
Title: Track variable substitutions in Core clause patterns

This allows the compiler to properly track aliases and avoids some crash related
to match context reusing as in the following code:

t(Bin1) ->
case Bin1 of
<<>> -> ok;
Bin2 ->
case Bin1 of
<<0>> -> ok;
_ -> Bin2
end
end.