When I tried adding this to an existing Phoenix project that I had been using Dialyzer on before, I got a lot of undefined or private errors on typespecs that had been working fine with Dialyzer. I got them for things like Plug.Conn.t and Phoenix.LiveView.Socket.t. Is TypeCheck not able to detect types that aren’t explicitly defined with its @spec! syntax?
