На nasm

это надо сообщать любителям си

если разный уровень аргументации

так чо там, где кусок кода

нот соу фаст

мне любопытно

вы нда там что ли пытаетесь не нарушить?

я пытаюсь накидать так, чтобы ничего не упустить

ну и да, на других неймингах что ли, но там всё просто

кря
щас найдёте minimal counterexample и сами поймёте, что не так :)

на новом mix new не получилось воспроизвести пример без ничего, диалайзер зелёный
но суть такая

есть набор модулей, логика которых совсем общая за исключением 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 на второй строке

и нет, это не новый путь, и в других местах, где написано также, диалайзер пропускает
плюс подключений макроса 8 штук, ошибку он бросает только в двух
хотя модули отличаются между собой только sql запросом, а не функцией процессинга

и что-то я либо нагрелся, либо не знаю, как это дебажить

пздц починил

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

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

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

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

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

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

Can never match the type обозначает, что ты сделал ветку в которую никогда не попадёшь, а ты пишешь «я точно его покрываю»

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

Конечно покрываешь, в этом то и проблема, о которой тебе говорит диалайзер )))