Dec 05 14:12:31.888 INFO testing mlajszczak/type_check against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 05 14:12:31.888 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 14:12:32.410 INFO [stdout] 5ee9c431c9d06f45ab2110a74828361474f8a3d21bb5ebb8a278d2d2fea669cf Dec 05 14:12:32.412 INFO running `"docker" "start" "-a" "5ee9c431c9d06f45ab2110a74828361474f8a3d21bb5ebb8a278d2d2fea669cf"` Dec 05 14:12:34.712 INFO [stderr] usermod: no changes Dec 05 14:12:34.760 INFO [stderr] Compiling type_check v0.1.0 (/source) Dec 05 14:12:36.548 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.81s Dec 05 14:12:36.552 INFO [stderr] su: No module specific data is present Dec 05 14:12:37.838 INFO running `"docker" "inspect" "5ee9c431c9d06f45ab2110a74828361474f8a3d21bb5ebb8a278d2d2fea669cf"` Dec 05 14:12:38.224 INFO running `"docker" "rm" "-f" "5ee9c431c9d06f45ab2110a74828361474f8a3d21bb5ebb8a278d2d2fea669cf"` Dec 05 14:12:38.532 INFO [stdout] 5ee9c431c9d06f45ab2110a74828361474f8a3d21bb5ebb8a278d2d2fea669cf Dec 05 14:12:38.538 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 14:12:39.084 INFO [stdout] f94ce9bc515562a766b82378c10feffaedf993d3b595568891ff4c82a8c0401b Dec 05 14:12:39.086 INFO running `"docker" "start" "-a" "f94ce9bc515562a766b82378c10feffaedf993d3b595568891ff4c82a8c0401b"` Dec 05 14:12:40.980 INFO [stderr] usermod: no changes Dec 05 14:12:41.040 INFO [stderr] Compiling type_check v0.1.0 (/source) Dec 05 14:12:43.454 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.45s Dec 05 14:12:43.461 INFO [stderr] su: No module specific data is present Dec 05 14:12:44.698 INFO running `"docker" "inspect" "f94ce9bc515562a766b82378c10feffaedf993d3b595568891ff4c82a8c0401b"` Dec 05 14:12:44.934 INFO running `"docker" "rm" "-f" "f94ce9bc515562a766b82378c10feffaedf993d3b595568891ff4c82a8c0401b"` Dec 05 14:12:45.204 INFO [stdout] f94ce9bc515562a766b82378c10feffaedf993d3b595568891ff4c82a8c0401b Dec 05 14:12:45.212 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-0/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 05 14:12:45.689 INFO [stdout] 1f6a5d2e6fdf52ef0a037c70813ca7eabb12973751787a4f6e66b00afe3e984f Dec 05 14:12:45.691 INFO running `"docker" "start" "-a" "1f6a5d2e6fdf52ef0a037c70813ca7eabb12973751787a4f6e66b00afe3e984f"` Dec 05 14:12:47.272 INFO [stderr] usermod: no changes Dec 05 14:12:47.328 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.02s Dec 05 14:12:47.328 INFO [stderr] Running /target/debug/deps/type_check-13e293fe6410f384 Dec 05 14:12:47.332 INFO [stdout] Dec 05 14:12:47.332 INFO [stdout] running 15 tests Dec 05 14:12:47.353 INFO [stdout] test tests::apply::empty_substitution ... ok Dec 05 14:12:47.353 INFO [stdout] test tests::apply::complex_type ... ok Dec 05 14:12:47.353 INFO [stdout] test tests::apply::type_without_variables ... ok Dec 05 14:12:47.353 INFO [stdout] test tests::apply::no_common_variables ... ok Dec 05 14:12:47.353 INFO [stdout] test tests::unify::recursive_constraints ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::unify::simple_arrow_constraints ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::unify::empty_set ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::compose::no_common_variables ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::compose::complex_composition ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::unify::simple_fail ... ok Dec 05 14:12:47.354 INFO [stdout] test tests::unify::specifying_constraints ... ok Dec 05 14:12:47.355 INFO [stdout] test tests::unify::transitive_constraints ... ok Dec 05 14:12:47.355 INFO [stdout] test tests::apply::variable_type ... ok Dec 05 14:12:47.355 INFO [stdout] test tests::compose::neutralize_fist_subs ... ok Dec 05 14:12:47.356 INFO [stdout] test tests::compose::inverting_subs ... ok Dec 05 14:12:47.356 INFO [stdout] Dec 05 14:12:47.356 INFO [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 14:12:47.356 INFO [stdout] Dec 05 14:12:47.363 INFO [stdout] Dec 05 14:12:47.363 INFO [stderr] Running /target/debug/deps/type_check-e7f13d7ef9915c2e Dec 05 14:12:47.363 INFO [stdout] running 0 tests Dec 05 14:12:47.363 INFO [stderr] Doc-tests type_check Dec 05 14:12:47.363 INFO [stdout] Dec 05 14:12:47.363 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 14:12:47.363 INFO [stdout] Dec 05 14:12:47.806 INFO [stdout] Dec 05 14:12:47.806 INFO [stdout] running 0 tests Dec 05 14:12:47.806 INFO [stdout] Dec 05 14:12:47.806 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 05 14:12:47.806 INFO [stdout] Dec 05 14:12:47.813 INFO [stderr] su: No module specific data is present Dec 05 14:12:48.618 INFO running `"docker" "inspect" "1f6a5d2e6fdf52ef0a037c70813ca7eabb12973751787a4f6e66b00afe3e984f"` Dec 05 14:12:48.982 INFO running `"docker" "rm" "-f" "1f6a5d2e6fdf52ef0a037c70813ca7eabb12973751787a4f6e66b00afe3e984f"` Dec 05 14:12:49.260 INFO [stdout] 1f6a5d2e6fdf52ef0a037c70813ca7eabb12973751787a4f6e66b00afe3e984f