[INFO] cloning repository https://github.com/johnrscott/maths
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/johnrscott/maths" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2bf45985da9cc41be87e2ceffbeb0e158c1cf414
[INFO] testing johnrscott/maths against 1.98.0-beta.8+cargoflags=--release for beta-release-1.99-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/johnrscott/maths
[INFO] finished tweaking git repo https://github.com/johnrscott/maths
[INFO] tweaked toml for git repo https://github.com/johnrscott/maths written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/johnrscott/maths on toolchain 1.98.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/johnrscott/maths 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" "+1.98.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b
[INFO] running `Command { std: "docker" "start" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling maths v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused macro definition: `func`
[INFO] [stdout]   --> src/function.rs:34:14
[INFO] [stdout]    |
[INFO] [stdout] 34 | macro_rules! func {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `func`
[INFO] [stdout]   --> src/function.rs:40:16
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub(crate) use func;
[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 macro definition: `or`
[INFO] [stdout]   --> src/binary_connective.rs:48:14
[INFO] [stdout]    |
[INFO] [stdout] 48 | macro_rules! or {
[INFO] [stdout]    |              ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `or`
[INFO] [stdout]   --> src/main.rs:14:30
[INFO] [stdout]    |
[INFO] [stdout] 14 | use binary_connective::{and, or, implies, equivalent, BinaryConnective};
[INFO] [stdout]    |                              ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Function` is never constructed
[INFO] [stdout]  --> src/term.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Term {
[INFO] [stdout]   |          ---- variant in this enum
[INFO] [stdout] 7 |     Variable(Rc<Variable>),
[INFO] [stdout] 8 |     Function(Rc<Function>),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `from_function` is never used
[INFO] [stdout]   --> src/term.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl Term {
[INFO] [stdout]    | --------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub fn from_function(func: Rc<Function>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/function.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Function {
[INFO] [stdout]    | ------------- associated function in this implementation
[INFO] [stdout] 14 |     pub fn new(name: String, arguments: Vec<Rc<Term>>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Disjunction` is never constructed
[INFO] [stdout]  --> src/binary_connective.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub enum BinaryConnective {
[INFO] [stdout]   |          ---------------- variant in this enum
[INFO] [stdout] 6 |     Conjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stdout] 7 |     Disjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `or` is never used
[INFO] [stdout]   --> src/binary_connective.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl BinaryConnective {
[INFO] [stdout]    | --------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 16 |     pub fn or(form1: Rc<Formula>, form2: Rc<Formula>) -> Self {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `not` should have an upper case name
[INFO] [stdout]   --> src/formula.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 37 |     const not: &str = "\u{00ac}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 37 -     const not: &str = "\u{00ac}";
[INFO] [stdout] 37 +     const NOT: &str = "\u{00ac}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `and` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 |     const and: &str = "\u{22c0}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 29 -     const and: &str = "\u{22c0}";
[INFO] [stdout] 29 +     const AND: &str = "\u{22c0}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `or` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     const or: &str = "\u{22c1}";
[INFO] [stdout]    |           ^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 30 -     const or: &str = "\u{22c1}";
[INFO] [stdout] 30 +     const OR: &str = "\u{22c1}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `implies` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 |     const implies: &str = "\u{2192}";
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 31 -     const implies: &str = "\u{2192}";
[INFO] [stdout] 31 +     const IMPLIES: &str = "\u{2192}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `iff` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     const iff: &str = "\u{2194}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 32 -     const iff: &str = "\u{2194}";
[INFO] [stdout] 32 +     const IFF: &str = "\u{2194}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `for_all` should have an upper case name
[INFO] [stdout]   --> src/quantifier.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 |     const for_all: &str = "\u{2200}";
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 22 -     const for_all: &str = "\u{2200}";
[INFO] [stdout] 22 +     const FOR_ALL: &str = "\u{2200}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `exists` should have an upper case name
[INFO] [stdout]   --> src/quantifier.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 |     const exists: &str = "\u{2203}";
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 23 -     const exists: &str = "\u{2203}";
[INFO] [stdout] 23 +     const EXISTS: &str = "\u{2203}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.44s
[INFO] running `Command { std: "docker" "inspect" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling maths v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused macro definition: `func`
[INFO] [stdout]   --> src/function.rs:34:14
[INFO] [stdout]    |
[INFO] [stdout] 34 | macro_rules! func {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `func`
[INFO] [stdout]   --> src/function.rs:40:16
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub(crate) use func;
[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 macro definition: `or`
[INFO] [stdout]   --> src/binary_connective.rs:48:14
[INFO] [stdout]    |
[INFO] [stdout] 48 | macro_rules! or {
[INFO] [stdout]    |              ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `or`
[INFO] [stdout]   --> src/main.rs:14:30
[INFO] [stdout]    |
[INFO] [stdout] 14 | use binary_connective::{and, or, implies, equivalent, BinaryConnective};
[INFO] [stdout]    |                              ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Function` is never constructed
[INFO] [stdout]  --> src/term.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub enum Term {
[INFO] [stdout]   |          ---- variant in this enum
[INFO] [stdout] 7 |     Variable(Rc<Variable>),
[INFO] [stdout] 8 |     Function(Rc<Function>),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `from_function` is never used
[INFO] [stdout]   --> src/term.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl Term {
[INFO] [stdout]    | --------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub fn from_function(func: Rc<Function>) -> Self {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/function.rs:14:12
[INFO] [stdout]    |
[INFO] [stdout] 13 | impl Function {
[INFO] [stdout]    | ------------- associated function in this implementation
[INFO] [stdout] 14 |     pub fn new(name: String, arguments: Vec<Rc<Term>>) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Disjunction` is never constructed
[INFO] [stdout]  --> src/binary_connective.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub enum BinaryConnective {
[INFO] [stdout]   |          ---------------- variant in this enum
[INFO] [stdout] 6 |     Conjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stdout] 7 |     Disjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `or` is never used
[INFO] [stdout]   --> src/binary_connective.rs:16:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl BinaryConnective {
[INFO] [stdout]    | --------------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 16 |     pub fn or(form1: Rc<Formula>, form2: Rc<Formula>) -> Self {
[INFO] [stdout]    |            ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `not` should have an upper case name
[INFO] [stdout]   --> src/formula.rs:37:8
[INFO] [stdout]    |
[INFO] [stdout] 37 |     const not: &str = "\u{00ac}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 37 -     const not: &str = "\u{00ac}";
[INFO] [stdout] 37 +     const NOT: &str = "\u{00ac}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `and` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:29:8
[INFO] [stdout]    |
[INFO] [stdout] 29 |     const and: &str = "\u{22c0}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 29 -     const and: &str = "\u{22c0}";
[INFO] [stdout] 29 +     const AND: &str = "\u{22c0}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `or` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:30:8
[INFO] [stdout]    |
[INFO] [stdout] 30 |     const or: &str = "\u{22c1}";
[INFO] [stdout]    |           ^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 30 -     const or: &str = "\u{22c1}";
[INFO] [stdout] 30 +     const OR: &str = "\u{22c1}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `implies` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:31:8
[INFO] [stdout]    |
[INFO] [stdout] 31 |     const implies: &str = "\u{2192}";
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 31 -     const implies: &str = "\u{2192}";
[INFO] [stdout] 31 +     const IMPLIES: &str = "\u{2192}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `iff` should have an upper case name
[INFO] [stdout]   --> src/binary_connective.rs:32:8
[INFO] [stdout]    |
[INFO] [stdout] 32 |     const iff: &str = "\u{2194}";
[INFO] [stdout]    |           ^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case (notice the capitalization)
[INFO] [stdout]    |
[INFO] [stdout] 32 -     const iff: &str = "\u{2194}";
[INFO] [stdout] 32 +     const IFF: &str = "\u{2194}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `for_all` should have an upper case name
[INFO] [stdout]   --> src/quantifier.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 22 |     const for_all: &str = "\u{2200}";
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 22 -     const for_all: &str = "\u{2200}";
[INFO] [stdout] 22 +     const FOR_ALL: &str = "\u{2200}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `exists` should have an upper case name
[INFO] [stdout]   --> src/quantifier.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 |     const exists: &str = "\u{2203}";
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: convert the identifier to upper case
[INFO] [stdout]    |
[INFO] [stdout] 23 -     const exists: &str = "\u{2203}";
[INFO] [stdout] 23 +     const EXISTS: &str = "\u{2203}";
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.43s
[INFO] running `Command { std: "docker" "inspect" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: unused macro definition: `func`
[INFO] [stderr]   --> src/function.rs:34:14
[INFO] [stderr]    |
[INFO] [stderr] 34 | macro_rules! func {
[INFO] [stderr]    |              ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `func`
[INFO] [stderr]   --> src/function.rs:40:16
[INFO] [stderr]    |
[INFO] [stderr] 40 | pub(crate) use func;
[INFO] [stderr]    |                ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused macro definition: `or`
[INFO] [stderr]   --> src/binary_connective.rs:48:14
[INFO] [stderr]    |
[INFO] [stderr] 48 | macro_rules! or {
[INFO] [stderr]    |              ^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `or`
[INFO] [stderr]   --> src/main.rs:14:30
[INFO] [stderr]    |
[INFO] [stderr] 14 | use binary_connective::{and, or, implies, equivalent, BinaryConnective};
[INFO] [stderr]    |                              ^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Function` is never constructed
[INFO] [stderr]  --> src/term.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | pub enum Term {
[INFO] [stderr]   |          ---- variant in this enum
[INFO] [stderr] 7 |     Variable(Rc<Variable>),
[INFO] [stderr] 8 |     Function(Rc<Function>),
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `from_function` is never used
[INFO] [stderr]   --> src/term.rs:15:12
[INFO] [stderr]    |
[INFO] [stderr] 11 | impl Term {
[INFO] [stderr]    | --------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 15 |     pub fn from_function(func: Rc<Function>) -> Self {
[INFO] [stderr]    |            ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/function.rs:14:12
[INFO] [stderr]    |
[INFO] [stderr] 13 | impl Function {
[INFO] [stderr]    | ------------- associated function in this implementation
[INFO] [stderr] 14 |     pub fn new(name: String, arguments: Vec<Rc<Term>>) -> Self {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Disjunction` is never constructed
[INFO] [stderr]  --> src/binary_connective.rs:7:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub enum BinaryConnective {
[INFO] [stderr]   |          ---------------- variant in this enum
[INFO] [stderr] 6 |     Conjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stderr] 7 |     Disjunction(Rc<Formula>, Rc<Formula>),
[INFO] [stderr]   |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `or` is never used
[INFO] [stderr]   --> src/binary_connective.rs:16:12
[INFO] [stderr]    |
[INFO] [stderr] 12 | impl BinaryConnective {
[INFO] [stderr]    | --------------------- associated function in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 16 |     pub fn or(form1: Rc<Formula>, form2: Rc<Formula>) -> Self {
[INFO] [stderr]    |            ^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `not` should have an upper case name
[INFO] [stderr]   --> src/formula.rs:37:8
[INFO] [stderr]    |
[INFO] [stderr] 37 |     const not: &str = "\u{00ac}";
[INFO] [stderr]    |           ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_upper_case_globals)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 37 -     const not: &str = "\u{00ac}";
[INFO] [stderr] 37 +     const NOT: &str = "\u{00ac}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `and` should have an upper case name
[INFO] [stderr]   --> src/binary_connective.rs:29:8
[INFO] [stderr]    |
[INFO] [stderr] 29 |     const and: &str = "\u{22c0}";
[INFO] [stderr]    |           ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 29 -     const and: &str = "\u{22c0}";
[INFO] [stderr] 29 +     const AND: &str = "\u{22c0}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `or` should have an upper case name
[INFO] [stderr]   --> src/binary_connective.rs:30:8
[INFO] [stderr]    |
[INFO] [stderr] 30 |     const or: &str = "\u{22c1}";
[INFO] [stderr]    |           ^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 30 -     const or: &str = "\u{22c1}";
[INFO] [stderr] 30 +     const OR: &str = "\u{22c1}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `implies` should have an upper case name
[INFO] [stderr]   --> src/binary_connective.rs:31:8
[INFO] [stderr]    |
[INFO] [stderr] 31 |     const implies: &str = "\u{2192}";
[INFO] [stderr]    |           ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 31 -     const implies: &str = "\u{2192}";
[INFO] [stderr] 31 +     const IMPLIES: &str = "\u{2192}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `iff` should have an upper case name
[INFO] [stderr]   --> src/binary_connective.rs:32:8
[INFO] [stderr]    |
[INFO] [stderr] 32 |     const iff: &str = "\u{2194}";
[INFO] [stderr]    |           ^^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case (notice the capitalization)
[INFO] [stderr]    |
[INFO] [stderr] 32 -     const iff: &str = "\u{2194}";
[INFO] [stderr] 32 +     const IFF: &str = "\u{2194}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `for_all` should have an upper case name
[INFO] [stderr]   --> src/quantifier.rs:22:8
[INFO] [stderr]    |
[INFO] [stderr] 22 |     const for_all: &str = "\u{2200}";
[INFO] [stderr]    |           ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 22 -     const for_all: &str = "\u{2200}";
[INFO] [stderr] 22 +     const FOR_ALL: &str = "\u{2200}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: constant `exists` should have an upper case name
[INFO] [stderr]   --> src/quantifier.rs:23:8
[INFO] [stderr]    |
[INFO] [stderr] 23 |     const exists: &str = "\u{2203}";
[INFO] [stderr]    |           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr] help: convert the identifier to upper case
[INFO] [stderr]    |
[INFO] [stderr] 23 -     const exists: &str = "\u{2203}";
[INFO] [stderr] 23 +     const EXISTS: &str = "\u{2203}";
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: `maths` (bin "maths" test) generated 16 warnings (run `cargo fix --bin "maths" -p maths --tests` to apply 9 suggestions)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/maths-e48dcc85c3607e62)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b", kill_on_drop: false }`
[INFO] [stdout] 9fa63f51b29939d6e00d0cc6d526bbc1a57b537a8531e637e9efe306c48d5e8b