[INFO] cloning repository https://github.com/bpandreotti/verit-proof-checker [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bpandreotti/verit-proof-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 92fd8b4d2a9417bec5c3cf468fe874155db85d6c [INFO] checking bpandreotti/verit-proof-checker against master#642c19bfc3a5c1de985bf5d0cc8207ac9d22708a for pr-148577 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] finished tweaking git repo https://github.com/bpandreotti/verit-proof-checker [INFO] tweaked toml for git repo https://github.com/bpandreotti/verit-proof-checker written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain 642c19bfc3a5c1de985bf5d0cc8207ac9d22708a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker 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" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rug v1.27.0 [INFO] [stderr] Downloaded gmp-mpfr-sys v1.6.7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c [INFO] running `Command { std: "docker" "start" "-a" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c", kill_on_drop: false }` [INFO] [stdout] e29285cf9854bfffc9f2c0328bb032257ca223d6c0309efcd10709c397a8640c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+642c19bfc3a5c1de985bf5d0cc8207ac9d22708a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4 [INFO] running `Command { std: "docker" "start" "-a" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }` [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.7 [INFO] [stderr] Compiling rug v1.27.0 [INFO] [stderr] Checking indexmap v2.10.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking unicode-ident v1.0.18 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling test-generator v0.1.0 (/opt/rustwide/workdir/test-generator) [INFO] [stderr] Compiling const_format_proc_macros v0.2.34 [INFO] [stderr] Compiling git-version-macro v0.3.9 [INFO] [stderr] Checking textwrap v0.16.2 [INFO] [stderr] Checking crossbeam-queue v0.3.12 [INFO] [stderr] Checking proc-macro2 v1.0.101 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking quote v1.0.40 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking git-version v0.3.9 [INFO] [stderr] Checking syn v1.0.109 [INFO] [stderr] Checking const_format v0.2.34 [INFO] [stderr] Compiling clap_derive v3.2.25 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Checking carcara v1.1.0 (/opt/rustwide/workdir/carcara) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:80:17 [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 80 | pub fn last(&self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/context.rs:86:21 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 86 | pub fn last_mut(&mut self) -> Option>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:438:25 [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 438 | fn quote_symbol(symbol: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/printer.rs:461:26 [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow { [INFO] [stdout] | ^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 461 | fn escape_string(string: &str) -> Cow<'_, str> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/ast/proof.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 87 | pub fn iter(&self) -> ProofIter<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:490:22 [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 490 | fn term_to_ctv(term: &Rc) -> Result, Integer> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:517:32 [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result, CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 517 | fn collect_addition_list(term: &Rc) -> Result>, CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> carcara/src/checker/rules/cutting_planes.rs:559:32 [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec, Integer), CheckerError> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 559 | fn flatten_addition_tree(term: &Rc) -> Result<(Vec>, Integer), CheckerError> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking carcara-cli v1.1.0 (/opt/rustwide/workdir/cli) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 05s [INFO] running `Command { std: "docker" "inspect" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4", kill_on_drop: false }` [INFO] [stdout] b8599f3d7de7aa3e2ad3efe97686decd9979fe29cec1ee3e896e168a07172df4