[INFO] cloning repository https://github.com/bash/cauliflambda
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bash/cauliflambda" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbash%2Fcauliflambda", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbash%2Fcauliflambda'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 922e5413e9bf0b4f884c7464b74d2f4c755fc9b1
[INFO] testing bash/cauliflambda against nightly-2025-01-18 for randomize-layout-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbash%2Fcauliflambda" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/bash/cauliflambda on toolchain nightly-2025-01-18
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-4-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/bash/cauliflambda
[INFO] finished tweaking git repo https://github.com/bash/cauliflambda
[INFO] tweaked toml for git repo https://github.com/bash/cauliflambda written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/bash/cauliflambda 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" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating git repository `https://github.com/brendanzab/codespan`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded fmtastic v0.1.0
[INFO] [stderr]   Downloaded anstyle-stream v0.2.2
[INFO] [stderr]   Downloaded rustyline-derive v0.8.0
[INFO] [stderr]   Downloaded concolor-override v1.1.0
[INFO] [stderr]   Downloaded winnow v0.4.11
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b3f69c3b2eae330b2c00b522b6fcf89b220a5cc5e0183c5b3a5f6867ced4ff9b
[INFO] running `Command { std: "docker" "start" "-a" "b3f69c3b2eae330b2c00b522b6fcf89b220a5cc5e0183c5b3a5f6867ced4ff9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b3f69c3b2eae330b2c00b522b6fcf89b220a5cc5e0183c5b3a5f6867ced4ff9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3f69c3b2eae330b2c00b522b6fcf89b220a5cc5e0183c5b3a5f6867ced4ff9b", kill_on_drop: false }`
[INFO] [stdout] b3f69c3b2eae330b2c00b522b6fcf89b220a5cc5e0183c5b3a5f6867ced4ff9b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dee92d79e555131249cb94a92be1229bc408dbb9983e5fe77be351d62dd4dd3c
[INFO] running `Command { std: "docker" "start" "-a" "dee92d79e555131249cb94a92be1229bc408dbb9983e5fe77be351d62dd4dd3c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.70
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling winnow v0.4.11
[INFO] [stderr]    Compiling fmtastic v0.1.0
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]    Compiling trait-set v0.3.0
[INFO] [stderr]    Compiling cauliflambda v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]   --> src/call_by_need.rs:99:14
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:109:14
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Abs`, and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub enum Expression<'a> {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 8  |     Var(Variable<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Abs(Box<Abstraction<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 10 |     App(Box<Application<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `value`, `answer`, and `evaluation_context` are never used
[INFO] [stdout]   --> src/call_by_need.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<'a> Expression<'a> {
[INFO] [stdout]    | ----------------------- methods in this implementation
[INFO] [stdout] 14 |     pub fn value(&self) -> Option<Value<'a>> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn answer(&self) -> Option<Answer<'a>> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     fn evaluation_context(&self, hole: &Expression<'a>) -> Option<EvaluationContext<'a>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Val` and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 91 | pub enum Answer<'a> {
[INFO] [stdout]    |          ------ variants in this enum
[INFO] [stdout] 92 |     /// `λx.M`
[INFO] [stdout] 93 |     Val(Value<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 94 |     /// `((λx.A) M)`
[INFO] [stdout] 95 |     App(Variable<'a>, Box<Answer<'a>>, Expression<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Answer` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `deref` is never used
[INFO] [stdout]   --> src/call_by_need.rs:99:4
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lift` is never used
[INFO] [stdout]    --> src/call_by_need.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assoc` is never used
[INFO] [stdout]    --> src/call_by_need.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `EvaluationContext` is never used
[INFO] [stdout]    --> src/call_by_need.rs:118:6
[INFO] [stdout]     |
[INFO] [stdout] 118 | enum EvaluationContext<'a> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.40s
[INFO] running `Command { std: "docker" "inspect" "dee92d79e555131249cb94a92be1229bc408dbb9983e5fe77be351d62dd4dd3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dee92d79e555131249cb94a92be1229bc408dbb9983e5fe77be351d62dd4dd3c", kill_on_drop: false }`
[INFO] [stdout] dee92d79e555131249cb94a92be1229bc408dbb9983e5fe77be351d62dd4dd3c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 81ae009e28233093ea79c54cbb124b6eddb92844edb02fcafc464cd5898db037
[INFO] running `Command { std: "docker" "start" "-a" "81ae009e28233093ea79c54cbb124b6eddb92844edb02fcafc464cd5898db037", kill_on_drop: false }`
[INFO] [stderr]    Compiling cauliflambda v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]   --> src/call_by_need.rs:99:14
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:109:14
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Abs`, and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub enum Expression<'a> {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 8  |     Var(Variable<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Abs(Box<Abstraction<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 10 |     App(Box<Application<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `value`, `answer`, and `evaluation_context` are never used
[INFO] [stdout]   --> src/call_by_need.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<'a> Expression<'a> {
[INFO] [stdout]    | ----------------------- methods in this implementation
[INFO] [stdout] 14 |     pub fn value(&self) -> Option<Value<'a>> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn answer(&self) -> Option<Answer<'a>> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     fn evaluation_context(&self, hole: &Expression<'a>) -> Option<EvaluationContext<'a>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Val` and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 91 | pub enum Answer<'a> {
[INFO] [stdout]    |          ------ variants in this enum
[INFO] [stdout] 92 |     /// `λx.M`
[INFO] [stdout] 93 |     Val(Value<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 94 |     /// `((λx.A) M)`
[INFO] [stdout] 95 |     App(Variable<'a>, Box<Answer<'a>>, Expression<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Answer` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `deref` is never used
[INFO] [stdout]   --> src/call_by_need.rs:99:4
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lift` is never used
[INFO] [stdout]    --> src/call_by_need.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assoc` is never used
[INFO] [stdout]    --> src/call_by_need.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `EvaluationContext` is never used
[INFO] [stdout]    --> src/call_by_need.rs:118:6
[INFO] [stdout]     |
[INFO] [stdout] 118 | enum EvaluationContext<'a> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]   --> src/call_by_need.rs:99:14
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:104:13
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/call_by_need.rs:109:14
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Abs`, and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub enum Expression<'a> {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout] 8  |     Var(Variable<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 9  |     Abs(Box<Abstraction<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 10 |     App(Box<Application<'a>>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `value`, `answer`, and `evaluation_context` are never used
[INFO] [stdout]   --> src/call_by_need.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl<'a> Expression<'a> {
[INFO] [stdout]    | ----------------------- methods in this implementation
[INFO] [stdout] 14 |     pub fn value(&self) -> Option<Value<'a>> {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn answer(&self) -> Option<Answer<'a>> {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     fn evaluation_context(&self, hole: &Expression<'a>) -> Option<EvaluationContext<'a>> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Val` and `App` are never constructed
[INFO] [stdout]   --> src/call_by_need.rs:93:5
[INFO] [stdout]    |
[INFO] [stdout] 91 | pub enum Answer<'a> {
[INFO] [stdout]    |          ------ variants in this enum
[INFO] [stdout] 92 |     /// `λx.M`
[INFO] [stdout] 93 |     Val(Value<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 94 |     /// `((λx.A) M)`
[INFO] [stdout] 95 |     App(Variable<'a>, Box<Answer<'a>>, Expression<'a>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Answer` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `deref` is never used
[INFO] [stdout]   --> src/call_by_need.rs:99:4
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lift` is never used
[INFO] [stdout]    --> src/call_by_need.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `assoc` is never used
[INFO] [stdout]    --> src/call_by_need.rs:109:4
[INFO] [stdout]     |
[INFO] [stdout] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `EvaluationContext` is never used
[INFO] [stdout]    --> src/call_by_need.rs:118:6
[INFO] [stdout]     |
[INFO] [stdout] 118 | enum EvaluationContext<'a> {
[INFO] [stdout]     |      ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.51s
[INFO] running `Command { std: "docker" "inspect" "81ae009e28233093ea79c54cbb124b6eddb92844edb02fcafc464cd5898db037", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "81ae009e28233093ea79c54cbb124b6eddb92844edb02fcafc464cd5898db037", kill_on_drop: false }`
[INFO] [stdout] 81ae009e28233093ea79c54cbb124b6eddb92844edb02fcafc464cd5898db037
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 4cc1dbac9800a9baddc6262ac9cab3d0825c9b29e479d2d52a4eefa2109506e0
[INFO] running `Command { std: "docker" "start" "-a" "4cc1dbac9800a9baddc6262ac9cab3d0825c9b29e479d2d52a4eefa2109506e0", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]   --> src/call_by_need.rs:99:14
[INFO] [stderr]    |
[INFO] [stderr] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stderr]    |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]    --> src/call_by_need.rs:104:13
[INFO] [stderr]     |
[INFO] [stderr] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stderr]     |             ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `expr`
[INFO] [stderr]    --> src/call_by_need.rs:109:14
[INFO] [stderr]     |
[INFO] [stderr] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stderr]     |              ^^^^ help: if this is intentional, prefix it with an underscore: `_expr`
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Var`, `Abs`, and `App` are never constructed
[INFO] [stderr]   --> src/call_by_need.rs:8:5
[INFO] [stderr]    |
[INFO] [stderr] 7  | pub enum Expression<'a> {
[INFO] [stderr]    |          ---------- variants in this enum
[INFO] [stderr] 8  |     Var(Variable<'a>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 9  |     Abs(Box<Abstraction<'a>>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 10 |     App(Box<Application<'a>>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Expression` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: methods `value`, `answer`, and `evaluation_context` are never used
[INFO] [stderr]   --> src/call_by_need.rs:14:12
[INFO] [stderr]    |
[INFO] [stderr] 13 | impl<'a> Expression<'a> {
[INFO] [stderr]    | ----------------------- methods in this implementation
[INFO] [stderr] 14 |     pub fn value(&self) -> Option<Value<'a>> {
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 22 |     pub fn answer(&self) -> Option<Answer<'a>> {
[INFO] [stderr]    |            ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 41 |     fn evaluation_context(&self, hole: &Expression<'a>) -> Option<EvaluationContext<'a>> {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variants `Val` and `App` are never constructed
[INFO] [stderr]   --> src/call_by_need.rs:93:5
[INFO] [stderr]    |
[INFO] [stderr] 91 | pub enum Answer<'a> {
[INFO] [stderr]    |          ------ variants in this enum
[INFO] [stderr] 92 |     /// `λx.M`
[INFO] [stderr] 93 |     Val(Value<'a>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 94 |     /// `((λx.A) M)`
[INFO] [stderr] 95 |     App(Variable<'a>, Box<Answer<'a>>, Expression<'a>),
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Answer` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: function `deref` is never used
[INFO] [stderr]   --> src/call_by_need.rs:99:4
[INFO] [stderr]    |
[INFO] [stderr] 99 | fn deref<'a>(expr: Expression<'a>) -> Option<Expression<'a>> {
[INFO] [stderr]    |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `lift` is never used
[INFO] [stderr]    --> src/call_by_need.rs:104:4
[INFO] [stderr]     |
[INFO] [stderr] 104 | fn lift<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stderr]     |    ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `assoc` is never used
[INFO] [stderr]    --> src/call_by_need.rs:109:4
[INFO] [stderr]     |
[INFO] [stderr] 109 | fn assoc<'a>(expr: Expression<'a>) -> Expression<'a> {
[INFO] [stderr]     |    ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `EvaluationContext` is never used
[INFO] [stderr]    --> src/call_by_need.rs:118:6
[INFO] [stderr]     |
[INFO] [stderr] 118 | enum EvaluationContext<'a> {
[INFO] [stderr]     |      ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `cauliflambda` (lib) generated 10 warnings
[INFO] [stderr] warning: `cauliflambda` (lib test) generated 10 warnings (10 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/cauliflambda-cd0c2d80c423434b)
[INFO] [stdout] 
[INFO] [stdout] running 36 tests
[INFO] [stdout] test evaluation::beta::tests::reduces_application_with_naming_conflict ... ok
[INFO] [stdout] test evaluation::free::tests::variable_in_abstraction_is_bound ... ok
[INFO] [stdout] test evaluation::free::tests::variable_by_itself_is_free ... ok
[INFO] [stdout] test evaluation::beta::tests::reduces_leftmost_outermost_application_first ... ok
[INFO] [stdout] test evaluation::free::tests::variable_in_abstraction_is_free_if_it_has_a_different_name ... ok
[INFO] [stdout] test evaluation::free::tests::variable_in_application_is_free_according_to_lhs_and_rhs ... ok
[INFO] [stdout] test evaluation::free::tests::variable_in_nested_abstraction_is_bound ... ok
[INFO] [stdout] test evaluation::free::tests::variable_on_right_side_of_application_is_not_bound ... ok
[INFO] [stdout] test evaluation::rename::tests::does_not_rename_matching_bound_variables ... ok
[INFO] [stdout] test evaluation::rename::tests::does_not_rename_non_matching_variable ... ok
[INFO] [stdout] test evaluation::rename::tests::renames_matching_free_variables ... ok
[INFO] [stdout] test evaluation::rename::tests::renames_matching_variable ... ok
[INFO] [stdout] test evaluation::rename::tests::renames_matching_variables_in_application ... ok
[INFO] [stdout] test evaluation::rename_bound::tests::ignores_bound_variables_that_satisfy_predicate ... ok
[INFO] [stdout] test evaluation::rename_bound::tests::skips_free_variables_in_abstraction_term_when_renaming ... ok
[INFO] [stdout] test evaluation::rename_bound::tests::renames_bound_variables ... ok
[INFO] [stdout] test evaluation::beta::tests::detects_expressions_that_cannot_be_reduced_futher ... ok
[INFO] [stdout] test evaluation::substitute::tests::substitutes_matching_free_variable_in_abstraction ... ok
[INFO] [stdout] test evaluation::rename_bound::tests::ignores_free_variables_that_do_not_satisfy_predicate ... ok
[INFO] [stdout] test evaluation::substitute::tests::does_not_substitutes_non_matching_free_variable ... ok
[INFO] [stdout] test parsers::tests::parses_abstraction ... ok
[INFO] [stdout] test evaluation::substitute::tests::substitutes_matching_free_variable_in_application ... ok
[INFO] [stdout] test evaluation::tests::only_adds_necessary_parenthesis ... ok
[INFO] [stdout] test parsers::tests::parses_abstraction_with_more_than_one_variable ... ok
[INFO] [stdout] test parsers::tests::application_is_left_associative ... ok
[INFO] [stdout] test parsers::tests::does_not_parse_invalid_identifers ... ok
[INFO] [stdout] test evaluation::beta::tests::reduces_outermost_application_first ... ok
[INFO] [stdout] test parsers::tests::errors_are_reported_at_correct_location ... ok
[INFO] [stdout] test evaluation::substitute::tests::substitutes_matching_free_variable ... ok
[INFO] [stdout] test parsers::tests::parses_identifiers ... ok
[INFO] [stdout] test evaluation::beta::tests::reduces_leftmost_application_first ... ok
[INFO] [stdout] test parsers::tests::trivia_can_be_placed_anywhere_in_formula ... ok
[INFO] [stdout] test evaluation::substitute::tests::does_not_substitute_matching_bound_variable ... ok
[INFO] [stdout] test parsers::tests::parses_parenthesized_formulas ... ok
[INFO] [stdout] test parsers::tests::parses_application ... ok
[INFO] [stdout] test evaluation::rename_bound::tests::panics_when_all_disambiguators_are_used_up - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 36 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-ac15df52dd9289fc)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test three_is_not_even ... ok
[INFO] [stderr]    Doc-tests cauliflambda
[INFO] [stdout] test factorial_of_four_can_be_computed ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.27s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/call_by_need.rs - call_by_need::EvaluationContext (line 114) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/call_by_need.rs - call_by_need::EvaluationContext (line 114) stdout ----
[INFO] [stdout] error: expected identifier, found `=`
[INFO] [stdout]  --> src/call_by_need.rs:115:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | E ::= [ ] | EM | (λx.E[x])E | (λx.E)M
[INFO] [stdout]   |     ^ expected identifier
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/call_by_need.rs - call_by_need::EvaluationContext (line 114)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "4cc1dbac9800a9baddc6262ac9cab3d0825c9b29e479d2d52a4eefa2109506e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4cc1dbac9800a9baddc6262ac9cab3d0825c9b29e479d2d52a4eefa2109506e0", kill_on_drop: false }`
[INFO] [stdout] 4cc1dbac9800a9baddc6262ac9cab3d0825c9b29e479d2d52a4eefa2109506e0
