Nov 07 13:48:50.067 INFO checking hindley-milner-0.1.0 against master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings for pr-55687
Nov 07 13:48:50.067 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55687/worker-6/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55687/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings:/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 +24e66c28980442a48d9458f1a4f9b76cc722dc8a-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dduplicate_associated_type_bindings" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 07 13:48:50.416 INFO blam! 78fa45302a215ec09bf3b66cf83108858d7849667c5f7e3ace277266da94901d
Nov 07 13:48:50.428 INFO running `"docker" "start" "-a" "78fa45302a215ec09bf3b66cf83108858d7849667c5f7e3ace277266da94901d"`
Nov 07 13:48:51.514 INFO kablam! usermod: no changes
Nov 07 13:48:51.572 INFO kablam!     Checking hindley-milner v0.1.0 (/source)
Nov 07 13:48:52.585 INFO kablam! warning: struct is never constructed: `Namer`
Nov 07 13:48:52.585 INFO kablam!   --> src/lib.rs:77:1
Nov 07 13:48:52.586 INFO kablam!    |
Nov 07 13:48:52.586 INFO kablam! 77 | struct Namer {
Nov 07 13:48:52.586 INFO kablam!    | ^^^^^^^^^^^^
Nov 07 13:48:52.587 INFO kablam!    |
Nov 07 13:48:52.587 INFO kablam!    = note: #[warn(dead_code)] on by default
Nov 07 13:48:52.587 INFO kablam! 
Nov 07 13:48:52.587 INFO kablam! warning: method is never used: `next`
Nov 07 13:48:52.588 INFO kablam!   --> src/lib.rs:83:5
Nov 07 13:48:52.588 INFO kablam!    |
Nov 07 13:48:52.588 INFO kablam! 83 |     fn next(&mut self) -> String {
Nov 07 13:48:52.588 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 13:48:52.589 INFO kablam! 
Nov 07 13:48:52.589 INFO kablam! warning: method is never used: `name`
Nov 07 13:48:52.589 INFO kablam!   --> src/lib.rs:89:5
Nov 07 13:48:52.589 INFO kablam!    |
Nov 07 13:48:52.589 INFO kablam! 89 |     fn name(&mut self, t: ArenaType) -> String {
Nov 07 13:48:52.590 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 13:48:52.590 INFO kablam! 
Nov 07 13:48:52.590 INFO kablam! warning: method is never used: `id`
Nov 07 13:48:52.590 INFO kablam!    --> src/lib.rs:124:5
Nov 07 13:48:52.591 INFO kablam!     |
Nov 07 13:48:52.591 INFO kablam! 124 |     fn id(&self) -> usize {
Nov 07 13:48:52.591 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^
Nov 07 13:48:52.591 INFO kablam! 
Nov 07 13:48:52.592 INFO kablam! warning: method is never used: `as_string`
Nov 07 13:48:52.592 INFO kablam!    --> src/lib.rs:146:5
Nov 07 13:48:52.592 INFO kablam!     |
Nov 07 13:48:52.593 INFO kablam! 146 |     fn as_string(&self, a: &Vec<Type>, namer: &mut Namer) -> String {
Nov 07 13:48:52.593 INFO kablam!     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 13:48:52.593 INFO kablam! 
Nov 07 13:48:52.593 INFO kablam! warning: function is never used: `test_env`
Nov 07 13:48:52.593 INFO kablam!    --> src/lib.rs:537:1
Nov 07 13:48:52.594 INFO kablam!     |
Nov 07 13:48:52.594 INFO kablam! 537 | fn test_env() -> (Vec<Type>, Env) {
Nov 07 13:48:52.594 INFO kablam!     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Nov 07 13:48:52.594 INFO kablam! 
Nov 07 13:48:52.688 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.14s
Nov 07 13:48:52.694 INFO kablam! su: No module specific data is present
Nov 07 13:48:53.130 INFO running `"docker" "rm" "-f" "78fa45302a215ec09bf3b66cf83108858d7849667c5f7e3ace277266da94901d"`
Nov 07 13:48:53.301 INFO blam! 78fa45302a215ec09bf3b66cf83108858d7849667c5f7e3ace277266da94901d