[INFO] fetching crate prusti-specs 0.2.0...
[INFO] documenting prusti-specs-0.2.0 against 1.75.0 for beta-1.76-rustdoc-1
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate prusti-specs 0.2.0 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate prusti-specs 0.2.0
[INFO] finished tweaking crates.io crate prusti-specs 0.2.0
[INFO] tweaked toml for crates.io crate prusti-specs 0.2.0 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 85f43cee0fa45a04de452fcf604dc5b7f593a633eac8e30fa7e53f8e44a7e0c5
[INFO] running `Command { std: "docker" "start" "-a" "85f43cee0fa45a04de452fcf604dc5b7f593a633eac8e30fa7e53f8e44a7e0c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "85f43cee0fa45a04de452fcf604dc5b7f593a633eac8e30fa7e53f8e44a7e0c5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "85f43cee0fa45a04de452fcf604dc5b7f593a633eac8e30fa7e53f8e44a7e0c5", kill_on_drop: false }`
[INFO] [stdout] 85f43cee0fa45a04de452fcf604dc5b7f593a633eac8e30fa7e53f8e44a7e0c5
[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=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 653bc43f3b509c6714dccd7375dbd4916d3a6bb259de5d5cf2a41e5984ab4eb2
[INFO] running `Command { std: "docker" "start" "-a" "653bc43f3b509c6714dccd7375dbd4916d3a6bb259de5d5cf2a41e5984ab4eb2", kill_on_drop: false }`
[INFO] [stderr]     Checking unicode-ident v1.0.12
[INFO] [stderr]    Compiling proc-macro2 v1.0.76
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]     Checking getrandom v0.2.11
[INFO] [stderr]     Checking uuid v1.6.1
[INFO] [stderr]     Checking quote v1.0.35
[INFO] [stderr]  Documenting prusti-specs v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(extract_if)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(box_patterns)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:4:1
[INFO] [stdout]   |
[INFO] [stdout] 4 | #![feature(proc_macro_span)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:5:1
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(if_let_guard)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | #![feature(assert_matches)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `prusti-specs`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/bin/rustdoc --edition=2021 --crate-type lib --crate-name prusti_specs src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=feb3ef7e40f42703 -L dependency=/opt/rustwide/target/debug/deps --extern itertools=/opt/rustwide/target/debug/deps/libitertools-37d18c38d1137595.rmeta --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-e4d3f1c5d694fa07.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-be6d169059f855b6.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-97a1b2d1b6045209.rmeta --extern syn=/opt/rustwide/target/debug/deps/libsyn-de6718db423e008a.rmeta --extern uuid=/opt/rustwide/target/debug/deps/libuuid-152cb8d349e74a61.rmeta --cap-lints=warn --crate-version 0.2.0` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "653bc43f3b509c6714dccd7375dbd4916d3a6bb259de5d5cf2a41e5984ab4eb2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "653bc43f3b509c6714dccd7375dbd4916d3a6bb259de5d5cf2a41e5984ab4eb2", kill_on_drop: false }`
[INFO] [stdout] 653bc43f3b509c6714dccd7375dbd4916d3a6bb259de5d5cf2a41e5984ab4eb2
