
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    Hello,<br>

    <br>

    I have the following module:<br>

    <blockquote>-module(exception).<br>

      <br>

      -export([<br>

          foo/1<br>

      ]).<br>

      <br>

      foo(Any) -><br>

          try Any + 1 of<br>

              Any -> ok<br>

          catch<br>

              Error -> {not_typed, Error};                 % warn?<br>

              any:Error -> {any_error, Error};           % warn?<br>

              Type:Error -> {typed_error, {Type, Error}}<br>

          end.<br>

    </blockquote>

    Compiler doesn't complain about the marked lines. Neither does

    dialyzer.<br>

    Is there any rationale for such behaviour? Or is it a bug?<br>

    <br>

    P.S. I use Erlang/OTP 20 [erts-9.3.2].<br>

    <br>

    Regards,<br>

    Dinislam Salikhov<br>

  </body>

</html>