есть набор модулей, логика которых совсем общая за исключением sql запроса

например так

defmodule PersonLoader do
    use GenericLoader

    def query ///// sql query
  end

В общем модуле некоторый процессинг и в итоге вызывается DatabaseContext.update /// который по контракту возвращает супер простые {:ok, record()} | {:error, changeset()}.
Где changeset по-хорошему opaque, но оно ни в каком виде не работает
И DatabaseContext.update точно соответствует контракту, оно не рейзит эксепшены и учитывает все кейсы

но попытка в любом виде сделать
case

 DatabaseContext.update(blabla) do
  {:error, _} -> 
  или {:error, %{errors: _}}
  и всегда с {:ok, _}
end
воз

вращает
{:ok, _

}

can never match the type

  {:error,
   %Ecto.Changeset{………
но я о

бработал этот кейс выше, {:error, _} точно его покрывает

И эту ошибку диалайзер бросает именно в месте подключения макроса, то есть в use GenericLoader на второй строке

и я продолжу утверждать, что я не дебил, хотя понимаю причину, почему диалайзер показал ошибку
и показал он не ту ошибку

та функция, которая по контракту не рейзит действительно не рейзит, но есть нюанс
она дёргает функцию, у которой под капотом

case Enum.each(list, never_raising_function) do
  :ok -> :ok
  _ -> raise «error»
end

у Enum.each по контракту нет ничего, кроме :ok, и то, что мой коллега написал такой кейс— это пиздец
но
1) эта ветка реально никогда не выполнится
2) ошибка, с которой упал диалайзер неверная. в случае рейза вызывающая функция тоже упадёт следовательно там no_return()

Дивлайзер тебе сказал, что {:error, _} никогда не будет. Где он соврал то?

а хуле ты матчишь opaque как мапу?

и тут да, can never match the case говорит, что код мёртвый

записывайтесь в церковь святого диалайзера, короче

with {:ok, result} <- foo(), do: do_something(result) еще короче можно, и при этом читаемое

Кто-нибудь использует "однокложные" with?

with {:ok, result} <- foo() do
  do_something(result)
end

вместо

case foo() do
  {:ok, result} -> do_something(result)
  error -> error
end

А есть zip который не дропал бы элементы списков, которые длинее, чем самый короткий, а вставлял бы дефолтное значение

В интернетах советуют вот такое: https://gist.github.com/nathan-cruz77/586092fa2487da2bdd5603934e7db4ad

Я бы сделал стрим, который сначала вычерпывает enumerable, а потом возвращает дефолт без конца

Тогда нужно знать какой из элементов самый длинный, чтоб его тоже не сделать бесконечным