[INFO] fetching crate prusti-specs 0.2.0...
[INFO] documenting prusti-specs-0.2.0 against 1.76.0 for beta-1.77-rustdoc-1
[INFO] extracting crate prusti-specs 0.2.0 into /workspace/builds/worker-4-tc1/source
[INFO] validating manifest of crates.io crate prusti-specs 0.2.0 on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.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-4-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.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.76.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 76e31153944309676d695bbc9b153583fcdd81f0199a4a9269690218707d9d02
[INFO] running `Command { std: "docker" "start" "-a" "76e31153944309676d695bbc9b153583fcdd81f0199a4a9269690218707d9d02", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "76e31153944309676d695bbc9b153583fcdd81f0199a4a9269690218707d9d02", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76e31153944309676d695bbc9b153583fcdd81f0199a4a9269690218707d9d02", kill_on_drop: false }`
[INFO] [stdout] 76e31153944309676d695bbc9b153583fcdd81f0199a4a9269690218707d9d02
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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.76.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 45a66232ab155a52edf21ef529230e94eaad8ebf10836482399ee17dd61d9552
[INFO] running `Command { std: "docker" "start" "-a" "45a66232ab155a52edf21ef529230e94eaad8ebf10836482399ee17dd61d9552", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.78
[INFO] [stderr]     Checking unicode-ident v1.0.12
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking itertools v0.11.0
[INFO] [stderr]     Checking getrandom v0.2.12
[INFO] [stderr]     Checking uuid v1.7.0
[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.76.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=a9b7ff2813563757 -L dependency=/opt/rustwide/target/debug/deps --extern itertools=/opt/rustwide/target/debug/deps/libitertools-3162275422c81357.rmeta --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-625488f9056fbf70.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-e14489f88c70212e.rmeta --extern rustc_hash=/opt/rustwide/target/debug/deps/librustc_hash-e50cb2abc88483c1.rmeta --extern syn=/opt/rustwide/target/debug/deps/libsyn-d98af4b2cb53c0b5.rmeta --extern uuid=/opt/rustwide/target/debug/deps/libuuid-78f33a38e1817689.rmeta --cap-lints=warn --crate-version 0.2.0` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "45a66232ab155a52edf21ef529230e94eaad8ebf10836482399ee17dd61d9552", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45a66232ab155a52edf21ef529230e94eaad8ebf10836482399ee17dd61d9552", kill_on_drop: false }`
[INFO] [stdout] 45a66232ab155a52edf21ef529230e94eaad8ebf10836482399ee17dd61d9552
