[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] 08635052a18d3b4e6534edf972ac2963e0baddf6
[INFO] checking Alkizar/logic against master#568b11762723b001bfa693d0f21c5dad01d4e813 for pr-148190
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAlkizar%2Flogic" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/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-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Alkizar/logic on toolchain 568b11762723b001bfa693d0f21c5dad01d4e813
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+568b11762723b001bfa693d0f21c5dad01d4e813" "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" "+568b11762723b001bfa693d0f21c5dad01d4e813" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+568b11762723b001bfa693d0f21c5dad01d4e813" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c4b2c9622c63a3c7f842635b95650fb6febdeac3ad0086677d5c668d82a65d9c
[INFO] running `Command { std: "docker" "start" "-a" "c4b2c9622c63a3c7f842635b95650fb6febdeac3ad0086677d5c668d82a65d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c4b2c9622c63a3c7f842635b95650fb6febdeac3ad0086677d5c668d82a65d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c4b2c9622c63a3c7f842635b95650fb6febdeac3ad0086677d5c668d82a65d9c", kill_on_drop: false }`
[INFO] [stdout] c4b2c9622c63a3c7f842635b95650fb6febdeac3ad0086677d5c668d82a65d9c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+568b11762723b001bfa693d0f21c5dad01d4e813" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bf761ac601ed0f97947c3de404363906dbf4cef894a3a36471c2ecfadbc813a8
[INFO] running `Command { std: "docker" "start" "-a" "bf761ac601ed0f97947c3de404363906dbf4cef894a3a36471c2ecfadbc813a8", 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/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[E0106]: missing lifetime specifier
[INFO] [stdout]   --> src/truth_table.rs:10:92
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn extract_variables_rec<'a>(p: &Formula, mut vars: &'a HashSet<&Variable>) -> &'a HashSet<&Variable> {
[INFO] [stdout]    |                                 --------            ----------------------                 ^ expected named lifetime parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `p` or one of `vars`'s 2 lifetimes
[INFO] [stdout] help: consider using the `'a` lifetime
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn extract_variables_rec<'a>(p: &Formula, mut vars: &'a HashSet<&Variable>) -> &'a HashSet<&'a Variable> {
[INFO] [stdout]    |                                                                                             ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0106]: missing lifetime specifier
[INFO] [stdout]   --> src/truth_table.rs:10:92
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn extract_variables_rec<'a>(p: &Formula, mut vars: &'a HashSet<&Variable>) -> &'a HashSet<&Variable> {
[INFO] [stdout]    |                                 --------            ----------------------                 ^ expected named lifetime parameter
[INFO] [stdout]    |
[INFO] [stdout]    = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `p` or one of `vars`'s 2 lifetimes
[INFO] [stdout] help: consider using the `'a` lifetime
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn extract_variables_rec<'a>(p: &Formula, mut vars: &'a HashSet<&Variable>) -> &'a HashSet<&'a Variable> {
[INFO] [stdout]    |                                                                                             ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::vec`
[INFO] [stdout]  --> src/parser.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::vec;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `structures::*`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `truth_table::*`
[INFO] [stdout]  --> src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use truth_table::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::vec`
[INFO] [stdout]  --> src/parser.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::vec;
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `structures::*`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use structures::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `truth_table::*`
[INFO] [stdout]  --> src/main.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use truth_table::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 |         Formula::Not(q) => vars.extend(extract_variables(q, vars)),
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 13 -         Formula::Not(q) => vars.extend(extract_variables(q, vars)),
[INFO] [stdout] 13 +         Formula::Not(q) => vars.extend(extract_variables(q)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:13:34
[INFO] [stdout]    |
[INFO] [stdout] 13 |         Formula::Not(q) => vars.extend(extract_variables(q, vars)),
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 13 -         Formula::Not(q) => vars.extend(extract_variables(q, vars)),
[INFO] [stdout] 13 +         Formula::Not(q) => vars.extend(extract_variables(q)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:14:39
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 14 -         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 14 +         Formula::And(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:14:80
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                      ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 14 -         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 14 +         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:14:39
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 14 -         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 14 +         Formula::And(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:14:80
[INFO] [stdout]    |
[INFO] [stdout] 14 |         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                      ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 14 -         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 14 +         Formula::And(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:15:38
[INFO] [stdout]    |
[INFO] [stdout] 15 |         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 15 -         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 15 +         Formula::Or(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:15:38
[INFO] [stdout]    |
[INFO] [stdout] 15 |         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 15 -         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 15 +         Formula::Or(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:15:79
[INFO] [stdout]    |
[INFO] [stdout] 15 |         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                     ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 15 -         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 15 +         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:16:43
[INFO] [stdout]    |
[INFO] [stdout] 16 |         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 16 -         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 16 +         Formula::Implies(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:15:79
[INFO] [stdout]    |
[INFO] [stdout] 15 |         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                     ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 15 -         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 15 +         Formula::Or(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:16:84
[INFO] [stdout]    |
[INFO] [stdout] 16 |         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                          ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 16 -         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 16 +         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:16:43
[INFO] [stdout]    |
[INFO] [stdout] 16 |         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                 ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 16 -         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 16 +         Formula::Implies(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                               ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 17 -         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 17 +         Formula::Equiv(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 |         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                        ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 17 -         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 17 +         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:16:84
[INFO] [stdout]    |
[INFO] [stdout] 16 |         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                          ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 16 -         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 16 +         Formula::Implies(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                               ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 17 -         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 17 +         Formula::Equiv(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:18:39
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 18 -         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 18 +         Formula::Xor(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:18:80
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                      ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 18 -         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 18 +         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:17:82
[INFO] [stdout]    |
[INFO] [stdout] 17 |         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                        ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 17 -         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 17 +         Formula::Equiv(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:18:39
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                             ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 18 -         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 18 +         Formula::Xor(q, r) => { vars.extend(extract_variables(q)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 1 argument but 2 arguments were supplied
[INFO] [stdout]   --> src/truth_table.rs:18:80
[INFO] [stdout]    |
[INFO] [stdout] 18 |         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout]    |                                                                                      ^^^^^^^^^^^^^^^^^    ---- unexpected argument #2
[INFO] [stdout]    |
[INFO] [stdout] note: function defined here
[INFO] [stdout]   --> src/truth_table.rs:4:4
[INFO] [stdout]    |
[INFO] [stdout]  4 | fn extract_variables<'a>(p: &'a Formula) -> HashSet<&'a Variable> {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] help: remove the extra argument
[INFO] [stdout]    |
[INFO] [stdout] 18 -         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r, vars)) },
[INFO] [stdout] 18 +         Formula::Xor(q, r) => { vars.extend(extract_variables(q, vars)); vars.extend(extract_variables(r)) },
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0106, E0432.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0106, E0432.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic` (bin "logic") due to 13 previous errors; 4 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `logic` (bin "logic" test) due to 13 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "bf761ac601ed0f97947c3de404363906dbf4cef894a3a36471c2ecfadbc813a8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bf761ac601ed0f97947c3de404363906dbf4cef894a3a36471c2ecfadbc813a8", kill_on_drop: false }`
[INFO] [stdout] bf761ac601ed0f97947c3de404363906dbf4cef894a3a36471c2ecfadbc813a8
