ERL-997: Valid code fails to compile with +no_type_opt

[OTP-Maintainer]

Original reporter: josevalim
Affected version: OTP-22.0
Fixed in version: OTP-22.1
Component: compiler
Migrated from: https://bugs.erlang.org/browse/ERL-997

---

Given this module:

{code:erlang}
-module(foo).
-compile(export_all).

foo() ->
  try
    InsertedAt = true,
    UpdatedAt = true,

    case InsertedAt of
      true -> io:format("foo");
      false ->
        case UpdatedAt of
          true -> io:format("bar");
          false -> io:format("bat")
        end
    end
  after
    ok
  end.
{code}

It compiles with  "erlc foo.erl" but not with "erlc +no_type_opt foo.erl". I have verified the bug on OTP 22 and master.

[OTP-Maintainer]

john said:

Thanks for your report, we'll fix it after summer vacations.

[OTP-Maintainer]

bjorn said:

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