ERL-1340: Internal consistency check failed for binary matches with generator

[OTP-Maintainer]

Original reporter: josevalim
Affected version: OTP-23.0
Component: compiler
Migrated from: https://bugs.erlang.org/browse/ERL-1340

---

Here is a minimal Erlang program that reproduces the error:
{code:java}
-module(foo).
-compile(export_all).
encode_bin(<<Bin/binary>> = Bin) ->
  [Chunk || <<Chunk:5/binary>> <= Bin].
{code}
I can reproduce the error on 23.0.1 (and master as of one week ago). The issue does not exist on 22.3.

Originally reported here: [https://github.com/elixir-lang/elixir/issues/10309]

Thank you!

 

[OTP-Maintainer]

john said:

Thanks for your report, I've fixed it in the following PR:

https://github.com/erlang/otp/pull/2744

[OTP-Maintainer]

john said:

We'll release the fix in {{23.1}}. Thanks again for your report!