[INFO] cloning repository https://github.com/zaclegarssure/stlcrts
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zaclegarssure/stlcrts" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzaclegarssure%2Fstlcrts", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzaclegarssure%2Fstlcrts'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6e6b5665789385b1be4561122da11e4aef55b9dd
[INFO] checking zaclegarssure/stlcrts against try#6713fa75964eb229409a9c6f6f5c418423e313ff for pr-133502-22
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzaclegarssure%2Fstlcrts" "/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/zaclegarssure/stlcrts
[INFO] finished tweaking git repo https://github.com/zaclegarssure/stlcrts
[INFO] tweaked toml for git repo https://github.com/zaclegarssure/stlcrts written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/zaclegarssure/stlcrts on toolchain 6713fa75964eb229409a9c6f6f5c418423e313ff
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/zaclegarssure/stlcrts 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" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2024 which implies `resolver = "3"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2024 resolver, specify `workspace.resolver = "3"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d186f342d1c76a415ffba7d5bd1a989366eab4d3719c8746d43b394ac051e9ed
[INFO] running `Command { std: "docker" "start" "-a" "d186f342d1c76a415ffba7d5bd1a989366eab4d3719c8746d43b394ac051e9ed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d186f342d1c76a415ffba7d5bd1a989366eab4d3719c8746d43b394ac051e9ed", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d186f342d1c76a415ffba7d5bd1a989366eab4d3719c8746d43b394ac051e9ed", kill_on_drop: false }`
[INFO] [stdout] d186f342d1c76a415ffba7d5bd1a989366eab4d3719c8746d43b394ac051e9ed
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+6713fa75964eb229409a9c6f6f5c418423e313ff" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 62576745000f5ee4d7786ee0a2ea6b067366ca8b38c5f64888fa3b26d6075d13
[INFO] running `Command { std: "docker" "start" "-a" "62576745000f5ee4d7786ee0a2ea6b067366ca8b38c5f64888fa3b26d6075d13", kill_on_drop: false }`
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2024 which implies `resolver = "3"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2024 resolver, specify `workspace.resolver = "3"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]     Checking unicode-ident v1.0.22
[INFO] [stderr]     Checking quote v1.0.44
[INFO] [stderr]     Checking syn v2.0.114
[INFO] [stderr]     Checking stlcrts_macros v0.1.0 (/opt/rustwide/workdir/stlcrts_macros)
[INFO] [stderr]     Checking stlcrts v0.1.0 (/opt/rustwide/workdir/stlcrts)
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `stlcrts::Let<stlcrts::Fix<stlcrts::Lam<stlcrts::Arrow<stlcrts::Nat, stlcrts::Arrow<stlcrts::Nat, ...>>, ...>>, ...>: Eval`
[INFO] [stdout]    --> stlcrts/src/main.rs:56:9
[INFO] [stdout]     |
[INFO] [stdout]  56 | /         stlc! {
[INFO] [stdout]  57 | |             let rec add (a: Nat) (b: Nat) : Nat =
[INFO] [stdout]  58 | |                 if iszero a then b else succ (add (pred a) b)
[INFO] [stdout]  59 | |             in
[INFO] [stdout] ...   |
[INFO] [stdout]  66 | |             fact 3
[INFO] [stdout]  67 | |         },
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`stlcrts`)
[INFO] [stdout] note: required by a bound in `stlcrts::eval_to`
[INFO] [stdout]    --> stlcrts/src/evaluator.rs:488:8
[INFO] [stdout]     |
[INFO] [stdout] 484 | pub fn eval_to<T, V>()
[INFO] [stdout]     |        ------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 488 |     T: Eval<Res = V>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^ required by this bound in `eval_to`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<stlcrts::Let<stlcrts::Fix<stlcrts::Lam<stlcrts::Arrow<stlcrts::Nat, stlcrts::Arrow<stlcrts::Nat, ...>>, ...>>, ...> as Eval>::Res == stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Zero>>>>>>`
[INFO] [stdout]    --> stlcrts/src/main.rs:55:5
[INFO] [stdout]     |
[INFO] [stdout]  55 | /     eval_to::<
[INFO] [stdout]  56 | |         stlc! {
[INFO] [stdout]  57 | |             let rec add (a: Nat) (b: Nat) : Nat =
[INFO] [stdout]  58 | |                 if iszero a then b else succ (add (pred a) b)
[INFO] [stdout] ...   |
[INFO] [stdout]  68 | |         stlc! { 6 },
[INFO] [stdout]  69 | |     >();
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`stlcrts`)
[INFO] [stdout] note: required by a bound in `stlcrts::eval_to`
[INFO] [stdout]    --> stlcrts/src/evaluator.rs:488:13
[INFO] [stdout]     |
[INFO] [stdout] 484 | pub fn eval_to<T, V>()
[INFO] [stdout]     |        ------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 488 |     T: Eval<Res = V>,
[INFO] [stdout]     |             ^^^^^^^ required by this bound in `eval_to`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `stlcrts` (bin "stlcrts") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `stlcrts::Let<stlcrts::Fix<stlcrts::Lam<stlcrts::Arrow<stlcrts::Nat, stlcrts::Arrow<stlcrts::Nat, ...>>, ...>>, ...>: Eval`
[INFO] [stdout]    --> stlcrts/src/main.rs:56:9
[INFO] [stdout]     |
[INFO] [stdout]  56 | /         stlc! {
[INFO] [stdout]  57 | |             let rec add (a: Nat) (b: Nat) : Nat =
[INFO] [stdout]  58 | |                 if iszero a then b else succ (add (pred a) b)
[INFO] [stdout]  59 | |             in
[INFO] [stdout] ...   |
[INFO] [stdout]  66 | |             fact 3
[INFO] [stdout]  67 | |         },
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`stlcrts`)
[INFO] [stdout] note: required by a bound in `stlcrts::eval_to`
[INFO] [stdout]    --> stlcrts/src/evaluator.rs:488:8
[INFO] [stdout]     |
[INFO] [stdout] 484 | pub fn eval_to<T, V>()
[INFO] [stdout]     |        ------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 488 |     T: Eval<Res = V>,
[INFO] [stdout]     |        ^^^^^^^^^^^^^ required by this bound in `eval_to`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `<stlcrts::Let<stlcrts::Fix<stlcrts::Lam<stlcrts::Arrow<stlcrts::Nat, stlcrts::Arrow<stlcrts::Nat, ...>>, ...>>, ...> as Eval>::Res == stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Succ<stlcrts::Zero>>>>>>`
[INFO] [stdout]    --> stlcrts/src/main.rs:55:5
[INFO] [stdout]     |
[INFO] [stdout]  55 | /     eval_to::<
[INFO] [stdout]  56 | |         stlc! {
[INFO] [stdout]  57 | |             let rec add (a: Nat) (b: Nat) : Nat =
[INFO] [stdout]  58 | |                 if iszero a then b else succ (add (pred a) b)
[INFO] [stdout] ...   |
[INFO] [stdout]  68 | |         stlc! { 6 },
[INFO] [stdout]  69 | |     >();
[INFO] [stdout]     | |_______^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`stlcrts`)
[INFO] [stdout] note: required by a bound in `stlcrts::eval_to`
[INFO] [stdout]    --> stlcrts/src/evaluator.rs:488:13
[INFO] [stdout]     |
[INFO] [stdout] 484 | pub fn eval_to<T, V>()
[INFO] [stdout]     |        ------- required by a bound in this function
[INFO] [stdout] ...
[INFO] [stdout] 488 |     T: Eval<Res = V>,
[INFO] [stdout]     |             ^^^^^^^ required by this bound in `eval_to`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `stlcrts` (bin "stlcrts" test) due to 2 previous errors
[INFO] running `Command { std: "docker" "inspect" "62576745000f5ee4d7786ee0a2ea6b067366ca8b38c5f64888fa3b26d6075d13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "62576745000f5ee4d7786ee0a2ea6b067366ca8b38c5f64888fa3b26d6075d13", kill_on_drop: false }`
[INFO] [stdout] 62576745000f5ee4d7786ee0a2ea6b067366ca8b38c5f64888fa3b26d6075d13
