[INFO] cloning repository https://github.com/viperproject/prusti-dev
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/viperproject/prusti-dev" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fviperproject%2Fprusti-dev'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4e478ee4a389996a0f4c514e521c0092e7b926d3
[INFO] documenting viperproject/prusti-dev 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%2Fviperproject%2Fprusti-dev" "/workspace/builds/worker-6/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/viperproject/prusti-dev 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] removed /workspace/builds/worker-6/source/.cargo/config
[INFO] removed /workspace/builds/worker-6/source/rust-toolchain
[INFO] started tweaking git repo https://github.com/viperproject/prusti-dev
[INFO] finished tweaking git repo https://github.com/viperproject/prusti-dev
[INFO] tweaked toml for git repo https://github.com/viperproject/prusti-dev written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] crate git repo https://github.com/viperproject/prusti-dev 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-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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] [stdout] be674fb17c8c308f109e231291e970c7a7961adb4422356bda87227d4a6ab754
[INFO] running `Command { std: "docker" "start" "-a" "be674fb17c8c308f109e231291e970c7a7961adb4422356bda87227d4a6ab754", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "be674fb17c8c308f109e231291e970c7a7961adb4422356bda87227d4a6ab754", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "be674fb17c8c308f109e231291e970c7a7961adb4422356bda87227d4a6ab754", kill_on_drop: false }`
[INFO] [stdout] be674fb17c8c308f109e231291e970c7a7961adb4422356bda87227d4a6ab754
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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] 0e9cdd281b59dcc2a8d06f0fc5c9467aa76aa7a2d583c1dfe337346f58bcef8f
[INFO] running `Command { std: "docker" "start" "-a" "0e9cdd281b59dcc2a8d06f0fc5c9467aa76aa7a2d583c1dfe337346f58bcef8f", kill_on_drop: false }`
[INFO] [stderr] warning: test-crates v0.1.0 (/opt/rustwide/workdir/test-crates) ignoring invalid dependency `prusti` which is missing a lib target
[INFO] [stderr] warning: output filename collision.
[INFO] [stderr] The lib target `prusti-server` in package `prusti-server v0.1.0 (/opt/rustwide/workdir/prusti-server)` has the same output filename as the bin target `prusti-server` in package `prusti-launch v0.1.0 (/opt/rustwide/workdir/prusti-launch)`.
[INFO] [stderr] Colliding filename is: /opt/rustwide/target/doc/prusti_server/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 libc v0.2.126
[INFO] [stderr]    Compiling proc-macro2 v1.0.39
[INFO] [stderr]    Compiling unicode-ident v1.0.0
[INFO] [stderr]    Compiling syn v1.0.95
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling serde_derive v1.0.137
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]    Compiling pkg-config v0.3.25
[INFO] [stderr]     Checking itoa v1.0.2
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling serde_json v1.0.81
[INFO] [stderr]    Compiling crc32fast v1.3.2
[INFO] [stderr]    Compiling once_cell v1.10.0
[INFO] [stderr]    Compiling untrusted v0.7.1
[INFO] [stderr]    Compiling adler v1.0.2
[INFO] [stderr]     Checking ryu v1.0.10
[INFO] [stderr]    Compiling spin v0.5.2
[INFO] [stderr]    Compiling gimli v0.26.1
[INFO] [stderr]     Checking regex-syntax v0.6.25
[INFO] [stderr]    Compiling percent-encoding v2.1.0
[INFO] [stderr]    Compiling bytes v1.1.0
[INFO] [stderr]    Compiling unicode-bidi v0.3.8
[INFO] [stderr]     Checking rustc-demangle v0.1.21
[INFO] [stderr]    Compiling rustls v0.20.5
[INFO] [stderr]     Checking pin-project-lite v0.2.9
[INFO] [stderr]    Compiling jni-sys v0.3.0
[INFO] [stderr]    Compiling cesu8 v1.1.0
[INFO] [stderr]    Compiling chunked_transfer v1.4.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling base64 v0.13.0
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling typenum v1.15.0
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]    Compiling futures-util v0.3.21
[INFO] [stderr]    Compiling openssl v0.10.40
[INFO] [stderr]    Compiling httparse v1.7.1
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]    Compiling native-tls v0.2.10
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking dlv-list v0.3.0
[INFO] [stderr]    Compiling async-trait v0.1.53
[INFO] [stderr]     Checking prusti-utils v0.1.0 (/opt/rustwide/workdir/prusti-utils)
[INFO] [stderr]     Checking linked-hash-map v0.5.4
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking pathdiff v0.2.1
[INFO] [stderr]     Checking os_str_bytes v6.0.1
[INFO] [stderr]     Checking utf-8 v0.7.6
[INFO] [stderr]    Compiling encoding_rs v0.8.31
[INFO] [stderr]     Checking regex-automata v0.1.10
[INFO] [stderr]     Checking itoa v0.4.8
[INFO] [stderr]     Checking ipnet v2.5.0
[INFO] [stderr]    Compiling failure_derive v0.1.8
[INFO] [stderr]     Checking datafrog v2.0.1
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]    Compiling prusti-contracts-impl v0.1.0 (/opt/rustwide/workdir/prusti-contracts-impl)
[INFO] [stderr]    Compiling rustwide v0.14.0
[INFO] [stderr]     Checking wildmatch v1.1.0
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]     Checking glob v0.3.0
[INFO] [stderr]  Documenting prusti-utils v0.1.0 (/opt/rustwide/workdir/prusti-utils)
[INFO] [stderr]  Documenting prusti-contracts-impl v0.1.0 (/opt/rustwide/workdir/prusti-contracts-impl)
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling tinyvec v1.6.0
[INFO] [stderr]    Compiling ahash v0.7.6
[INFO] [stderr]     Checking form_urlencoded v1.0.1
[INFO] [stderr]    Compiling indexmap v1.8.1
[INFO] [stderr]    Compiling unicase v2.6.0
[INFO] [stderr]     Checking tracing-core v0.1.26
[INFO] [stderr]    Compiling memoffset v0.6.5
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling generic-array v0.14.5
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]     Checking futures-channel v0.3.21
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr] error: could not document `prusti-utils`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2021 --crate-type lib --crate-name prusti_utils prusti-utils/src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=9243497da6bc44cb -L dependency=/opt/rustwide/target/debug/deps --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `bytes`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name bytes --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/bytes-1.1.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=44851e2768c88cca -C extra-filename=-44851e2768c88cca --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `proc-macro2`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/proc-macro2-1.0.39/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="proc-macro"' --cfg 'feature="span-locations"' -C metadata=92c6a02e53aeb643 -C extra-filename=-92c6a02e53aeb643 --out-dir /opt/rustwide/target/debug/build/proc-macro2-92c6a02e53aeb643 -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `syn`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/syn-1.0.95/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="fold"' --cfg 'feature="full"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="quote"' --cfg 'feature="visit"' --cfg 'feature="visit-mut"' -C metadata=385e80fa99c4426d -C extra-filename=-385e80fa99c4426d --out-dir /opt/rustwide/target/debug/build/syn-385e80fa99c4426d -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `serde_json`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/serde_json-1.0.81/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=ce2f9633b29a667e -C extra-filename=-ce2f9633b29a667e --out-dir /opt/rustwide/target/debug/build/serde_json-ce2f9633b29a667e -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `async-trait`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/async-trait-0.1.53/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 -C metadata=42ac7ce2c369b710 -C extra-filename=-42ac7ce2c369b710 --out-dir /opt/rustwide/target/debug/build/async-trait-42ac7ce2c369b710 -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `termcolor`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name termcolor --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/termcolor-1.1.3/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C metadata=32b50f642d1e75a8 -C extra-filename=-32b50f642d1e75a8 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `unicode-bidi`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name unicode_bidi --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/unicode-bidi-0.3.8/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="hardcoded-data"' --cfg 'feature="std"' -C metadata=064678f529798c53 -C extra-filename=-064678f529798c53 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `ipnet`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name ipnet --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/ipnet-2.5.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' -C metadata=c9c4aeaf55ea2b4d -C extra-filename=-c9c4aeaf55ea2b4d --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `rustwide`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/rustwide-0.14.0/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 -C metadata=1133dbf888fe22af -C extra-filename=-1133dbf888fe22af --out-dir /opt/rustwide/target/debug/build/rustwide-1133dbf888fe22af -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `openssl`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/openssl-0.10.40/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 -C metadata=d4b1d52b36274f78 -C extra-filename=-d4b1d52b36274f78 --out-dir /opt/rustwide/target/debug/build/openssl-d4b1d52b36274f78 -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `crc32fast`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_build /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/crc32fast-1.3.2/build.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=337b958c367e6db3 -C extra-filename=-337b958c367e6db3 --out-dir /opt/rustwide/target/debug/build/crc32fast-337b958c367e6db3 -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `humantime`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name humantime --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/humantime-2.1.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C metadata=e9a3658f54825403 -C extra-filename=-e9a3658f54825403 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `pkg-config`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name pkg_config /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/pkg-config-0.3.25/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C metadata=63bd554d7f22a757 -C extra-filename=-63bd554d7f22a757 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `gimli`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name gimli --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/gimli-0.26.1/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="read"' --cfg 'feature="read-core"' -C metadata=8acf6516e7235d17 -C extra-filename=-8acf6516e7235d17 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `convert_case`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name convert_case --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/convert_case-0.4.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C metadata=2c8387b43605e0d5 -C extra-filename=-2c8387b43605e0d5 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `prusti-contracts-impl`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name prusti_contracts_impl --edition=2021 prusti-contracts-impl/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C embed-bitcode=no -C debuginfo=2 -C metadata=108c54537819a4b3 -C extra-filename=-108c54537819a4b3 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `typenum`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name build_script_main --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/typenum-1.15.0/build/main.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type bin --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 -C metadata=3b8870aae419525d -C extra-filename=-3b8870aae419525d --out-dir /opt/rustwide/target/debug/build/typenum-3b8870aae419525d -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not document `prusti-contracts-impl`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2021 --crate-type proc-macro --crate-name prusti_contracts_impl prusti-contracts-impl/src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=7a620e4829f95a4b -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro --cap-lints=warn --crate-version 0.1.0` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `percent-encoding`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name percent_encoding /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/percent-encoding-2.1.0/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 -C metadata=8c83310236959ef9 -C extra-filename=-8c83310236959ef9 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `regex-syntax`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name regex_syntax --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/regex-syntax-0.6.25/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="unicode"' --cfg 'feature="unicode-age"' --cfg 'feature="unicode-bool"' --cfg 'feature="unicode-case"' --cfg 'feature="unicode-gencat"' --cfg 'feature="unicode-perl"' --cfg 'feature="unicode-script"' --cfg 'feature="unicode-segment"' -C metadata=fd0c3ba7c22fa1f4 -C extra-filename=-fd0c3ba7c22fa1f4 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `regex-syntax`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name regex_syntax --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/regex-syntax-0.6.25/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="unicode"' --cfg 'feature="unicode-age"' --cfg 'feature="unicode-bool"' --cfg 'feature="unicode-case"' --cfg 'feature="unicode-gencat"' --cfg 'feature="unicode-perl"' --cfg 'feature="unicode-script"' --cfg 'feature="unicode-segment"' -C metadata=aa7900256607b78b -C extra-filename=-aa7900256607b78b --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `gimli`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name gimli --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/gimli-0.26.1/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="read"' --cfg 'feature="read-core"' -C metadata=00b056c6fa493bf2 -C extra-filename=-00b056c6fa493bf2 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] [stderr] error: could not compile `tracing-core`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name tracing_core --edition=2018 /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/tracing-core-0.1.26/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="lazy_static"' --cfg 'feature="std"' -C metadata=a61e65bdb9a30d4e -C extra-filename=-a61e65bdb9a30d4e --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-701e134f05ff346a.rmeta --cap-lints allow` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "0e9cdd281b59dcc2a8d06f0fc5c9467aa76aa7a2d583c1dfe337346f58bcef8f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e9cdd281b59dcc2a8d06f0fc5c9467aa76aa7a2d583c1dfe337346f58bcef8f", kill_on_drop: false }`
[INFO] [stdout] 0e9cdd281b59dcc2a8d06f0fc5c9467aa76aa7a2d583c1dfe337346f58bcef8f