Dialyzer - Shouldn't this fail?

[kokolegorille]

If any of the conditions are met, dyalizer will not complain… because it assumes You are right, until it can prove You are wrong

See this post

Type and spec - Dialyzer not detecting error

defmodule Lima do @type unit_quantity_t :: 0..1000 @type unit_quantity_error :: {:error, String.t()} @type unit_quantity_success :: {:ok, unit_quantity_t()} @type unit_quantity_result :: unit_quantity_success() | unit_quantity_error() @spec create_unit_quantity_error(s) :: r when s: String.t, r: unit_quantity_error() defp create_unit_quantity_error(msg), do: {:error, msg} @spec create_unit_quantity_success(n) :: r when n: unit_quantity_t(), r: unit_quantity_success() defp c…