Dec 03 05:53:01.048 INFO testing hindley-milner-0.1.0 against 1.30.1 for beta-1.31-5
Dec 03 05:53:01.048 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 03 05:53:01.226 INFO [stdout] 6fd84aad900a77207b5e72e4a07a6676f08821d3e1bf508b527f9a51ac48b4f0
Dec 03 05:53:01.226 INFO running `"docker" "start" "-a" "6fd84aad900a77207b5e72e4a07a6676f08821d3e1bf508b527f9a51ac48b4f0"`
Dec 03 05:53:01.654 INFO [stderr] usermod: no changes
Dec 03 05:53:01.682 INFO [stderr]    Compiling hindley-milner v0.1.0 (/source)
Dec 03 05:53:02.307 INFO [stderr] warning: struct is never constructed: `Namer`
Dec 03 05:53:02.307 INFO [stderr]   --> src/lib.rs:77:1
Dec 03 05:53:02.307 INFO [stderr]    |
Dec 03 05:53:02.307 INFO [stderr] 77 | struct Namer {
Dec 03 05:53:02.307 INFO [stderr]    | ^^^^^^^^^^^^
Dec 03 05:53:02.307 INFO [stderr]    |
Dec 03 05:53:02.307 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 03 05:53:02.307 INFO [stderr] 
Dec 03 05:53:02.307 INFO [stderr] warning: method is never used: `next`
Dec 03 05:53:02.307 INFO [stderr]   --> src/lib.rs:83:5
Dec 03 05:53:02.307 INFO [stderr]    |
Dec 03 05:53:02.307 INFO [stderr] 83 |     fn next(&mut self) -> String {
Dec 03 05:53:02.307 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 03 05:53:02.307 INFO [stderr] 
Dec 03 05:53:02.307 INFO [stderr] warning: method is never used: `name`
Dec 03 05:53:02.307 INFO [stderr]   --> src/lib.rs:89:5
Dec 03 05:53:02.307 INFO [stderr]    |
Dec 03 05:53:02.307 INFO [stderr] 89 |     fn name(&mut self, t: ArenaType) -> String {
Dec 03 05:53:02.307 INFO [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 03 05:53:02.307 INFO [stderr] 
Dec 03 05:53:02.307 INFO [stderr] warning: method is never used: `id`
Dec 03 05:53:02.307 INFO [stderr]    --> src/lib.rs:124:5
Dec 03 05:53:02.307 INFO [stderr]     |
Dec 03 05:53:02.307 INFO [stderr] 124 |     fn id(&self) -> usize {
Dec 03 05:53:02.307 INFO [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^
Dec 03 05:53:02.307 INFO [stderr] 
Dec 03 05:53:02.323 INFO [stderr] warning: method is never used: `as_string`
Dec 03 05:53:02.323 INFO [stderr]    --> src/lib.rs:146:5
Dec 03 05:53:02.323 INFO [stderr]     |
Dec 03 05:53:02.323 INFO [stderr] 146 |     fn as_string(&self, a: &Vec<Type>, namer: &mut Namer) -> String {
Dec 03 05:53:02.323 INFO [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 03 05:53:02.323 INFO [stderr] 
Dec 03 05:53:02.323 INFO [stderr] warning: function is never used: `test_env`
Dec 03 05:53:02.323 INFO [stderr]    --> src/lib.rs:537:1
Dec 03 05:53:02.323 INFO [stderr]     |
Dec 03 05:53:02.323 INFO [stderr] 537 | fn test_env() -> (Vec<Type>, Env) {
Dec 03 05:53:02.323 INFO [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Dec 03 05:53:02.323 INFO [stderr] 
Dec 03 05:53:02.712 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.04s
Dec 03 05:53:02.714 INFO [stderr] su: No module specific data is present
Dec 03 05:53:02.968 INFO running `"docker" "inspect" "6fd84aad900a77207b5e72e4a07a6676f08821d3e1bf508b527f9a51ac48b4f0"`
Dec 03 05:53:03.072 INFO running `"docker" "rm" "-f" "6fd84aad900a77207b5e72e4a07a6676f08821d3e1bf508b527f9a51ac48b4f0"`
Dec 03 05:53:03.222 INFO [stdout] 6fd84aad900a77207b5e72e4a07a6676f08821d3e1bf508b527f9a51ac48b4f0
Dec 03 05:53:03.225 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 03 05:53:03.365 INFO [stdout] 4ec3788ddf9c3a8edb0d8cf1526e1e93a82fab5a98a7c93e6005780ec5b98d76
Dec 03 05:53:03.366 INFO running `"docker" "start" "-a" "4ec3788ddf9c3a8edb0d8cf1526e1e93a82fab5a98a7c93e6005780ec5b98d76"`
Dec 03 05:53:04.055 INFO [stderr] usermod: no changes
Dec 03 05:53:04.120 INFO [stderr]    Compiling hindley-milner v0.1.0 (/source)
Dec 03 05:53:05.855 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.77s
Dec 03 05:53:05.857 INFO [stderr] su: No module specific data is present
Dec 03 05:53:06.065 INFO running `"docker" "inspect" "4ec3788ddf9c3a8edb0d8cf1526e1e93a82fab5a98a7c93e6005780ec5b98d76"`
Dec 03 05:53:06.135 INFO running `"docker" "rm" "-f" "4ec3788ddf9c3a8edb0d8cf1526e1e93a82fab5a98a7c93e6005780ec5b98d76"`
Dec 03 05:53:06.234 INFO [stdout] 4ec3788ddf9c3a8edb0d8cf1526e1e93a82fab5a98a7c93e6005780ec5b98d76
Dec 03 05:53:06.236 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-4/1.30.1:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 03 05:53:06.467 INFO [stdout] bf21d6524c3d4ad5a53d93b4f0b624e2ca212edb676a1374bf09edbbcc976512
Dec 03 05:53:06.472 INFO running `"docker" "start" "-a" "bf21d6524c3d4ad5a53d93b4f0b624e2ca212edb676a1374bf09edbbcc976512"`
Dec 03 05:53:06.907 INFO [stderr] usermod: no changes
Dec 03 05:53:06.935 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 03 05:53:06.935 INFO [stderr]      Running /target/debug/deps/hindley_milner-a7e0d54c60fda734
Dec 03 05:53:06.937 INFO [stdout] 
Dec 03 05:53:06.937 INFO [stdout] running 9 tests
Dec 03 05:53:06.937 INFO [stdout] test test_fun ... ok
Dec 03 05:53:06.937 INFO [stdout] test test_generic_nongeneric ... ok
Dec 03 05:53:06.937 INFO [stdout] test test_factorial ... ok
Dec 03 05:53:06.938 INFO [stdout] test test_int ... ok
Dec 03 05:53:06.938 INFO [stdout] test test_mul ... ok
Dec 03 05:53:06.938 INFO [stdout] test test_composition ... ok
Dec 03 05:53:06.951 INFO [stdout] test test_mismatch ... ok
Dec 03 05:53:06.951 INFO [stdout] test test_recursive ... ok
Dec 03 05:53:06.952 INFO [stdout] test test_pair ... ok
Dec 03 05:53:06.952 INFO [stdout] 
Dec 03 05:53:06.952 INFO [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 05:53:06.952 INFO [stdout] 
Dec 03 05:53:06.954 INFO [stderr] su: No module specific data is present
Dec 03 05:53:07.191 INFO running `"docker" "inspect" "bf21d6524c3d4ad5a53d93b4f0b624e2ca212edb676a1374bf09edbbcc976512"`
Dec 03 05:53:07.270 INFO running `"docker" "rm" "-f" "bf21d6524c3d4ad5a53d93b4f0b624e2ca212edb676a1374bf09edbbcc976512"`
Dec 03 05:53:07.341 INFO [stdout] bf21d6524c3d4ad5a53d93b4f0b624e2ca212edb676a1374bf09edbbcc976512
