Compilation incompatibility warnings at testing step #9700
Description
Environment
- Elixir & Erlang/OTP versions (elixir --version):
At test compilation stage of git tag reference:v1.10.0-rc.0with latestErlang(22.2.1)
$ erl
Erlang/OTP 22 [erts-10.6.1] [source] [64-bit] [smp:8:8] [ds:8:8:10] [async-threads:1] [hipe]
Eshell V10.6.1- Operating system:
$ lsb_release --all
LSB Version: n/a
Distributor ID: openSUSE
Description: openSUSE Tumbleweed
Release: 20191231
Codename: n/a
$ cat /proc/version
Linux version 5.3.12-2-default (geeko@buildhost) (gcc version 9.2.1 20190903 [gcc-9-branch revision 275330] (SUSE Linux)) #1 SMP Thu Nov 21 07:21:43 UTC 2019 (a6f6081)
$ uname -a
Linux install 5.3.12-2-default #1 SMP Thu Nov 21 07:21:43 UTC 2019 (a6f6081) x86_64 x86_64 x86_64 GNU/LinuxCurrent behavior
This is a current log with warnings.
$ asdf install elixir ref:v1.10.0-rc.0
==> Checking whether specified Elixir release/reference exists...
==> Downloading v1.10.0-rc.0 to /tmp/elixir_build_4zBhzP/elixir-ref-v1.10.0-rc.0-src.tar.gz
% Total % Received % Xferd Average Speed Time Time Time Current
Dload Upload Total Spent Left Speed
100 132 0 132 0 0 530 0 --:--:-- --:--:-- --:--:-- 530
100 2268k 0 2268k 0 0 675k 0 --:--:-- 0:00:03 --:--:-- 858k
==> Making the release
rm -rf ebin
rm -rf lib/*/ebin
rm -rf lib/elixir/src/elixir_parser.erl
make[1]: Wejście do katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
rm -rf lib/*/_build/
rm -rf lib/*/tmp/
rm -rf lib/elixir/test/ebin/
rm -rf lib/mix/test/fixtures/deps_on_git_repo/
rm -rf lib/mix/test/fixtures/git_rebar/
rm -rf lib/mix/test/fixtures/git_repo/
rm -rf lib/mix/test/fixtures/git_sparse_repo/
rm -f erl_crash.dump
make[2]: Wejście do katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
rm -f man/elixir.1
rm -f man/elixir.1.bak
rm -f man/iex.1
rm -f man/iex.1.bak
make[2]: Opuszczenie katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
make[1]: Opuszczenie katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
Recompile: src/elixir_utils
Recompile: src/elixir_tokenizer
Recompile: src/elixir_sup
Recompile: src/elixir_rewrite
Recompile: src/elixir_quote
Recompile: src/elixir_parser
Recompile: src/elixir_overridable
Recompile: src/elixir_module
Recompile: src/elixir_map
Recompile: src/elixir_locals
Recompile: src/elixir_lexical
Recompile: src/elixir_interpolation
Recompile: src/elixir_import
Recompile: src/elixir_fn
Recompile: src/elixir_expand
Recompile: src/elixir_errors
Recompile: src/elixir_erl_var
Recompile: src/elixir_erl_try
Recompile: src/elixir_erl_pass
Recompile: src/elixir_erl_for
Recompile: src/elixir_erl_compiler
Recompile: src/elixir_erl_clauses
Recompile: src/elixir_erl
Recompile: src/elixir_env
Recompile: src/elixir_dispatch
Recompile: src/elixir_def
Recompile: src/elixir_config
Recompile: src/elixir_compiler
Recompile: src/elixir_code_server
Recompile: src/elixir_clauses
Recompile: src/elixir_bootstrap
Recompile: src/elixir_bitstring
Recompile: src/elixir_aliases
Recompile: src/elixir
Generated elixir app
==> bootstrap (compile)
Compiled lib/elixir/lib/kernel.ex
Compiled lib/elixir/lib/macro/env.ex
Compiled lib/elixir/lib/keyword.ex
Compiled lib/elixir/lib/module.ex
Compiled lib/elixir/lib/list.ex
Compiled lib/elixir/lib/macro.ex
Compiled lib/elixir/lib/kernel/typespec.ex
Compiled lib/elixir/lib/code.ex
Compiled lib/elixir/lib/code/identifier.ex
Compiled lib/elixir/lib/module/checker.ex
Compiled lib/elixir/lib/module/locals_tracker.ex
Compiled lib/elixir/lib/module/parallel_checker.ex
Compiled lib/elixir/lib/module/types/helpers.ex
Compiled lib/elixir/lib/module/types/infer.ex
Compiled lib/elixir/lib/module/types/expr.ex
Compiled lib/elixir/lib/module/types/pattern.ex
Compiled lib/elixir/lib/module/types.ex
Compiled lib/elixir/lib/kernel/utils.ex
Compiled lib/elixir/lib/exception.ex
Compiled lib/elixir/lib/protocol.ex
Compiled lib/elixir/lib/stream/reducers.ex
Compiled lib/elixir/lib/enum.ex
Compiled lib/elixir/lib/map.ex
Compiled lib/elixir/lib/inspect/algebra.ex
Compiled lib/elixir/lib/inspect.ex
Compiled lib/elixir/lib/access.ex
Compiled lib/elixir/lib/range.ex
Compiled lib/elixir/lib/regex.ex
Compiled lib/elixir/lib/string.ex
Compiled lib/elixir/lib/string/chars.ex
Compiled lib/elixir/lib/io.ex
Compiled lib/elixir/lib/path.ex
Compiled lib/elixir/lib/file.ex
Compiled lib/elixir/lib/system.ex
Compiled lib/elixir/lib/kernel/cli.ex
Compiled lib/elixir/lib/kernel/error_handler.ex
Compiled lib/elixir/lib/kernel/parallel_compiler.ex
Compiled lib/elixir/lib/kernel/lexical_tracker.ex
make[1]: Wejście do katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
==> unicode (compile)
Compiling /home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0/lib/elixir/unicode/unicode.ex (it's taking more than 15s)
make[1]: Opuszczenie katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
==> elixir (compile)
Compiling /home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0/lib/elixir/lib/base.ex (it's taking more than 15s)
make[1]: Wejście do katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
Generated elixir app
make[1]: Opuszczenie katalogu '/home/USERNAME/.asdf/installs/elixir/ref-v1.10.0-rc.0'
==> eex (compile)
==> mix (compile)
Generated mix app
==> ex_unit (compile)
Generated ex_unit app
==> logger (compile)
Generated logger app
Generated eex app
==> iex (compile)
Generated iex app
==> elixir (eunit)
All 190 tests passed.
==> elixir (ex_unit)
warning: function clause will never match, found incompatibility:
atom() !~ integer()
in expression:
is_atom(atom) and not(is_integer(atom) and Bitwise.band(atom, 1) == 1)
where "atom" was given the type integer() in:
# test/elixir/integer_test.exs:11
Bitwise.band(atom, 1)
where "atom" was given the type atom() in:
# test/elixir/integer_test.exs:11
is_atom(atom)
Conflict found at
test/elixir/integer_test.exs:11: IntegerTest.test_is_odd_in_guards/1
warning: function clause will never match, found incompatibility:
atom() !~ integer()
in expression:
is_atom(atom) and not(is_integer(atom) and Bitwise.band(atom, 1) == 0)
where "atom" was given the type integer() in:
# test/elixir/integer_test.exs:15
Bitwise.band(atom, 1)
where "atom" was given the type atom() in:
# test/elixir/integer_test.exs:15
is_atom(atom)
Conflict found at
test/elixir/integer_test.exs:15: IntegerTest.test_is_even_in_guards/1
Excluding tags: [windows: true]
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
Finished in 65.3 seconds (34.7s on load, 30.5s on tests)
1572 doctests, 3386 tests, 0 failures, 8 excluded
Randomized with seed 926785
==> ex_unit (ex_unit)
...............................................................................................................................................................................................................................................................................................................................................................
Finished in 8.4 seconds (4.2s on load, 4.2s on tests)
42 doctests, 309 tests, 0 failures
Randomized with seed 732539
==> logger (ex_unit)
............................................................................................................................
Finished in 4.1 seconds (3.5s on load, 0.6s on tests)
3 doctests, 121 tests, 0 failures
Randomized with seed 525517
==> mix (ex_unit)
Excluding tags: [windows: true]
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
Finished in 244.6 seconds (9.7s on load, 234.9s on tests)
9 doctests, 615 tests, 0 failures
Randomized with seed 941701
==> eex (ex_unit)
.............................................................................................
Finished in 1.1 seconds (1.1s on load, 0.09s on tests)
5 doctests, 88 tests, 0 failures
Randomized with seed 967235
==> iex (ex_unit)
.......................................................................................................................................................................................................................................
Finished in 16.0 seconds (3.1s on load, 12.8s on tests)
231 tests, 0 failures
Randomized with seed 265094Expected behavior
There should be no compilation warnings.