[RTI-13896] Add more dialyzer checks (#75)

.github/workflows/erlang.yml

@@ -13,7 +13,7 @@ jobs:
 
     strategy:
       matrix:
-        otp: ['23.3', '24.3', '25.2.1']
+        otp: ['25.2.1']
         rebar: ['3.20.0']
 
     steps:

rebar.config

@@ -7,7 +7,7 @@
   report,
   debug_info]}.
 
-{minimum_otp_vsn, "22"}.
+{minimum_otp_vsn, "25"}.
 
 {cover_enabled, true}.
 
@@ -28,9 +28,9 @@
   deprecated_functions]}.
 
 {dialyzer,
- [{warnings, [no_return, error_handling]},
+ [{warnings, [unknown, no_return, error_handling, missing_return, extra_return]},
   {plt_apps, top_level_deps},
-  {plt_extra_apps, []},
+  {plt_extra_apps, [b64fast]},
   {plt_location, local},
   {base_plt_apps, [erts, stdlib, kernel]},
   {base_plt_location, global}]}.

src/kinetic.erl

@@ -1,5 +1,8 @@
 -module(kinetic).
 
+%% @todo Remove once https://github.com/erlang/otp/issues/6779 is fixed
+-dialyzer([{no_missing_return, [start/2]}]).
+
 -behaviour(application).
 
 -export([start/0, stop/0]).