Dec 02 22:15:03.432 INFO testing polytype-6.0.0 against 1.30.1 for beta-1.31-5
Dec 02 22:15:03.432 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 22:15:03.654 INFO [stdout] 94636e151833f8191294396e082e8d54a72bebccb6d0d8dc87401d4e688d1648
Dec 02 22:15:03.656 INFO running `"docker" "start" "-a" "94636e151833f8191294396e082e8d54a72bebccb6d0d8dc87401d4e688d1648"`
Dec 02 22:15:04.200 INFO [stderr] usermod: no changes
Dec 02 22:15:04.256 INFO [stderr]    Compiling nom v4.1.1
Dec 02 22:15:06.703 INFO [stderr]    Compiling polytype v6.0.0 (/source)
Dec 02 22:15:07.799 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.57s
Dec 02 22:15:07.801 INFO [stderr] su: No module specific data is present
Dec 02 22:15:08.072 INFO running `"docker" "inspect" "94636e151833f8191294396e082e8d54a72bebccb6d0d8dc87401d4e688d1648"`
Dec 02 22:15:08.156 INFO running `"docker" "rm" "-f" "94636e151833f8191294396e082e8d54a72bebccb6d0d8dc87401d4e688d1648"`
Dec 02 22:15:08.315 INFO [stdout] 94636e151833f8191294396e082e8d54a72bebccb6d0d8dc87401d4e688d1648
Dec 02 22:15:08.317 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 22:15:08.464 INFO [stdout] a04244c7e6d8ea042f7f0d9300a45cfb47e0b24f7a8af1e4a9f6963a4e58a00c
Dec 02 22:15:08.468 INFO running `"docker" "start" "-a" "a04244c7e6d8ea042f7f0d9300a45cfb47e0b24f7a8af1e4a9f6963a4e58a00c"`
Dec 02 22:15:09.013 INFO [stderr] usermod: no changes
Dec 02 22:15:09.041 INFO [stderr]    Compiling polytype v6.0.0 (/source)
Dec 02 22:15:12.253 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.22s
Dec 02 22:15:12.254 INFO [stderr] su: No module specific data is present
Dec 02 22:15:12.660 INFO running `"docker" "inspect" "a04244c7e6d8ea042f7f0d9300a45cfb47e0b24f7a8af1e4a9f6963a4e58a00c"`
Dec 02 22:15:12.773 INFO running `"docker" "rm" "-f" "a04244c7e6d8ea042f7f0d9300a45cfb47e0b24f7a8af1e4a9f6963a4e58a00c"`
Dec 02 22:15:12.905 INFO [stdout] a04244c7e6d8ea042f7f0d9300a45cfb47e0b24f7a8af1e4a9f6963a4e58a00c
Dec 02 22:15:12.908 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/1.30.1:/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 +1.30.1 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 22:15:13.064 INFO [stdout] 811fbc7d1fb0ef0ef34623d41d5d0bb627caa17dbfd58c58d15d6da69800df49
Dec 02 22:15:13.072 INFO running `"docker" "start" "-a" "811fbc7d1fb0ef0ef34623d41d5d0bb627caa17dbfd58c58d15d6da69800df49"`
Dec 02 22:15:13.556 INFO [stderr] usermod: no changes
Dec 02 22:15:13.592 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Dec 02 22:15:13.603 INFO [stderr]      Running /target/debug/deps/polytype-567ef1cc61484785
Dec 02 22:15:13.605 INFO [stdout] 
Dec 02 22:15:13.605 INFO [stdout] running 0 tests
Dec 02 22:15:13.605 INFO [stdout] 
Dec 02 22:15:13.605 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 22:15:13.605 INFO [stdout] 
Dec 02 22:15:13.605 INFO [stderr]      Running /target/debug/deps/tests-16bc591a40d18ac3
Dec 02 22:15:13.606 INFO [stdout] 
Dec 02 22:15:13.606 INFO [stdout] running 13 tests
Dec 02 22:15:13.608 INFO [stdout] test test_parse ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_ptp_macro ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_tp_from_vecdeque ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_arrow_methods ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_tp_from_vec ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_unify_both_sides_polymorphic ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_tp_macro ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_unify_one_side_polymorphic_fail ... ok
Dec 02 22:15:13.608 INFO [stdout] test test_unify_one_side_polymorphic ... ok
Dec 02 22:15:13.609 INFO [stdout] test test_unify_both_sides_polymorphic_occurs ... ok
Dec 02 22:15:13.613 INFO [stdout] test test_unify_nonstring_name ... ok
Dec 02 22:15:13.615 INFO [stdout] test test_merge_no_sacreds ... ok
Dec 02 22:15:13.615 INFO [stdout] test test_merge_with_sacreds ... ok
Dec 02 22:15:13.615 INFO [stderr]    Doc-tests polytype
Dec 02 22:15:13.615 INFO [stdout] 
Dec 02 22:15:13.615 INFO [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 22:15:13.615 INFO [stdout] 
Dec 02 22:15:15.271 INFO [stdout] 
Dec 02 22:15:15.271 INFO [stdout] running 41 tests
Dec 02 22:15:22.488 INFO [stdout] test src/context.rs - context::Context<N>::merge (line 306) ... ok
Dec 02 22:15:22.646 INFO [stdout] test src/context.rs - context::Context<N>::confine (line 233) ... ok
Dec 02 22:15:24.009 INFO [stdout] test src/context.rs - context::Context<N>::new_variable (line 72) ... ok
Dec 02 22:15:24.027 INFO [stdout] test src/lib.rs -  (line 18) ... ok
Dec 02 22:15:24.027 INFO [stdout] test src/macros.rs - ptp (line 134) ... ignored
Dec 02 22:15:24.903 INFO [stdout] test src/context.rs - context::Context<N>::merge (line 276) ... ok
Dec 02 22:15:25.715 INFO [stdout] test src/context.rs - context::Context<N>::unify (line 145) ... ok
Dec 02 22:15:26.498 INFO [stdout] test src/context.rs - context::Context<N>::unify (line 103) ... ok
Dec 02 22:15:27.351 INFO [stdout] test src/context.rs - context::Context<N>::unify (line 122) ... ok
Dec 02 22:15:32.135 INFO [stdout] test src/lib.rs - Name (line 130) ... ok
Dec 02 22:15:32.135 INFO [stdout] test src/macros.rs - tp (line 5) ... ignored
Dec 02 22:15:32.739 INFO [stdout] test src/lib.rs - Name (line 138) ... ok
Dec 02 22:15:33.670 INFO [stdout] test src/macros.rs - ptp (line 177) ... ok
Dec 02 22:15:33.728 INFO [stdout] test src/macros.rs - ptp (line 206) ... ok
Dec 02 22:15:33.728 INFO [stdout] test src/macros.rs - ptp (line 156) ... ok
Dec 02 22:15:34.492 INFO [stdout] test src/lib.rs -  (line 47) ... ok
Dec 02 22:15:36.303 INFO [stdout] test src/macros.rs - tp (line 31) ... ok
Dec 02 22:15:36.642 INFO [stdout] test src/macros.rs - tp (line 45) ... ok
Dec 02 22:15:42.431 INFO [stdout] test src/macros.rs - tp (line 78) ... ok
Dec 02 22:15:42.983 INFO [stdout] test src/types.rs - types::Type::Constructed (line 241) ... ok
Dec 02 22:15:44.511 INFO [stdout] test src/macros.rs - tp (line 59) ... ok
Dec 02 22:15:45.183 INFO [stdout] test src/macros.rs - tp (line 98) ... ok
Dec 02 22:15:45.995 INFO [stdout] test src/types.rs - types::Type::Constructed (line 224) ... ok
Dec 02 22:15:46.655 INFO [stdout] test src/types.rs - types::Type::Constructed (line 232) ... ok
Dec 02 22:15:49.395 INFO [stdout] test src/types.rs - types::Type::Variable (line 276) ... ok
Dec 02 22:15:49.519 INFO [stdout] test src/types.rs - types::Type::Constructed (line 253) ... ok
Dec 02 22:15:53.659 INFO [stdout] test src/types.rs - types::Type<N>::apply (line 443) ... ok
Dec 02 22:15:54.547 INFO [stdout] test src/types.rs - types::Type::Variable (line 288) ... ok
Dec 02 22:15:54.883 INFO [stdout] test src/types.rs - types::Type<N>::args (line 375) ... ok
Dec 02 22:15:56.130 INFO [stdout] test src/types.rs - types::Type<N>::arrow (line 307) ... ok
Dec 02 22:15:57.459 INFO [stdout] test src/types.rs - types::Type<N>::parse (line 611) ... ok
Dec 02 22:15:58.628 INFO [stdout] test src/types.rs - types::Type<N>::as_arrow (line 322) ... ok
Dec 02 22:15:59.048 INFO [stdout] test src/types.rs - types::Type<N>::generalize (line 492) ... ok
Dec 02 22:16:01.075 INFO [stdout] test src/types.rs - types::Type<N>::returns (line 410) ... ok
Dec 02 22:16:03.215 INFO [stdout] test src/types.rs - types::Type<N>::substitute (line 560) ... ok
Dec 02 22:16:05.427 INFO [stdout] test src/types.rs - types::TypeSchema<N>::free_vars (line 82) ... ok
Dec 02 22:16:05.571 INFO [stdout] test src/types.rs - types::TypeSchema<N>::bound_vars (line 59) ... ok
Dec 02 22:16:06.095 INFO [stdout] test src/types.rs - types::Type<N>::vars (line 529) ... ok
Dec 02 22:16:06.296 INFO [stdout] test src/types.rs - types::TypeSchema<N>::instantiate (line 113) ... ok
Dec 02 22:16:06.543 INFO [stdout] test src/types.rs - types::TypeSchema<N>::parse (line 176) ... ok
Dec 02 22:16:06.543 INFO [stdout] test src/types.rs - types::TypeSchema<N>::is_bound (line 40) ... ok
Dec 02 22:16:06.543 INFO [stdout] 
Dec 02 22:16:06.543 INFO [stdout] test result: ok. 39 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out
Dec 02 22:16:06.543 INFO [stdout] 
Dec 02 22:16:06.558 INFO [stderr] su: No module specific data is present
Dec 02 22:16:06.888 INFO running `"docker" "inspect" "811fbc7d1fb0ef0ef34623d41d5d0bb627caa17dbfd58c58d15d6da69800df49"`
Dec 02 22:16:07.025 INFO running `"docker" "rm" "-f" "811fbc7d1fb0ef0ef34623d41d5d0bb627caa17dbfd58c58d15d6da69800df49"`
Dec 02 22:16:07.227 INFO [stdout] 811fbc7d1fb0ef0ef34623d41d5d0bb627caa17dbfd58c58d15d6da69800df49
