Dec 13 10:23:42.020 INFO testing mlajszczak/type_check against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550 Dec 13 10:23:42.020 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 10:23:42.660 INFO [stdout] 4f07b960965369a2bfa2077a97b20477300b3ed14ac981574fec09e58c60dcb5 Dec 13 10:23:42.662 INFO running `"docker" "start" "-a" "4f07b960965369a2bfa2077a97b20477300b3ed14ac981574fec09e58c60dcb5"` Dec 13 10:23:44.582 INFO [stderr] usermod: no changes Dec 13 10:23:44.582 INFO [stderr] Compiling type_check v0.1.0 (/source) Dec 13 10:23:46.387 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.84s Dec 13 10:23:46.391 INFO [stderr] su: No module specific data is present Dec 13 10:23:47.323 INFO running `"docker" "inspect" "4f07b960965369a2bfa2077a97b20477300b3ed14ac981574fec09e58c60dcb5"` Dec 13 10:23:47.616 INFO running `"docker" "rm" "-f" "4f07b960965369a2bfa2077a97b20477300b3ed14ac981574fec09e58c60dcb5"` Dec 13 10:23:47.947 INFO [stdout] 4f07b960965369a2bfa2077a97b20477300b3ed14ac981574fec09e58c60dcb5 Dec 13 10:23:47.953 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 10:23:48.508 INFO [stdout] 0d961b26fdd8a24cba1c77748909f0af1ad4269d3b28914e55a342ffa0acbf99 Dec 13 10:23:48.510 INFO running `"docker" "start" "-a" "0d961b26fdd8a24cba1c77748909f0af1ad4269d3b28914e55a342ffa0acbf99"` Dec 13 10:23:49.651 INFO [stderr] usermod: no changes Dec 13 10:23:49.711 INFO [stderr] Compiling type_check v0.1.0 (/source) Dec 13 10:23:51.481 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.80s Dec 13 10:23:51.483 INFO [stderr] su: No module specific data is present Dec 13 10:23:52.459 INFO running `"docker" "inspect" "0d961b26fdd8a24cba1c77748909f0af1ad4269d3b28914e55a342ffa0acbf99"` Dec 13 10:23:52.861 INFO running `"docker" "rm" "-f" "0d961b26fdd8a24cba1c77748909f0af1ad4269d3b28914e55a342ffa0acbf99"` Dec 13 10:23:53.171 INFO [stdout] 0d961b26fdd8a24cba1c77748909f0af1ad4269d3b28914e55a342ffa0acbf99 Dec 13 10:23:53.175 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-6/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 13 10:23:53.631 INFO [stdout] f9d698a41b9675bb8e90e3e19239bf2eabf129e8d6180935b57e45900b7075b6 Dec 13 10:23:53.639 INFO running `"docker" "start" "-a" "f9d698a41b9675bb8e90e3e19239bf2eabf129e8d6180935b57e45900b7075b6"` Dec 13 10:23:55.155 INFO [stderr] usermod: no changes Dec 13 10:23:55.233 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.03s Dec 13 10:23:55.233 INFO [stderr] Running /target/debug/deps/type_check-e333fe6d1273f430 Dec 13 10:23:55.239 INFO [stdout] Dec 13 10:23:55.239 INFO [stdout] running 15 tests Dec 13 10:23:55.239 INFO [stdout] test tests::apply::empty_substitution ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::apply::complex_type ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::empty_set ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::compose::no_common_variables ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::compose::neutralize_fist_subs ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::compose::inverting_subs ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::compose::complex_composition ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::apply::no_common_variables ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::recursive_constraints ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::simple_arrow_constraints ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::simple_fail ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::specifying_constraints ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::unify::transitive_constraints ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::apply::type_without_variables ... ok Dec 13 10:23:55.239 INFO [stdout] test tests::apply::variable_type ... ok Dec 13 10:23:55.239 INFO [stdout] Dec 13 10:23:55.239 INFO [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 10:23:55.239 INFO [stdout] Dec 13 10:23:55.241 INFO [stderr] Running /target/debug/deps/type_check-63269ab987dd1a58 Dec 13 10:23:55.244 INFO [stdout] Dec 13 10:23:55.244 INFO [stdout] running 0 tests Dec 13 10:23:55.244 INFO [stdout] Dec 13 10:23:55.244 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 10:23:55.244 INFO [stdout] Dec 13 10:23:55.251 INFO [stderr] Doc-tests type_check Dec 13 10:23:55.725 INFO [stdout] Dec 13 10:23:55.725 INFO [stdout] running 0 tests Dec 13 10:23:55.725 INFO [stdout] Dec 13 10:23:55.725 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 13 10:23:55.725 INFO [stdout] Dec 13 10:23:55.743 INFO [stderr] su: No module specific data is present Dec 13 10:23:57.079 INFO running `"docker" "inspect" "f9d698a41b9675bb8e90e3e19239bf2eabf129e8d6180935b57e45900b7075b6"` Dec 13 10:23:57.360 INFO running `"docker" "rm" "-f" "f9d698a41b9675bb8e90e3e19239bf2eabf129e8d6180935b57e45900b7075b6"` Dec 13 10:23:57.721 INFO [stdout] f9d698a41b9675bb8e90e3e19239bf2eabf129e8d6180935b57e45900b7075b6