[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] c153e35ac5d2066e615e7512a877de279b8dc871
[INFO] documenting bpandreotti/verit-proof-checker against beta-2022-05-20 for beta-1.62-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbpandreotti%2Fverit-proof-checker" "/workspace/builds/worker-14/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/bpandreotti/verit-proof-checker on toolchain beta-2022-05-20
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-05-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-14/source/Cargo.toml
[INFO] crate git repo https://github.com/bpandreotti/verit-proof-checker already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-05-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-05-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 0ab4bf02df33f0903c69cc8c3ce7cdc2be51fa36f24b16e209273102e5c964d1
[INFO] running `Command { std: "docker" "start" "-a" "0ab4bf02df33f0903c69cc8c3ce7cdc2be51fa36f24b16e209273102e5c964d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0ab4bf02df33f0903c69cc8c3ce7cdc2be51fa36f24b16e209273102e5c964d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ab4bf02df33f0903c69cc8c3ce7cdc2be51fa36f24b16e209273102e5c964d1", kill_on_drop: false }`
[INFO] [stdout] 0ab4bf02df33f0903c69cc8c3ce7cdc2be51fa36f24b16e209273102e5c964d1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-05-20" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9935a783137b50d202fa0cae8c2112be3f622c83d33321f63dd9ab9c32e00bf
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "d9935a783137b50d202fa0cae8c2112be3f622c83d33321f63dd9ab9c32e00bf", kill_on_drop: false }`
[INFO] [stderr] warning: output filename collision.
[INFO] [stderr] The bin target `alethe-proof-checker` in package `alethe-proof-checker-cli v0.1.0 (/opt/rustwide/workdir/cli)` has the same output filename as the lib target `alethe-proof-checker` in package `alethe-proof-checker v0.1.0 (/opt/rustwide/workdir/alethe-proof-checker)`.
[INFO] [stderr] Colliding filename is: /opt/rustwide/target/doc/alethe_proof_checker/index.html
[INFO] [stderr] The targets should have unique names.
[INFO] [stderr] This is a known bug where multiple crates with the same name use
[INFO] [stderr] the same path; see <https://github.com/rust-lang/cargo/issues/6313>.
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling syn v1.0.86
[INFO] [stderr]    Compiling libc v0.2.119
[INFO] [stderr]    Compiling crossbeam-utils v0.8.7
[INFO] [stderr]     Checking once_cell v1.9.0
[INFO] [stderr]    Compiling crossbeam-queue v0.3.4
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.36
[INFO] [stderr]     Checking os_str_bytes v6.0.0
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling memoffset v0.6.5
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling indexmap v1.8.0
[INFO] [stderr]    Compiling quote v1.0.15
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling ahash v0.7.6
[INFO] [stderr]     Checking crossbeam-channel v0.5.2
[INFO] [stderr]    Compiling const_format_proc_macros v0.2.22
[INFO] [stderr]     Checking getrandom v0.2.5
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking crossbeam-epoch v0.9.7
[INFO] [stderr]     Checking crossbeam-deque v0.8.1
[INFO] [stderr]     Checking crossbeam v0.8.1
[INFO] [stderr]     Checking const_format v0.2.22
[INFO] [stderr]    Compiling thiserror-impl v1.0.30
[INFO] [stderr]    Compiling clap_derive v3.1.4
[INFO] [stderr]    Compiling git-version-macro v0.3.5
[INFO] [stderr]     Checking git-version v0.3.5
[INFO] [stderr]     Checking thiserror v1.0.30
[INFO] [stderr]     Checking alethe-proof-checker v0.1.0 (/opt/rustwide/workdir/alethe-proof-checker)
[INFO] [stderr]  Documenting alethe-proof-checker v0.1.0 (/opt/rustwide/workdir/alethe-proof-checker)
[INFO] [stdout] warning: 8th rule of macro `terminal` is never used
[INFO] [stdout]    --> alethe-proof-checker/src/ast/macros.rs:147:5
[INFO] [stdout]     |
[INFO] [stdout] 147 |     (bool false) => {
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_macro_rules)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2nd rule of macro `terminal` is never used
[INFO] [stdout]    --> alethe-proof-checker/src/ast/macros.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     (real $num:literal / $denom:literal) => {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 7th rule of macro `terminal` is never used
[INFO] [stdout]    --> alethe-proof-checker/src/ast/macros.rs:141:5
[INFO] [stdout]     |
[INFO] [stdout] 141 |     (bool true) => {
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 5th rule of macro `terminal` is never used
[INFO] [stdout]    --> alethe-proof-checker/src/ast/macros.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     (var $e:expr ; $sort:ident) => {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1st rule of macro `rassert` is never used
[INFO] [stdout]   --> alethe-proof-checker/src/checker/rules/mod.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     ($arg:expr) => {
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking clap v3.1.6
[INFO] [stdout] warning: 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]  Documenting alethe-proof-checker-cli v0.1.0 (/opt/rustwide/workdir/cli)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 56.94s
[INFO] running `Command { std: "docker" "inspect" "d9935a783137b50d202fa0cae8c2112be3f622c83d33321f63dd9ab9c32e00bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9935a783137b50d202fa0cae8c2112be3f622c83d33321f63dd9ab9c32e00bf", kill_on_drop: false }`
[INFO] [stdout] d9935a783137b50d202fa0cae8c2112be3f622c83d33321f63dd9ab9c32e00bf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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=warn" "-e" "DOCS_RS=1" "-e" "RUSTC_BOOTSTRAP=1" "-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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-05-20" "rustdoc" "--lib" "-Zrustdoc-map" "--frozen" "--message-format=json" "--" "-Z" "unstable-options" "--document-private-items", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 709646f07642e5dfe068dc4d595614e9a1c9fd816a7dd9aade8715cf41ab102d
[INFO] running `Command { std: "docker" "start" "-a" "709646f07642e5dfe068dc4d595614e9a1c9fd816a7dd9aade8715cf41ab102d", kill_on_drop: false }`
[INFO] [stderr] error: manifest path `/opt/rustwide/workdir/Cargo.toml` is a virtual manifest, but this command requires running against an actual package in this workspace
[INFO] running `Command { std: "docker" "inspect" "709646f07642e5dfe068dc4d595614e9a1c9fd816a7dd9aade8715cf41ab102d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "709646f07642e5dfe068dc4d595614e9a1c9fd816a7dd9aade8715cf41ab102d", kill_on_drop: false }`
[INFO] [stdout] 709646f07642e5dfe068dc4d595614e9a1c9fd816a7dd9aade8715cf41ab102d