[INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 2) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 3) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 4) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 5) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 6) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 7) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 8) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 9) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 10) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 11) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 12) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 13) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover: No space left on device [WARN] Retrying crate fetch in 3 seconds (attempt 14) [INFO] cloning repository https://github.com/mverleg/prover [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mverleg/prover" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5f42a6f9fed24c439c53dcbbfa59ceba5b44361e [INFO] checking mverleg/prover against try#3298c2ca5e390fd0d104357fdeec514a152a9561 for pr-136490 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain 3298c2ca5e390fd0d104357fdeec514a152a9561 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/prover 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" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/bab40922a84aedaaa875e44c7fc91ab23023347d5e7e6dbd72c1bc9b0ceee2c8-init/diff: no space left on device [INFO] checking mverleg/prover against try#3298c2ca5e390fd0d104357fdeec514a152a9561 for pr-136490 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmverleg%2Fprover" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mverleg/prover on toolchain 3298c2ca5e390fd0d104357fdeec514a152a9561 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mverleg/prover [INFO] finished tweaking git repo https://github.com/mverleg/prover [INFO] tweaked toml for git repo https://github.com/mverleg/prover written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/mverleg/prover 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" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8ef221364c5fc6647d2289c5c3b6d89af9f9851406dc60048233a09c2fc3bc1d [INFO] running `Command { std: "docker" "start" "-a" "8ef221364c5fc6647d2289c5c3b6d89af9f9851406dc60048233a09c2fc3bc1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8ef221364c5fc6647d2289c5c3b6d89af9f9851406dc60048233a09c2fc3bc1d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8ef221364c5fc6647d2289c5c3b6d89af9f9851406dc60048233a09c2fc3bc1d", kill_on_drop: false }` [INFO] [stdout] 8ef221364c5fc6647d2289c5c3b6d89af9f9851406dc60048233a09c2fc3bc1d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+3298c2ca5e390fd0d104357fdeec514a152a9561" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4bf58d8af3233cf037f9a8991aed7bbb1e26d2cbb2d7a793ffdd5aa4616176b2 [INFO] running `Command { std: "docker" "start" "-a" "4bf58d8af3233cf037f9a8991aed7bbb1e26d2cbb2d7a793ffdd5aa4616176b2", kill_on_drop: false }` [INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024 [INFO] [stderr] Checking bound_prover v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/logic/proposition.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::eql::Eql` [INFO] [stdout] --> src/notation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use logic::eql::Eql; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::gt::Gt` [INFO] [stdout] --> src/notation.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use logic::gt::Gt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::lt::Lt` [INFO] [stdout] --> src/notation.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use logic::lt::Lt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/notation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/logic/proposition.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::eql::Eql` [INFO] [stdout] --> src/notation.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use logic::eql::Eql; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::gt::Gt` [INFO] [stdout] --> src/notation.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use logic::gt::Gt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `logic::lt::Lt` [INFO] [stdout] --> src/notation.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use logic::lt::Lt; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `num::Num` [INFO] [stdout] --> src/notation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use num::Num; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::logic::*` [INFO] [stdout] --> src/lib.rs:10:9 [INFO] [stdout] | [INFO] [stdout] 10 | use super::logic::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::num::*` [INFO] [stdout] --> src/lib.rs:12:9 [INFO] [stdout] | [INFO] [stdout] 12 | use super::num::*; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a dyn Num), [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a dyn Num), [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0038]: the trait `Num` is not dyn compatible [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ `Num` is not dyn compatible [INFO] [stdout] | [INFO] [stdout] note: for a trait to be dyn compatible it needs to allow building a vtable [INFO] [stdout] for more information, visit [INFO] [stdout] --> src/num/mod.rs:6:50 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait Num: Difficulty + Display + Clone + PartialEq + Eq + Hash where T: Nr { [INFO] [stdout] | --- ^^^^^^^^^ ...because it uses `Self` as a type parameter [INFO] [stdout] | | [INFO] [stdout] | this trait is not dyn compatible... [INFO] [stdout] --> /rustc/3298c2ca5e390fd0d104357fdeec514a152a9561/library/core/src/cmp.rs:334:15 [INFO] [stdout] | [INFO] [stdout] = note: ...because it uses `Self` as a type parameter [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0038]: the trait `Num` is not dyn compatible [INFO] [stdout] --> src/logic/mod.rs:14:13 [INFO] [stdout] | [INFO] [stdout] 14 | Num(&'a Num), [INFO] [stdout] | ^^^^^^ `Num` is not dyn compatible [INFO] [stdout] | [INFO] [stdout] note: for a trait to be dyn compatible it needs to allow building a vtable [INFO] [stdout] for more information, visit [INFO] [stdout] --> src/num/mod.rs:6:50 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait Num: Difficulty + Display + Clone + PartialEq + Eq + Hash where T: Nr { [INFO] [stdout] | --- ^^^^^^^^^ ...because it uses `Self` as a type parameter [INFO] [stdout] | | [INFO] [stdout] | this trait is not dyn compatible... [INFO] [stdout] --> /rustc/3298c2ca5e390fd0d104357fdeec514a152a9561/library/core/src/cmp.rs:334:15 [INFO] [stdout] | [INFO] [stdout] = note: ...because it uses `Self` as a type parameter [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/proposition.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Prop where T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/proposition.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Prop where T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/not.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Not where L: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/not.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Not where L: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/and.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for And where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/and.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for And where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/or.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Or where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/or.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | impl Logic for Or where L: Logic, R: Logic, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/eql.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Eql where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/eql.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Eql where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/gt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Gt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/gt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Gt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/lt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Lt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0046]: not all trait items implemented, missing: `get_props_nums` [INFO] [stdout] --> src/logic/lt.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | impl Logic for Lt where L: Num, R: Num, T: Nr { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `get_props_nums` in implementation [INFO] [stdout] | [INFO] [stdout] ::: src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | --------------------------------------------------- `get_props_nums` from trait [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `get_props_nums` found for mutable reference `&mut Self` in the current scope [INFO] [stdout] --> src/logic/mod.rs:23:14 [INFO] [stdout] | [INFO] [stdout] 23 | self.get_props_nums() [INFO] [stdout] | -----^^^^^^^^^^^^^^-- [INFO] [stdout] | | | [INFO] [stdout] | | this is an associated function, not a method [INFO] [stdout] | help: use associated function syntax instead: `Self::get_props_nums()` [INFO] [stdout] | [INFO] [stdout] = note: found the following associated functions; to be used as methods, functions must have a `self` parameter [INFO] [stdout] note: the candidate is defined in the trait `Logic` [INFO] [stdout] --> src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0599]: no method named `get_props_nums` found for mutable reference `&mut Self` in the current scope [INFO] [stdout] --> src/logic/mod.rs:23:14 [INFO] [stdout] | [INFO] [stdout] 23 | self.get_props_nums() [INFO] [stdout] | -----^^^^^^^^^^^^^^-- [INFO] [stdout] | | | [INFO] [stdout] | | this is an associated function, not a method [INFO] [stdout] | help: use associated function syntax instead: `Self::get_props_nums()` [INFO] [stdout] | [INFO] [stdout] = note: found the following associated functions; to be used as methods, functions must have a `self` parameter [INFO] [stdout] note: the candidate is defined in the trait `Logic` [INFO] [stdout] --> src/logic/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | fn get_props_nums<'a>() -> &'a Vec>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0038, E0046, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0038`. [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0038, E0046, E0599. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0038`. [INFO] [stdout] [INFO] [stderr] error: could not compile `bound_prover` (lib) due to 9 previous errors; 6 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `bound_prover` (lib test) due to 9 previous errors; 8 warnings emitted [INFO] running `Command { std: "docker" "inspect" "4bf58d8af3233cf037f9a8991aed7bbb1e26d2cbb2d7a793ffdd5aa4616176b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4bf58d8af3233cf037f9a8991aed7bbb1e26d2cbb2d7a793ffdd5aa4616176b2", kill_on_drop: false }` [INFO] [stdout] 4bf58d8af3233cf037f9a8991aed7bbb1e26d2cbb2d7a793ffdd5aa4616176b2