Nov 16 19:27:23.502 INFO testing mlajszczak/type_check against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982 Nov 16 19:27:23.502 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 19:27:24.077 INFO [stdout] ed1e140298c327daeddcd488db817ce74673a6c5901543e4f31f7f5d78e373c0 Nov 16 19:27:24.081 INFO running `"docker" "start" "-a" "ed1e140298c327daeddcd488db817ce74673a6c5901543e4f31f7f5d78e373c0"` Nov 16 19:27:26.450 INFO [stderr] usermod: no changes Nov 16 19:27:26.535 INFO [stderr] Compiling type_check v0.1.0 (/source) Nov 16 19:27:28.214 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.72s Nov 16 19:27:28.219 INFO [stderr] su: No module specific data is present Nov 16 19:27:29.423 INFO running `"docker" "inspect" "ed1e140298c327daeddcd488db817ce74673a6c5901543e4f31f7f5d78e373c0"` Nov 16 19:27:29.791 INFO running `"docker" "rm" "-f" "ed1e140298c327daeddcd488db817ce74673a6c5901543e4f31f7f5d78e373c0"` Nov 16 19:27:30.087 INFO [stdout] ed1e140298c327daeddcd488db817ce74673a6c5901543e4f31f7f5d78e373c0 Nov 16 19:27:30.090 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 19:27:30.663 INFO [stdout] 7c05c0f8406ec731a0ca15dcf7981e54858e9cde25e6639e1527e2f7dffb78b8 Nov 16 19:27:30.666 INFO running `"docker" "start" "-a" "7c05c0f8406ec731a0ca15dcf7981e54858e9cde25e6639e1527e2f7dffb78b8"` Nov 16 19:27:32.591 INFO [stderr] usermod: no changes Nov 16 19:27:32.639 INFO [stderr] Compiling type_check v0.1.0 (/source) Nov 16 19:27:34.692 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.07s Nov 16 19:27:34.693 INFO [stderr] su: No module specific data is present Nov 16 19:27:35.688 INFO running `"docker" "inspect" "7c05c0f8406ec731a0ca15dcf7981e54858e9cde25e6639e1527e2f7dffb78b8"` Nov 16 19:27:35.947 INFO running `"docker" "rm" "-f" "7c05c0f8406ec731a0ca15dcf7981e54858e9cde25e6639e1527e2f7dffb78b8"` Nov 16 19:27:36.257 INFO [stdout] 7c05c0f8406ec731a0ca15dcf7981e54858e9cde25e6639e1527e2f7dffb78b8 Nov 16 19:27:36.259 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-3/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"` Nov 16 19:27:36.715 INFO [stdout] 6a7db5959012b24eaa7d1e17261d6f682cf44cd3eee7592d536989943cb0e581 Nov 16 19:27:36.717 INFO running `"docker" "start" "-a" "6a7db5959012b24eaa7d1e17261d6f682cf44cd3eee7592d536989943cb0e581"` Nov 16 19:27:38.199 INFO [stderr] usermod: no changes Nov 16 19:27:38.251 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.03s Nov 16 19:27:38.252 INFO [stderr] Running /target/debug/deps/type_check-5f23350c4b58a5a8 Nov 16 19:27:38.263 INFO [stdout] Nov 16 19:27:38.263 INFO [stdout] running 15 tests Nov 16 19:27:38.263 INFO [stdout] test tests::apply::empty_substitution ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::apply::type_without_variables ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::apply::complex_type ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::apply::variable_type ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::apply::no_common_variables ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::recursive_constraints ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::compose::no_common_variables ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::empty_set ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::simple_arrow_constraints ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::compose::neutralize_fist_subs ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::simple_fail ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::specifying_constraints ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::compose::inverting_subs ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::unify::transitive_constraints ... ok Nov 16 19:27:38.263 INFO [stdout] test tests::compose::complex_composition ... ok Nov 16 19:27:38.263 INFO [stdout] Nov 16 19:27:38.263 INFO [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 19:27:38.263 INFO [stdout] Nov 16 19:27:38.263 INFO [stderr] Running /target/debug/deps/type_check-2cb6bd9d45ee0f8f Nov 16 19:27:38.275 INFO [stdout] Nov 16 19:27:38.275 INFO [stdout] running 0 tests Nov 16 19:27:38.275 INFO [stdout] Nov 16 19:27:38.275 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 19:27:38.275 INFO [stdout] Nov 16 19:27:38.279 INFO [stderr] Doc-tests type_check Nov 16 19:27:38.708 INFO [stdout] Nov 16 19:27:38.708 INFO [stdout] running 0 tests Nov 16 19:27:38.709 INFO [stdout] Nov 16 19:27:38.709 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 16 19:27:38.709 INFO [stdout] Nov 16 19:27:38.716 INFO [stderr] su: No module specific data is present Nov 16 19:27:39.981 INFO running `"docker" "inspect" "6a7db5959012b24eaa7d1e17261d6f682cf44cd3eee7592d536989943cb0e581"` Nov 16 19:27:40.391 INFO running `"docker" "rm" "-f" "6a7db5959012b24eaa7d1e17261d6f682cf44cd3eee7592d536989943cb0e581"` Nov 16 19:27:40.753 INFO [stdout] 6a7db5959012b24eaa7d1e17261d6f682cf44cd3eee7592d536989943cb0e581