fangorn/ex_git_objectstore
public
ref:main
dialyzer failed
Command:
set -e
export MIX_HOME=/workspace/.mix
mkdir -p priv/plts
mix dialyzer
Runner:
carl
online
linux/arm64
Started: Apr 18, 2026 at 16:33 UTC
Completed: Apr 18, 2026 at 16:33 UTC
Duration: 9s
Exit code:
2
Build Output
Pulling image: hexpm/elixir:1.18.4-erlang-28.0.2-debian-bookworm-20250811
Generated ex_git_objectstore app
Finding suitable PLTs
Checking PLT...
[:asn1, :certifi, :compiler, :crypto, :elixir, :ex_aws, :ex_aws_s3, :ex_git_objectstore, :hackney, :idna, :jason, :kernel, :logger, :metrics, :mime, :mimerl, :mix, :parse_trans, :public_key, :ssl, :ssl_verify_fun, :stdlib, :sweet_xml, :syntax_tools, :telemetry, :unicode_util_compat, :xmerl]
PLT is up to date!
No :ignore_warnings opt specified in mix.exs and default does not exist.
Starting Dialyzer
[
check_plt: false,
init_plt: ~c"/workspace/priv/plts/dialyzer.plt",
files: [~c"/workspace/_build/dev/lib/ex_git_objectstore/ebin/Elixir.ExGitObjectstore.Protocol.ReceivePack.beam",
~c"/workspace/_build/dev/lib/ex_git_objectstore/ebin/Elixir.ExGitObjectstore.Graph.Cache.beam",
~c"/workspace/_build/dev/lib/ex_git_objectstore/ebin/Elixir.ExGitObjectstore.Walk.beam",
~c"/workspace/_build/dev/lib/ex_git_objectstore/ebin/Elixir.ExGitObjectstore.Object.Blob.beam",
~c"/workspace/_build/dev/lib/ex_git_objectstore/ebin/Elixir.ExGitObjectstore.Pack.Delta.beam",
...],
warnings: [:unknown]
]
done in 0m5.06s
Total errors: 19, Skipped: 0, Unnecessary Skips: 0
lib/ex_git_objectstore/graph.ex:179:34:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.size(_ahead_set :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()})
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:179:66:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.size(_behind_set :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()})
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:195:9:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.to_list(_ahead_set :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()})
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:222:22:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.member?(
_seen :: %MapSet{
:map =>
{:set, non_neg_integer(), non_neg_integer(), pos_integer(), non_neg_integer(),
non_neg_integer(), non_neg_integer(), tuple(), tuple()}
| %{_ => []}
},
_sha :: any()
)
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph.ex:223:32: The call 'Elixir.ExGitObjectstore.Graph':bfs_find(_by_sha@1::map(),_rest@1::[any()],_seen@1::#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_target@1::any(),_min_gen@1::any()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph.ex:229:41: The call 'Elixir.ExGitObjectstore.Graph':bfs_find(_by_sha@1::map(),_rest@1::[any()],#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_target@1::any(),_min_gen@1::any()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph.ex:232:41: The call 'Elixir.ExGitObjectstore.Graph':bfs_find(_by_sha@1::map(),_next@1::[any()],#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_target@1::any(),_min_gen@1::any()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:257:23:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.member?(
_popped :: %MapSet{
:map =>
{:set, non_neg_integer(), non_neg_integer(), pos_integer(), non_neg_integer(),
non_neg_integer(), non_neg_integer(), tuple(), tuple()}
| %{_ => []}
},
_sha :: any()
)
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph.ex:258:41: The call 'Elixir.ExGitObjectstore.Graph':walk_ahead_behind(_by@1::map(),_rest@1::any(),_mark@1::any(),_popped@1::#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_ahead@1::#{'__struct__':='Elixir.MapSet', 'map':={_,_,_,_,_,_,_,_,_} | map()},_behind@1::#{'__struct__':='Elixir.MapSet', 'map':={_,_,_,_,_,_,_,_,_} | map()}) contains an opaque term as 4th argument when terms of different types are expected in these positions
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph.ex:266:41: The call 'Elixir.ExGitObjectstore.Graph':walk_ahead_behind(_by@1::map(),_rest@2::any(),_mark@2::any(),_popped@2::#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_ahead@2::#{'__struct__':='Elixir.MapSet', 'map':={_,_,_,_,_,_,_,_,_} | map()},_behind@2::#{'__struct__':='Elixir.MapSet', 'map':={_,_,_,_,_,_,_,_,_} | map()}) contains an opaque term as 4th argument when terms of different types are expected in these positions
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:270:55:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.put(_ahead :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()}, _sha :: any())
________________________________________________________________________________
lib/ex_git_objectstore/graph.ex:271:62:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.put(_behind :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()}, _sha :: any())
________________________________________________________________________________
lib/ex_git_objectstore/graph/fallback.ex:48:47:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected opaque terms in the 1st and 2nd position.
MapSet.difference(
_head_anc :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()},
_base_anc :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()}
)
________________________________________________________________________________
lib/ex_git_objectstore/graph/fallback.ex:65:54:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected opaque terms in the 1st and 2nd position.
MapSet.difference(
_head_anc :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()},
_base_anc :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()}
)
________________________________________________________________________________
lib/ex_git_objectstore/graph/fallback.ex:80:30:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.member?(_desc_anc :: %MapSet{:map => {_, _, _, _, _, _, _, _, _} | map()}, _ancestor_sha :: any()) ::
:ok
def a() do
:ok
end
________________________________________________________________________________
lib/ex_git_objectstore/graph/fallback.ex:98:23:call_without_opaque
Function call without opaqueness type mismatch.
Call does not have expected term of type %MapSet{:map => MapSet.internal(_)} (with opaque subterms) in the 1st position.
MapSet.member?(
_visited :: %MapSet{
:map =>
{:set, non_neg_integer(), non_neg_integer(), pos_integer(), non_neg_integer(),
non_neg_integer(), non_neg_integer(), tuple(), tuple()}
| %{_ => []}
},
_sha :: any()
)
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph/fallback.ex:99:30: The call 'Elixir.ExGitObjectstore.Graph.Fallback':do_collect(_repo@1::#{'__struct__':='Elixir.ExGitObjectstore.Repo', _=>_},_rest@1::[any()],_visited@1::#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},_remaining@1::any()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
________________________________________________________________________________
Please file a bug in https://github.com/jeremyjh/dialyxir/issues with this message.
Unknown error occurred: %FunctionClauseError{module: Dialyxir.WarningHelpers, function: :ordinal, arity: 1, kind: nil, args: nil, clauses: nil}
Legacy warning:
lib/ex_git_objectstore/graph/fallback.ex:105:45: The call 'Elixir.ExGitObjectstore.Graph.Fallback':do_collect(_repo@1::#{'__struct__':='Elixir.ExGitObjectstore.Repo', 'cache':='nil' | {atom(),map()}, 'id':=binary(), 'max_object_size':=pos_integer(), 'storage':={atom(),map()}},[any()],_visited@2::#{'__struct__':='Elixir.MapSet', 'map':='Elixir.MapSet':internal(_)},number()) contains an opaque term as 3rd argument when terms of different types are expected in these positions
________________________________________________________________________________
lib/ex_git_objectstore/graph/fallback.ex:142:8:pattern_match_cov
The pattern
:variable_
can never match, because previous clauses completely cover the type
binary().
________________________________________________________________________________
done (warnings were emitted)
Halting VM with exit status 2