[INFO] cloning repository https://github.com/ST0817/type-theory
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ST0817/type-theory" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FST0817%2Ftype-theory", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FST0817%2Ftype-theory'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 29ba47747d947b5f5610964eb9c711ce552f4882
[INFO] checking ST0817/type-theory against eca445e5ae4a6679cc27d3a09106ce245e13a5a6 for pr-162478
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FST0817%2Ftype-theory" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/ST0817/type-theory
[INFO] finished tweaking git repo https://github.com/ST0817/type-theory
[INFO] tweaked toml for git repo https://github.com/ST0817/type-theory written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ST0817/type-theory on toolchain eca445e5ae4a6679cc27d3a09106ce245e13a5a6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ST0817/type-theory 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" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: binary `simply_typed_lambda_calculus_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-0-tc1/source/target/.../simply_typed_lambda_calculus_repl
[INFO] [stderr]    |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `simply-typed-lambda-calculus-repl`, convert `package.name`
[INFO] [stderr]   --> examples/simply_typed_lambda_calculus_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "simply_typed_lambda_calculus_repl"
[INFO] [stderr]  2 + name = "simply-typed-lambda-calculus-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `simply-typed-lambda-calculus-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/simply_typed_lambda_calculus_repl/Cargo.toml:11:106
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ simply_typed_lambda_calculus = { version = "0.1.0", path = "../../crates/simply_typed_lambda_calculus" }
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "simply-typed-lambda-calculus-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `simply_typed_lambda_calculus_repl` (manifest) generated 1 warning
[INFO] [stderr] warning: binary `calculus_of_constructions_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-0-tc1/source/target/.../calculus_of_constructions_repl
[INFO] [stderr]    |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `calculus-of-constructions-repl`, convert `package.name`
[INFO] [stderr]   --> examples/calculus_of_constructions_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "calculus_of_constructions_repl"
[INFO] [stderr]  2 + name = "calculus-of-constructions-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `calculus-of-constructions-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/calculus_of_constructions_repl/Cargo.toml:11:28
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ rustyline.workspace = true
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "calculus-of-constructions-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `calculus_of_constructions_repl` (manifest) generated 1 warning
[INFO] [stderr] warning: binary `system_f_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /workspace/builds/worker-0-tc1/source/target/.../system_f_repl
[INFO] [stderr]    |                                                  ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `system-f-repl`, convert `package.name`
[INFO] [stderr]   --> examples/system_f_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "system_f_repl"
[INFO] [stderr]  2 + name = "system-f-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `system-f-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/system_f_repl/Cargo.toml:11:66
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ system_f = { version = "0.1.0", path = "../../crates/system_f" }
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "system-f-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `system_f_repl` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ariadne v0.6.0
[INFO] [stderr]   Downloaded ignorable v0.1.4
[INFO] [stderr]   Downloaded chumsky v0.13.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9
[INFO] running `Command { std: "docker" "start" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9" "/opt/rustwide/cargo-home/bin/cargo" "+eca445e5ae4a6679cc27d3a09106ce245e13a5a6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: binary `simply_typed_lambda_calculus_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /opt/rustwide/target/.../simply_typed_lambda_calculus_repl
[INFO] [stderr]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `simply-typed-lambda-calculus-repl`, convert `package.name`
[INFO] [stderr]   --> examples/simply_typed_lambda_calculus_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "simply_typed_lambda_calculus_repl"
[INFO] [stderr]  2 + name = "simply-typed-lambda-calculus-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `simply-typed-lambda-calculus-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/simply_typed_lambda_calculus_repl/Cargo.toml:11:106
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ simply_typed_lambda_calculus = { version = "0.1.0", path = "../../crates/simply_typed_lambda_calculus" }
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "simply-typed-lambda-calculus-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `simply_typed_lambda_calculus_repl` (manifest) generated 1 warning
[INFO] [stderr] warning: binary `calculus_of_constructions_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /opt/rustwide/target/.../calculus_of_constructions_repl
[INFO] [stderr]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `calculus-of-constructions-repl`, convert `package.name`
[INFO] [stderr]   --> examples/calculus_of_constructions_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "calculus_of_constructions_repl"
[INFO] [stderr]  2 + name = "calculus-of-constructions-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `calculus-of-constructions-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/calculus_of_constructions_repl/Cargo.toml:11:28
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ rustyline.workspace = true
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "calculus-of-constructions-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `calculus_of_constructions_repl` (manifest) generated 1 warning
[INFO] [stderr] warning: binary `system_f_repl` should have a kebab-case name
[INFO] [stderr]    |
[INFO] [stderr]  1 | /opt/rustwide/target/.../system_f_repl
[INFO] [stderr]    |                          ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::non_kebab_case_bins` is set to `warn` by default
[INFO] [stderr] help: to change the binary name to `system-f-repl`, convert `package.name`
[INFO] [stderr]   --> examples/system_f_repl/Cargo.toml:2:8
[INFO] [stderr]    |
[INFO] [stderr]  2 - name = "system_f_repl"
[INFO] [stderr]  2 + name = "system-f-repl"
[INFO] [stderr]    |
[INFO] [stderr] help: to change the binary name to `system-f-repl`, specify `bin.name`
[INFO] [stderr]   --> examples/system_f_repl/Cargo.toml:11:66
[INFO] [stderr]    |
[INFO] [stderr] 11 ~ system_f = { version = "0.1.0", path = "../../crates/system_f" }
[INFO] [stderr] 12 + [[bin]]
[INFO] [stderr] 13 + name = "system-f-repl"
[INFO] [stderr] 14 + path = "src/main.rs"
[INFO] [stderr]    |
[INFO] [stderr] warning: `system_f_repl` (manifest) generated 1 warning
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling libc v0.2.186
[INFO] [stderr]     Checking bitflags v2.11.1
[INFO] [stderr]    Compiling cc v1.2.62
[INFO] [stderr]    Compiling nix v0.31.3
[INFO] [stderr]     Checking nibble_vec v0.1.0
[INFO] [stderr]     Checking endian-type v0.2.0
[INFO] [stderr]     Checking log v0.4.30
[INFO] [stderr]     Checking ariadne v0.6.0
[INFO] [stderr]    Compiling ignorable v0.1.4
[INFO] [stderr]     Checking radix_trie v0.3.0
[INFO] [stderr]    Compiling stacker v0.1.24
[INFO] [stderr]     Checking rustyline v18.0.0
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling psm v0.1.31
[INFO] [stderr]     Checking chumsky v0.13.0
[INFO] [stderr]     Checking parsers v0.1.0 (/opt/rustwide/workdir/crates/parsers)
[INFO] [stderr]     Checking system_f v0.1.0 (/opt/rustwide/workdir/crates/system_f)
[INFO] [stderr]     Checking calculus_of_constructions v0.1.0 (/opt/rustwide/workdir/crates/calculus_of_constructions)
[INFO] [stderr]     Checking simply_typed_lambda_calculus v0.1.0 (/opt/rustwide/workdir/crates/simply_typed_lambda_calculus)
[INFO] [stderr]     Checking simply_typed_lambda_calculus_repl v0.1.0 (/opt/rustwide/workdir/examples/simply_typed_lambda_calculus_repl)
[INFO] [stderr]     Checking system_f_repl v0.1.0 (/opt/rustwide/workdir/examples/system_f_repl)
[INFO] [stderr]     Checking calculus_of_constructions_repl v0.1.0 (/opt/rustwide/workdir/examples/calculus_of_constructions_repl)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 16.26s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nix v0.31.3
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 4`
[INFO] running `Command { std: "docker" "inspect" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9", kill_on_drop: false }`
[INFO] [stdout] ddf6919f7432b16cf826fcaa5d598ec9b8d27ff6c004849686993415037116c9
