[INFO] cloning repository https://github.com/fachammer/diploma-thesis-algorithm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fachammer/diploma-thesis-algorithm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f5360c4ff337e551f5fd915fe697686b101b5e80
[INFO] checking fachammer/diploma-thesis-algorithm against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffachammer%2Fdiploma-thesis-algorithm" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/fachammer/diploma-thesis-algorithm on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-6-tc1/source/.cargo/config
[INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/fachammer/diploma-thesis-algorithm
[INFO] finished tweaking git repo https://github.com/fachammer/diploma-thesis-algorithm
[INFO] tweaked toml for git repo https://github.com/fachammer/diploma-thesis-algorithm written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/fachammer/diploma-thesis-algorithm 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde_derive v1.0.162
[INFO] [stderr]   Downloaded serde v1.0.162
[INFO] [stderr]   Downloaded rustix v0.37.17
[INFO] [stderr]   Downloaded proptest v1.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d95e886258ea1b78091e95c33cb2e71059290b96bb08fdbcc082b17d7ecb07f8
[INFO] running `Command { std: "docker" "start" "-a" "d95e886258ea1b78091e95c33cb2e71059290b96bb08fdbcc082b17d7ecb07f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d95e886258ea1b78091e95c33cb2e71059290b96bb08fdbcc082b17d7ecb07f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d95e886258ea1b78091e95c33cb2e71059290b96bb08fdbcc082b17d7ecb07f8", kill_on_drop: false }`
[INFO] [stdout] d95e886258ea1b78091e95c33cb2e71059290b96bb08fdbcc082b17d7ecb07f8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bc2b5986db248b7774ef2e1987f024c7a929fa20b1e4eb2cea1751ef33eb77b0
[INFO] running `Command { std: "docker" "start" "-a" "bc2b5986db248b7774ef2e1987f024c7a929fa20b1e4eb2cea1751ef33eb77b0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.63
[INFO] [stderr]    Compiling quote v1.0.26
[INFO] [stderr]    Compiling unicode-ident v1.0.8
[INFO] [stderr]    Compiling libc v0.2.142
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.87
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling once_cell v1.17.1
[INFO] [stderr]    Compiling bumpalo v3.12.1
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling wasm-bindgen v0.2.87
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling proc-macro-error-attr v0.4.12
[INFO] [stderr]    Compiling slab v0.4.8
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling io-lifetimes v1.0.10
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling proc-macro-error v0.4.12
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]    Compiling proc-macro-hack v0.5.20+deprecated
[INFO] [stderr]    Compiling serde_derive v1.0.162
[INFO] [stderr]    Compiling rustix v0.37.17
[INFO] [stderr]    Compiling serde v1.0.162
[INFO] [stderr]     Checking futures-io v0.3.28
[INFO] [stderr]     Checking pin-project-lite v0.2.9
[INFO] [stderr]     Checking linux-raw-sys v0.3.6
[INFO] [stderr]    Compiling libm v0.2.6
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]     Checking fastrand v1.9.0
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking genawaiter-macro v0.99.1
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking quick-error v2.0.1
[INFO] [stderr]     Checking regex-syntax v0.6.29
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]    Compiling syn v2.0.15
[INFO] [stderr]     Checking getrandom v0.2.9
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling syn-mid v0.5.4
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.87
[INFO] [stderr]     Checking tempfile v3.5.0
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking proptest v1.1.0
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.87
[INFO] [stderr]    Compiling genawaiter-proc-macro v0.99.1
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.87
[INFO] [stderr]     Checking genawaiter v0.99.1
[INFO] [stderr]     Checking js-sys v0.3.64
[INFO] [stderr]     Checking console_error_panic_hook v0.1.7
[INFO] [stderr]     Checking futures-executor v0.3.28
[INFO] [stderr]     Checking futures v0.3.28
[INFO] [stderr]     Checking web-sys v0.3.64
[INFO] [stderr]     Checking wasm-bindgen-futures v0.4.37
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking thesis-algorithm v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the item `Polynomial` is imported redundantly
[INFO] [stdout]    --> src/proof.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |     use crate::{polynomial::Polynomial, proof::Skeleton};
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 287 |
[INFO] [stdout] 288 |     use super::*;
[INFO] [stdout]     |         -------- the item `Polynomial` is already imported here
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Skeleton` is imported redundantly
[INFO] [stdout]    --> src/proof.rs:286:41
[INFO] [stdout]     |
[INFO] [stdout] 286 |     use crate::{polynomial::Polynomial, proof::Skeleton};
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^
[INFO] [stdout] 287 |
[INFO] [stdout] 288 |     use super::*;
[INFO] [stdout]     |         -------- the item `Skeleton` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `TermDisequality` is imported redundantly
[INFO] [stdout]    --> src/proof_search.rs:740:9
[INFO] [stdout]     |
[INFO] [stdout] 740 |         disequality::TermDisequality, multiset::Multiset, polynomial::Polynomial,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 744 |     use super::*;
[INFO] [stdout]     |         -------- the item `TermDisequality` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Polynomial` is imported redundantly
[INFO] [stdout]    --> src/proof_search.rs:740:59
[INFO] [stdout]     |
[INFO] [stdout] 740 |         disequality::TermDisequality, multiset::Multiset, polynomial::Polynomial,
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 744 |     use super::*;
[INFO] [stdout]     |         -------- the item `Polynomial` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `is_disequality_provable` is imported redundantly
[INFO] [stdout]    --> src/proof_search.rs:741:9
[INFO] [stdout]     |
[INFO] [stdout] 741 |         proof_search::is_disequality_provable, term::Term,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 744 |     use super::*;
[INFO] [stdout]     |         -------- the item `is_disequality_provable` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `Term` is imported redundantly
[INFO] [stdout]    --> src/proof_search.rs:741:48
[INFO] [stdout]     |
[INFO] [stdout] 741 |         proof_search::is_disequality_provable, term::Term,
[INFO] [stdout]     |                                                ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 744 |     use super::*;
[INFO] [stdout]     |         -------- the item `Term` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `compose` is never used
[INFO] [stdout]   --> src/substitution.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `input_by_id_unchecked` is never used
[INFO] [stdout]   --> src/web_unchecked.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stdout]    |                  ----------------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 8 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `left` and `right` are never used
[INFO] [stdout]    --> src/disequality.rs:115:19
[INFO] [stdout]     |
[INFO] [stdout] 107 | impl TermDisequality {
[INFO] [stdout]     | -------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 115 |     pub(crate) fn left(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 119 |     pub(crate) fn right(&self) -> &Term {
[INFO] [stdout]     |                   ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `check` is never used
[INFO] [stdout]    --> src/proof.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 164 | impl Proof {
[INFO] [stdout]     | ---------- method in this implementation
[INFO] [stdout] 165 |     pub fn check(&self) -> bool {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `compose` is never used
[INFO] [stdout]   --> src/substitution.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Substitution {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     pub fn compose(mut self, other: Self) -> Self {
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `input_by_id_unchecked` is never used
[INFO] [stdout]   --> src/web_unchecked.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) trait DocumentUnchecked {
[INFO] [stdout]    |                  ----------------- method in this trait
[INFO] [stdout] ...
[INFO] [stdout] 40 |     fn input_by_id_unchecked(&self, id: &str) -> HtmlInputElement {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 17.30s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: wasm-bindgen v0.2.87
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "bc2b5986db248b7774ef2e1987f024c7a929fa20b1e4eb2cea1751ef33eb77b0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bc2b5986db248b7774ef2e1987f024c7a929fa20b1e4eb2cea1751ef33eb77b0", kill_on_drop: false }`
[INFO] [stdout] bc2b5986db248b7774ef2e1987f024c7a929fa20b1e4eb2cea1751ef33eb77b0