[INFO] cloning repository https://github.com/Alkizar/logic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Alkizar/logic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAlkizar%2Flogic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAlkizar%2Flogic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1f9855566f1eaf02194b57eeb4d1993ce194ca34
[INFO] checking Alkizar/logic against try#0c70cfbec949d241375e31c5a42066be70c720fc for pr-149681
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAlkizar%2Flogic" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/Alkizar/logic
[INFO] finished tweaking git repo https://github.com/Alkizar/logic
[INFO] tweaked toml for git repo https://github.com/Alkizar/logic written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Alkizar/logic on toolchain 0c70cfbec949d241375e31c5a42066be70c720fc
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0c70cfbec949d241375e31c5a42066be70c720fc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/Alkizar/logic 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" "+0c70cfbec949d241375e31c5a42066be70c720fc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0c70cfbec949d241375e31c5a42066be70c720fc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 792f49b06d12973da3b67ef445cee6b5c54a87ea67d4ce9ae19886153ebcfb3c
[INFO] running `Command { std: "docker" "start" "-a" "792f49b06d12973da3b67ef445cee6b5c54a87ea67d4ce9ae19886153ebcfb3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "792f49b06d12973da3b67ef445cee6b5c54a87ea67d4ce9ae19886153ebcfb3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "792f49b06d12973da3b67ef445cee6b5c54a87ea67d4ce9ae19886153ebcfb3c", kill_on_drop: false }`
[INFO] [stdout] 792f49b06d12973da3b67ef445cee6b5c54a87ea67d4ce9ae19886153ebcfb3c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0c70cfbec949d241375e31c5a42066be70c720fc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0662a149597e828af2ac26d65133ba7db1813435b4455dd9facce52b2722388d
[INFO] running `Command { std: "docker" "start" "-a" "0662a149597e828af2ac26d65133ba7db1813435b4455dd9facce52b2722388d", kill_on_drop: false }`
[INFO] [stderr]     Checking logic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/truth_table.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/parser.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/proofs.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `parser`
[INFO] [stdout]  --> src/proofs.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use parser::*;
[INFO] [stdout]   |     ^^^^^^ help: a similar path exists: `crate::parser`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/truth_table.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/parser.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `structures`
[INFO] [stdout]  --> src/proofs.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^ help: a similar path exists: `crate::structures`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `parser`
[INFO] [stdout]  --> src/proofs.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use parser::*;
[INFO] [stdout]   |     ^^^^^^ help: a similar path exists: `crate::parser`
[INFO] [stdout]   |
[INFO] [stdout]   = note: `use` statements changed in Rust 2018; read more at <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-clarity.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 |                 model.insert(var.clone(), true);
[INFO] [stdout]    |                              ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:34:30
[INFO] [stdout]    |
[INFO] [stdout] 34 |         print!("-{}+-", "-".repeat(var.len()));
[INFO] [stdout]    |                                    ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:42:10
[INFO] [stdout]    |
[INFO] [stdout] 42 |             match model.get(var) {
[INFO] [stdout]    |                   ^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/proofs.rs:25:25
[INFO] [stdout]    |
[INFO] [stdout] 25 |         new_assignment.insert(key.to_string(), val);
[INFO] [stdout]    |                               ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/proofs.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 |             match m.insert(x.name.clone(), src) {
[INFO] [stdout]    |                   ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:128:20
[INFO] [stdout]     |
[INFO] [stdout] 128 |         conclusions.push(conclusion.substitute_formula_from_assignment(&assignment));
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:140:24
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 let mut new_inst = instantiation.clone();
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:183:20
[INFO] [stdout]     |
[INFO] [stdout] 183 |         conclusions.push(conclusion.substitute_formula_from_assignment(&assignment));
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:449:17
[INFO] [stdout]     |
[INFO] [stdout] 449 |             let string = premise.to_string();
[INFO] [stdout]     |                          ^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |             let string = conclusion.to_string();
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic` (bin "logic" test) due to 14 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:15:18
[INFO] [stdout]    |
[INFO] [stdout] 15 |                 model.insert(var.clone(), true);
[INFO] [stdout]    |                              ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:34:30
[INFO] [stdout]    |
[INFO] [stdout] 34 |         print!("-{}+-", "-".repeat(var.len()));
[INFO] [stdout]    |                                    ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/truth_table.rs:42:10
[INFO] [stdout]    |
[INFO] [stdout] 42 |             match model.get(var) {
[INFO] [stdout]    |                   ^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/proofs.rs:25:25
[INFO] [stdout]    |
[INFO] [stdout] 25 |         new_assignment.insert(key.to_string(), val);
[INFO] [stdout]    |                               ^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]   --> src/proofs.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 |             match m.insert(x.name.clone(), src) {
[INFO] [stdout]    |                   ^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:128:20
[INFO] [stdout]     |
[INFO] [stdout] 128 |         conclusions.push(conclusion.substitute_formula_from_assignment(&assignment));
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:140:24
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 let mut new_inst = instantiation.clone();
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:183:20
[INFO] [stdout]     |
[INFO] [stdout] 183 |         conclusions.push(conclusion.substitute_formula_from_assignment(&assignment));
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:449:17
[INFO] [stdout]     |
[INFO] [stdout] 449 |             let string = premise.to_string();
[INFO] [stdout]     |                          ^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0282]: type annotations needed
[INFO] [stdout]    --> src/proofs.rs:457:17
[INFO] [stdout]     |
[INFO] [stdout] 457 |             let string = conclusion.to_string();
[INFO] [stdout]     |                          ^^^^^^^^^^ cannot infer type
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0282, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0282`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic` (bin "logic") due to 14 previous errors
[INFO] running `Command { std: "docker" "inspect" "0662a149597e828af2ac26d65133ba7db1813435b4455dd9facce52b2722388d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0662a149597e828af2ac26d65133ba7db1813435b4455dd9facce52b2722388d", kill_on_drop: false }`
[INFO] [stdout] 0662a149597e828af2ac26d65133ba7db1813435b4455dd9facce52b2722388d
