Nov 29 14:07:03.925 INFO checking zabio3/peano against try#32252761328f59ccfadb1bafb8148c685bc830b3 for pr-56323 Nov 29 14:07:03.925 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56323/worker-0/try#32252761328f59ccfadb1bafb8148c685bc830b3:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56323/try#32252761328f59ccfadb1bafb8148c685bc830b3:/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 +32252761328f59ccfadb1bafb8148c685bc830b3-alt check --frozen --all --all-targets" "-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 29 14:07:04.378 INFO [stdout] 30cd1df7000330ec2a48451f13920914a951945333747d5c41e43e6621f14401 Nov 29 14:07:04.380 INFO running `"docker" "start" "-a" "30cd1df7000330ec2a48451f13920914a951945333747d5c41e43e6621f14401"` Nov 29 14:07:06.180 INFO [stderr] usermod: no changes Nov 29 14:07:06.232 INFO [stderr] Checking peano v0.1.0 (/source) Nov 29 14:07:06.354 INFO [stderr] warning: enum is never used: `Peano` Nov 29 14:07:06.354 INFO [stderr] --> src/main.rs:2:1 Nov 29 14:07:06.354 INFO [stderr] | Nov 29 14:07:06.354 INFO [stderr] 2 | enum Peano<'a> { Nov 29 14:07:06.355 INFO [stderr] | ^^^^^^^^^^^^^^ Nov 29 14:07:06.355 INFO [stderr] | Nov 29 14:07:06.355 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 29 14:07:06.355 INFO [stderr] Nov 29 14:07:06.355 INFO [stderr] warning: method is never used: `to_i` Nov 29 14:07:06.355 INFO [stderr] --> src/main.rs:13:5 Nov 29 14:07:06.355 INFO [stderr] | Nov 29 14:07:06.356 INFO [stderr] 13 | fn to_i(&self) -> u32 { Nov 29 14:07:06.356 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^ Nov 29 14:07:06.356 INFO [stderr] Nov 29 14:07:06.356 INFO [stderr] warning: function is never used: `zero` Nov 29 14:07:06.356 INFO [stderr] --> src/main.rs:21:1 Nov 29 14:07:06.356 INFO [stderr] | Nov 29 14:07:06.356 INFO [stderr] 21 | fn zero<'a>() -> Peano<'a> { Nov 29 14:07:06.356 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 29 14:07:06.356 INFO [stderr] Nov 29 14:07:06.356 INFO [stderr] warning: function is never used: `suc` Nov 29 14:07:06.356 INFO [stderr] --> src/main.rs:26:1 Nov 29 14:07:06.356 INFO [stderr] | Nov 29 14:07:06.356 INFO [stderr] 26 | fn suc<'a>(n: &'a Peano) -> Peano<'a> { Nov 29 14:07:06.357 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 29 14:07:06.357 INFO [stderr] Nov 29 14:07:06.509 INFO [stderr] warning: variant is never constructed: `Suc` Nov 29 14:07:06.509 INFO [stderr] --> src/main.rs:8:5 Nov 29 14:07:06.509 INFO [stderr] | Nov 29 14:07:06.509 INFO [stderr] 8 | Suc(&'a Peano<'a>), Nov 29 14:07:06.509 INFO [stderr] | ^^^^^^^^^^^^^^^^^^ Nov 29 14:07:06.510 INFO [stderr] | Nov 29 14:07:06.510 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 29 14:07:06.510 INFO [stderr] Nov 29 14:07:06.510 INFO [stderr] warning: function is never used: `suc` Nov 29 14:07:06.510 INFO [stderr] --> src/main.rs:26:1 Nov 29 14:07:06.510 INFO [stderr] | Nov 29 14:07:06.510 INFO [stderr] 26 | fn suc<'a>(n: &'a Peano) -> Peano<'a> { Nov 29 14:07:06.510 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 29 14:07:06.510 INFO [stderr] Nov 29 14:07:06.539 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.33s Nov 29 14:07:06.541 INFO [stderr] su: No module specific data is present Nov 29 14:07:07.821 INFO running `"docker" "inspect" "30cd1df7000330ec2a48451f13920914a951945333747d5c41e43e6621f14401"` Nov 29 14:07:08.028 INFO running `"docker" "rm" "-f" "30cd1df7000330ec2a48451f13920914a951945333747d5c41e43e6621f14401"` Nov 29 14:07:08.276 INFO [stdout] 30cd1df7000330ec2a48451f13920914a951945333747d5c41e43e6621f14401