[INFO] cloning repository https://github.com/bejoistic/mathist
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bejoistic/mathist" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8b87852337a92179fbe7cc705eb82d161f3b4d22
[INFO] testing bejoistic/mathist against try#eafdee2dfae8c2233b74f98b123308be7ccefcc6 for pr-79296
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbejoistic%2Fmathist" "/workspace/builds/worker-1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/bejoistic/mathist on toolchain eafdee2dfae8c2233b74f98b123308be7ccefcc6
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/bejoistic/mathist
[INFO] finished tweaking git repo https://github.com/bejoistic/mathist
[INFO] tweaked toml for git repo https://github.com/bejoistic/mathist written to /workspace/builds/worker-1/source/Cargo.toml
[INFO] crate git repo https://github.com/bejoistic/mathist already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c9e6e20e9049c5f591839732bc67bb0d4f04e73a50511f973df2aa449308faab
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "c9e6e20e9049c5f591839732bc67bb0d4f04e73a50511f973df2aa449308faab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9e6e20e9049c5f591839732bc67bb0d4f04e73a50511f973df2aa449308faab", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c9e6e20e9049c5f591839732bc67bb0d4f04e73a50511f973df2aa449308faab", kill_on_drop: false }`
[INFO] [stdout] c9e6e20e9049c5f591839732bc67bb0d4f04e73a50511f973df2aa449308faab
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 6c11fdf9666872a252c03780283728259adee2cfafb4d4c199c44bf6e97eb1e8
[INFO] running `Command { std: "docker" "start" "-a" "6c11fdf9666872a252c03780283728259adee2cfafb4d4c199c44bf6e97eb1e8", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling regex-syntax v0.6.21
[INFO] [stderr]    Compiling thread_local v1.0.1
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling regex v1.4.2
[INFO] [stderr]    Compiling mathist v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> src/main.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entries`
[INFO] [stdout]    --> src/main.rs:307:31
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_atom_str`
[INFO] [stdout]   --> src/main.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Constant`
[INFO] [stdout]    --> src/main.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     Constant(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Variable`
[INFO] [stdout]    --> src/main.rs:168:5
[INFO] [stdout]     |
[INFO] [stdout] 168 |     Variable(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Function`
[INFO] [stdout]    --> src/main.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     Function(String, Vec<Term>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atomic`
[INFO] [stdout]    --> src/main.rs:187:5
[INFO] [stdout]     |
[INFO] [stdout] 187 |     Atomic(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/main.rs:188:5
[INFO] [stdout]     |
[INFO] [stdout] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/main.rs:189:5
[INFO] [stdout]     |
[INFO] [stdout] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Not`
[INFO] [stdout]    --> src/main.rs:190:5
[INFO] [stdout]     |
[INFO] [stdout] 190 |     Not(Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]    --> src/main.rs:191:5
[INFO] [stdout]     |
[INFO] [stdout] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Iff`
[INFO] [stdout]    --> src/main.rs:192:5
[INFO] [stdout]     |
[INFO] [stdout] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForAll`
[INFO] [stdout]    --> src/main.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ForAll(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]    --> src/main.rs:194:5
[INFO] [stdout]     |
[INFO] [stdout] 194 |     Exists(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_term`
[INFO] [stdout]    --> src/main.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_formula`
[INFO] [stdout]    --> src/main.rs:251:4
[INFO] [stdout]     |
[INFO] [stdout] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 16 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 22.57s
[INFO] running `Command { std: "docker" "inspect" "6c11fdf9666872a252c03780283728259adee2cfafb4d4c199c44bf6e97eb1e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c11fdf9666872a252c03780283728259adee2cfafb4d4c199c44bf6e97eb1e8", kill_on_drop: false }`
[INFO] [stdout] 6c11fdf9666872a252c03780283728259adee2cfafb4d4c199c44bf6e97eb1e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a1cef98920d7139003d1295cd9d5141be2c9d264af545a6145c92b29595689ef
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "a1cef98920d7139003d1295cd9d5141be2c9d264af545a6145c92b29595689ef", kill_on_drop: false }`
[INFO] [stderr]    Compiling mathist v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]    --> src/main.rs:307:17
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entries`
[INFO] [stdout]    --> src/main.rs:307:31
[INFO] [stdout]     |
[INFO] [stdout] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stdout]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `as_atom_str`
[INFO] [stdout]   --> src/main.rs:15:8
[INFO] [stdout]    |
[INFO] [stdout] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stdout]    |        ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Constant`
[INFO] [stdout]    --> src/main.rs:167:5
[INFO] [stdout]     |
[INFO] [stdout] 167 |     Constant(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Variable`
[INFO] [stdout]    --> src/main.rs:168:5
[INFO] [stdout]     |
[INFO] [stdout] 168 |     Variable(String),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Function`
[INFO] [stdout]    --> src/main.rs:169:5
[INFO] [stdout]     |
[INFO] [stdout] 169 |     Function(String, Vec<Term>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atomic`
[INFO] [stdout]    --> src/main.rs:187:5
[INFO] [stdout]     |
[INFO] [stdout] 187 |     Atomic(Term),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/main.rs:188:5
[INFO] [stdout]     |
[INFO] [stdout] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/main.rs:189:5
[INFO] [stdout]     |
[INFO] [stdout] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Not`
[INFO] [stdout]    --> src/main.rs:190:5
[INFO] [stdout]     |
[INFO] [stdout] 190 |     Not(Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]    --> src/main.rs:191:5
[INFO] [stdout]     |
[INFO] [stdout] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Iff`
[INFO] [stdout]    --> src/main.rs:192:5
[INFO] [stdout]     |
[INFO] [stdout] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForAll`
[INFO] [stdout]    --> src/main.rs:193:5
[INFO] [stdout]     |
[INFO] [stdout] 193 |     ForAll(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]    --> src/main.rs:194:5
[INFO] [stdout]     |
[INFO] [stdout] 194 |     Exists(String, Box<Formula>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_term`
[INFO] [stdout]    --> src/main.rs:225:4
[INFO] [stdout]     |
[INFO] [stdout] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stdout]     |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `make_formula`
[INFO] [stdout]    --> src/main.rs:251:4
[INFO] [stdout]     |
[INFO] [stdout] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 16 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.53s
[INFO] running `Command { std: "docker" "inspect" "a1cef98920d7139003d1295cd9d5141be2c9d264af545a6145c92b29595689ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a1cef98920d7139003d1295cd9d5141be2c9d264af545a6145c92b29595689ef", kill_on_drop: false }`
[INFO] [stdout] a1cef98920d7139003d1295cd9d5141be2c9d264af545a6145c92b29595689ef
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+eafdee2dfae8c2233b74f98b123308be7ccefcc6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e2f15518cdf9882b6be8fb4fe0ce78ef1d26f60f88cd526b2a664184fb73ca24
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "e2f15518cdf9882b6be8fb4fe0ce78ef1d26f60f88cd526b2a664184fb73ca24", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `input`
[INFO] [stderr]    --> src/main.rs:307:17
[INFO] [stderr]     |
[INFO] [stderr] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stderr]     |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `entries`
[INFO] [stderr]    --> src/main.rs:307:31
[INFO] [stderr]     |
[INFO] [stderr] 307 | fn push_entries(input: &Sexp, entries: &mut Vec<Entry>) {}
[INFO] [stderr]     |                               ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entries`
[INFO] [stderr] 
[INFO] [stderr] warning: associated function is never used: `as_atom_str`
[INFO] [stderr]   --> src/main.rs:15:8
[INFO] [stderr]    |
[INFO] [stderr] 15 |     fn as_atom_str(&self) -> &str {
[INFO] [stderr]    |        ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Constant`
[INFO] [stderr]    --> src/main.rs:167:5
[INFO] [stderr]     |
[INFO] [stderr] 167 |     Constant(String),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Variable`
[INFO] [stderr]    --> src/main.rs:168:5
[INFO] [stderr]     |
[INFO] [stderr] 168 |     Variable(String),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Function`
[INFO] [stderr]    --> src/main.rs:169:5
[INFO] [stderr]     |
[INFO] [stderr] 169 |     Function(String, Vec<Term>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Atomic`
[INFO] [stderr]    --> src/main.rs:187:5
[INFO] [stderr]     |
[INFO] [stderr] 187 |     Atomic(Term),
[INFO] [stderr]     |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `And`
[INFO] [stderr]    --> src/main.rs:188:5
[INFO] [stderr]     |
[INFO] [stderr] 188 |     And(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Or`
[INFO] [stderr]    --> src/main.rs:189:5
[INFO] [stderr]     |
[INFO] [stderr] 189 |     Or(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Not`
[INFO] [stderr]    --> src/main.rs:190:5
[INFO] [stderr]     |
[INFO] [stderr] 190 |     Not(Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Implies`
[INFO] [stderr]    --> src/main.rs:191:5
[INFO] [stderr]     |
[INFO] [stderr] 191 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Iff`
[INFO] [stderr]    --> src/main.rs:192:5
[INFO] [stderr]     |
[INFO] [stderr] 192 |     Iff(Box<Formula>, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `ForAll`
[INFO] [stderr]    --> src/main.rs:193:5
[INFO] [stderr]     |
[INFO] [stderr] 193 |     ForAll(String, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant is never constructed: `Exists`
[INFO] [stderr]    --> src/main.rs:194:5
[INFO] [stderr]     |
[INFO] [stderr] 194 |     Exists(String, Box<Formula>),
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `make_term`
[INFO] [stderr]    --> src/main.rs:225:4
[INFO] [stderr]     |
[INFO] [stderr] 225 | fn make_term(input: &Sexp) -> Term {
[INFO] [stderr]     |    ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `make_formula`
[INFO] [stderr]    --> src/main.rs:251:4
[INFO] [stderr]     |
[INFO] [stderr] 251 | fn make_formula(input: &Sexp) -> Formula {
[INFO] [stderr]     |    ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: 16 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/mathist-67b536e292aeef89
[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
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e2f15518cdf9882b6be8fb4fe0ce78ef1d26f60f88cd526b2a664184fb73ca24", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2f15518cdf9882b6be8fb4fe0ce78ef1d26f60f88cd526b2a664184fb73ca24", kill_on_drop: false }`
[INFO] [stdout] e2f15518cdf9882b6be8fb4fe0ce78ef1d26f60f88cd526b2a664184fb73ca24