[INFO] cloning repository https://github.com/conorpo/hott_work
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/conorpo/hott_work" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fconorpo%2Fhott_work", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fconorpo%2Fhott_work'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3dbfde4e566987f2465a82bdedb3fa4e54df71e7
[INFO] checking conorpo/hott_work against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fconorpo%2Fhott_work" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write symref for refs/remotes/origin/HEAD: No space left on device
[INFO] [stderr] fatal: unable to update refs/remotes/origin/HEAD
[INFO] checking conorpo/hott_work against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fconorpo%2Fhott_work" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/conorpo/hott_work
[INFO] finished tweaking git repo https://github.com/conorpo/hott_work
[INFO] tweaked toml for git repo https://github.com/conorpo/hott_work written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/conorpo/hott_work on toolchain 3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/conorpo/hott_work already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9db94e67026d2fd636f685b1f4ac1c6551c7b39aae1375314a892fac5ccd212e
[INFO] running `Command { std: "docker" "start" "-a" "9db94e67026d2fd636f685b1f4ac1c6551c7b39aae1375314a892fac5ccd212e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9db94e67026d2fd636f685b1f4ac1c6551c7b39aae1375314a892fac5ccd212e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9db94e67026d2fd636f685b1f4ac1c6551c7b39aae1375314a892fac5ccd212e", kill_on_drop: false }`
[INFO] [stdout] 9db94e67026d2fd636f685b1f4ac1c6551c7b39aae1375314a892fac5ccd212e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9431155632769d970183c8b869bc8875d96ed967acd8dace49ff26ca4020da1
[INFO] running `Command { std: "docker" "start" "-a" "d9431155632769d970183c8b869bc8875d96ed967acd8dace49ff26ca4020da1", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.174
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]     Checking cfg-if v1.0.1
[INFO] [stderr]     Checking either v1.15.0
[INFO] [stderr]     Checking itertools v0.14.0
[INFO] [stderr]     Checking rand_core v0.9.3
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]     Checking rand v0.9.1
[INFO] [stderr]     Checking hott_work v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `HashMap`, `HashSet`, and `LinkedList`
[INFO] [stdout]  --> src/lib.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet, LinkedList};
[INFO] [stdout]   |                        ^^^^^^^  ^^^^^^^  ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/grammar.rs:1:34
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::{HashMap, HashSet, LinkedList, VecDeque}, fmt::{self, Write}, random::random};
[INFO] [stdout]   |                                  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::grammar`
[INFO] [stdout]  --> src/grammar.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::grammar;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `RngCore`
[INFO] [stdout]  --> src/grammar.rs:6:21
[INFO] [stdout]   |
[INFO] [stdout] 6 | use rand::{rngs::*, RngCore, SeedableRng};
[INFO] [stdout]   |                     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self`
[INFO] [stdout]    --> src/grammar.rs:162:26
[INFO] [stdout]     |
[INFO] [stdout] 162 |     use crate::grammar::{self, Grammar, MetaExpression, MetaTerm};
[INFO] [stdout]     |                          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `thread::sleep` and `time::Duration`
[INFO] [stdout]    --> src/lamba.rs:124:15
[INFO] [stdout]     |
[INFO] [stdout] 124 |     use std::{thread::sleep, time::Duration};
[INFO] [stdout]     |               ^^^^^^^^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/lamba.rs:144:16
[INFO] [stdout]     |
[INFO] [stdout] 144 |             if (i % 100 == 0) { println!("Step {}: {}", i, omega_combinator) };
[INFO] [stdout]     |                ^            ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 144 -             if (i % 100 == 0) { println!("Step {}: {}", i, omega_combinator) };
[INFO] [stdout] 144 +             if i % 100 == 0 { println!("Step {}: {}", i, omega_combinator) };
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `HashMap`, `HashSet`, and `LinkedList`
[INFO] [stdout]  --> src/lib.rs:4:24
[INFO] [stdout]   |
[INFO] [stdout] 4 | use std::collections::{HashMap, HashSet, LinkedList};
[INFO] [stdout]   |                        ^^^^^^^  ^^^^^^^  ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `HashSet`
[INFO] [stdout]  --> src/grammar.rs:1:34
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::{HashMap, HashSet, LinkedList, VecDeque}, fmt::{self, Write}, random::random};
[INFO] [stdout]   |                                  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::grammar`
[INFO] [stdout]  --> src/grammar.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::grammar;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `RngCore`
[INFO] [stdout]  --> src/grammar.rs:6:21
[INFO] [stdout]   |
[INFO] [stdout] 6 | use rand::{rngs::*, RngCore, SeedableRng};
[INFO] [stdout]   |                     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `generator`
[INFO] [stdout]   --> src/grammar.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let generator = StdRng::seed_from_u64(seed.unwrap_or(random()));
[INFO] [stdout]    |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_generator`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cursor`
[INFO] [stdout]    --> src/grammar.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |         let cursor = current_expression.cursor_front();
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cursor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `generator`
[INFO] [stdout]   --> src/grammar.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let generator = StdRng::seed_from_u64(seed.unwrap_or(random()));
[INFO] [stdout]    |             ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_generator`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cursor`
[INFO] [stdout]    --> src/grammar.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |         let cursor = current_expression.cursor_front();
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cursor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Term` is never used
[INFO] [stdout]  --> src/lamba.rs:6:6
[INFO] [stdout]   |
[INFO] [stdout] 6 | enum Term {
[INFO] [stdout]   |      ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_FREE_VARIABLE_DEPTH` is never used
[INFO] [stdout]   --> src/lamba.rs:12:7
[INFO] [stdout]    |
[INFO] [stdout] 12 | const MAX_FREE_VARIABLE_DEPTH: u32 = 5;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `association_helper` is never used
[INFO] [stdout]   --> src/lamba.rs:14:4
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn association_helper(associate: bool, f: &mut std::fmt::Formatter<'_>, depth: u32, inner: &Term) -> std::fmt::Result {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `substitute`, `evaluate_single_step`, `is_abs`, `is_app`, and `display_helper` are never used
[INFO] [stdout]   --> src/lamba.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 21 | impl Term {
[INFO] [stdout]    | --------- methods in this implementation
[INFO] [stdout] 22 |     fn substitute(self, depth: u32, replacement: Self) -> Self {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 44 |     pub fn evaluate_single_step(&mut self) -> Result<(), &'static str> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 68 |     pub fn is_abs(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub fn is_app(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 84 |     pub fn display_helper(&self, f: &mut std::fmt::Formatter<'_>, depth: u32) -> std::fmt::Result {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]   --> src/grammar.rs:83:35
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn breath_first_generator(&self) -> Result<BreadthFirstGenerator, &'static str> {
[INFO] [stdout]    |                                   ^^^^^            --------------------- the lifetime gets resolved as `'_`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   this lifetime flows to the output
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn breath_first_generator(&self) -> Result<BreadthFirstGenerator<'_>, &'static str> {
[INFO] [stdout]    |                                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `basic`
[INFO] [stdout]    --> src/lamba.rs:142:17
[INFO] [stdout]     |
[INFO] [stdout] 142 |         let mut basic = Term::App(Box::new(Term::Abs(Box::new(Term::Var(1)))), Box::new(Term::Abs(Box::new(Term::Var(2)))));
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_basic`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/lamba.rs:142:13
[INFO] [stdout]     |
[INFO] [stdout] 142 |         let mut basic = Term::App(Box::new(Term::Abs(Box::new(Term::Var(1)))), Box::new(Term::Abs(Box::new(Term::Var(2)))));
[INFO] [stdout]     |             ----^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing
[INFO] [stdout]   --> src/grammar.rs:83:35
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn breath_first_generator(&self) -> Result<BreadthFirstGenerator, &'static str> {
[INFO] [stdout]    |                                   ^^^^^            --------------------- the lifetime gets resolved as `'_`
[INFO] [stdout]    |                                   |
[INFO] [stdout]    |                                   this lifetime flows to the output
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths
[INFO] [stdout]    |
[INFO] [stdout] 83 |     pub fn breath_first_generator(&self) -> Result<BreadthFirstGenerator<'_>, &'static str> {
[INFO] [stdout]    |                                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.57s
[INFO] running `Command { std: "docker" "inspect" "d9431155632769d970183c8b869bc8875d96ed967acd8dace49ff26ca4020da1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9431155632769d970183c8b869bc8875d96ed967acd8dace49ff26ca4020da1", kill_on_drop: false }`
[INFO] [stdout] d9431155632769d970183c8b869bc8875d96ed967acd8dace49ff26ca4020da1