[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] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[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] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 2)
[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] [stderr] error: failed to write new configuration file /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths/config.lock
[INFO] [stderr] fatal: could not set 'core.filemode' to 'true'
[WARN] Retrying crate fetch in 3 seconds (attempt 3)
[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] checking johnrscott/maths against try#26ad8a85dc4eed299af809e52f278da81e284602 for pr-138458
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/johnrscott/maths on toolchain 26ad8a85dc4eed299af809e52f278da81e284602
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+26ad8a85dc4eed299af809e52f278da81e284602" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-tc2/source/Cargo.toml
[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" "+26ad8a85dc4eed299af809e52f278da81e284602" "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-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+26ad8a85dc4eed299af809e52f278da81e284602" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/f46b8450086670ef4679c7af2691521da47f0400b399b14bac17130cb676c1e7-init: no space left on device
[INFO] checking johnrscott/maths against try#26ad8a85dc4eed299af809e52f278da81e284602 for pr-138458
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] fatal: cannot create directory at 'src': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking johnrscott/maths against try#26ad8a85dc4eed299af809e52f278da81e284602 for pr-138458
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjohnrscott%2Fmaths" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/johnrscott/maths on toolchain 26ad8a85dc4eed299af809e52f278da81e284602
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+26ad8a85dc4eed299af809e52f278da81e284602" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-tc2/source/Cargo.toml
[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" "+26ad8a85dc4eed299af809e52f278da81e284602" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+26ad8a85dc4eed299af809e52f278da81e284602" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 03a4c3b2fe0ac9b48a3d1321c73eb708b346c1b7c2df24498f328ea8acd3bc3d
[INFO] running `Command { std: "docker" "start" "-a" "03a4c3b2fe0ac9b48a3d1321c73eb708b346c1b7c2df24498f328ea8acd3bc3d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "03a4c3b2fe0ac9b48a3d1321c73eb708b346c1b7c2df24498f328ea8acd3bc3d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03a4c3b2fe0ac9b48a3d1321c73eb708b346c1b7c2df24498f328ea8acd3bc3d", kill_on_drop: false }`
[INFO] [stdout] 03a4c3b2fe0ac9b48a3d1321c73eb708b346c1b7c2df24498f328ea8acd3bc3d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+26ad8a85dc4eed299af809e52f278da81e284602" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2f4aecbc0df582b1015027bd18d3355e535372c6f6ec09ca339368cf180ce0fa
[INFO] running `Command { std: "docker" "start" "-a" "2f4aecbc0df582b1015027bd18d3355e535372c6f6ec09ca339368cf180ce0fa", kill_on_drop: false }`
[INFO] [stderr]     Checking 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)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[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)]` 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)]` 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)]` 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 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: 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)]` 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: 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)]` on by default
[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]    |           ^^^ help: convert the identifier to upper case: `NOT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[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]    |           ^^^ help: convert the identifier to upper case: `AND`
[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: 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]    |           ^^ help: convert the identifier to upper case: `OR`
[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: 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]    |           ^^^^^^^ help: convert the identifier to upper case: `IMPLIES`
[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: 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]    |           ^^^ help: convert the identifier to upper case (notice the capitalization): `IFF`
[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 `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]    |           ^^^^^^^ help: convert the identifier to upper case: `FOR_ALL`
[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]    |           ^^^^^^ help: convert the identifier to upper case: `EXISTS`
[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]    |           ^^^ help: convert the identifier to upper case: `NOT`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_upper_case_globals)]` on by default
[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]    |           ^^^ help: convert the identifier to upper case: `AND`
[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]    |           ^^ help: convert the identifier to upper case: `OR`
[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]    |           ^^^^^^^ help: convert the identifier to upper case: `IMPLIES`
[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]    |           ^^^ help: convert the identifier to upper case (notice the capitalization): `IFF`
[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]    |           ^^^^^^^ help: convert the identifier to upper case: `FOR_ALL`
[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]    |           ^^^^^^ help: convert the identifier to upper case: `EXISTS`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] running `Command { std: "docker" "inspect" "2f4aecbc0df582b1015027bd18d3355e535372c6f6ec09ca339368cf180ce0fa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2f4aecbc0df582b1015027bd18d3355e535372c6f6ec09ca339368cf180ce0fa", kill_on_drop: false }`
[INFO] [stdout] 2f4aecbc0df582b1015027bd18d3355e535372c6f6ec09ca339368cf180ce0fa