[INFO] cloning repository https://github.com/philzook58/egg-dl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/philzook58/egg-dl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fegg-dl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fegg-dl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 334da836aacf261364817c43d05253dd5feaadd7
[INFO] checking philzook58/egg-dl against master#33fdb797f59421c7bbecaa4588ed5d7a31a9494a for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fphilzook58%2Fegg-dl" "/workspace/builds/worker-7/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/philzook58/egg-dl on toolchain 33fdb797f59421c7bbecaa4588ed5d7a31a9494a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/philzook58/egg-dl
[INFO] finished tweaking git repo https://github.com/philzook58/egg-dl
[INFO] tweaked toml for git repo https://github.com/philzook58/egg-dl written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] crate git repo https://github.com/philzook58/egg-dl already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ccde64b0a4083f8eb4317d409b88faeb53a95ee2d91fb85cab67bff5beac9f7a
[INFO] running `Command { std: "docker" "start" "-a" "ccde64b0a4083f8eb4317d409b88faeb53a95ee2d91fb85cab67bff5beac9f7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ccde64b0a4083f8eb4317d409b88faeb53a95ee2d91fb85cab67bff5beac9f7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ccde64b0a4083f8eb4317d409b88faeb53a95ee2d91fb85cab67bff5beac9f7a", kill_on_drop: false }`
[INFO] [stdout] ccde64b0a4083f8eb4317d409b88faeb53a95ee2d91fb85cab67bff5beac9f7a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+33fdb797f59421c7bbecaa4588ed5d7a31a9494a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 06f5462f3ee25d32dc497a316af036aab1cf2e23fba8065135cfd3bb3c9458b4
[INFO] running `Command { std: "docker" "start" "-a" "06f5462f3ee25d32dc497a316af036aab1cf2e23fba8065135cfd3bb3c9458b4", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.74
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling libc v0.2.98
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.74
[INFO] [stderr]     Checking smallvec v1.6.1
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling bumpalo v3.7.0
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]    Compiling lexical-core v0.7.6
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]    Compiling wasm-bindgen v0.2.74
[INFO] [stderr]     Checking arrayvec v0.5.2
[INFO] [stderr]     Checking endian-type v0.1.2
[INFO] [stderr]     Checking unicode-segmentation v1.8.0
[INFO] [stderr]     Checking symbolic_expressions v5.0.3
[INFO] [stderr]     Checking once_cell v1.8.0
[INFO] [stderr]     Checking utf8parse v0.2.0
[INFO] [stderr]     Checking instant v0.1.10
[INFO] [stderr]     Checking log v0.4.14
[INFO] [stderr]     Checking lock_api v0.4.4
[INFO] [stderr]     Checking nibble_vec v0.1.0
[INFO] [stderr]     Checking radix_trie v0.2.1
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling nom v6.2.1
[INFO] [stderr]    Compiling indexmap v1.7.0
[INFO] [stderr]     Checking dirs-sys-next v0.1.2
[INFO] [stderr]     Checking fd-lock v2.0.0
[INFO] [stderr]     Checking nix v0.20.0
[INFO] [stderr]     Checking parking_lot_core v0.8.3
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking dirs-next v2.0.0
[INFO] [stderr]     Checking parking_lot v0.11.1
[INFO] [stderr]    Compiling wasm-bindgen-backend v0.2.74
[INFO] [stderr]    Compiling wasm-bindgen-macro-support v0.2.74
[INFO] [stderr]     Checking rustyline v8.2.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.26
[INFO] [stderr]    Compiling clap_derive v3.0.0-beta.2
[INFO] [stderr]    Compiling wasm-bindgen-macro v0.2.74
[INFO] [stderr]     Checking thiserror v1.0.26
[INFO] [stderr]     Checking egg v0.6.1-dev (https://github.com/philzook58/egg#1ccc1773)
[INFO] [stderr]     Checking clap v3.0.0-beta.2
[INFO] [stderr]     Checking egglog v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/lib.rs:118:28
[INFO] [stdout]     |
[INFO] [stdout] 118 |             .flat_map(|p| <Searcher<L, A>>::vars(p))
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Searcher<L, A>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/lib.rs:118:28
[INFO] [stdout]     |
[INFO] [stdout] 118 |             .flat_map(|p| <Searcher<L, A>>::vars(p))
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^ help: use `dyn`: `dyn Searcher<L, A>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` on by default
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/lib.rs:118:28
[INFO] [stdout]     |
[INFO] [stdout] 118 |             .flat_map(|p| <Searcher<L, A>>::vars(p))
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^ help: use `dyn`: `<dyn Searcher<L, A>>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/lib.rs:118:28
[INFO] [stdout]     |
[INFO] [stdout] 118 |             .flat_map(|p| <Searcher<L, A>>::vars(p))
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^ help: use `dyn`: `<dyn Searcher<L, A>>`
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/nightly/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/lib.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Err(e) => Err(format!("Error: file {} not found", filename)),
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/lib.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Err(e) => Err(format!("Error: file {} not found", filename)),
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: static is never used: `GENSYM_COUNTER`
[INFO] [stdout]  --> src/gensym.rs:3:1
[INFO] [stdout]   |
[INFO] [stdout] 3 | static GENSYM_COUNTER: AtomicUsize = AtomicUsize::new(0);
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `fresh`
[INFO] [stdout]  --> src/gensym.rs:5:4
[INFO] [stdout]   |
[INFO] [stdout] 5 | fn fresh() -> usize {
[INFO] [stdout]   |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `gensym`
[INFO] [stdout]  --> src/gensym.rs:9:4
[INFO] [stdout]   |
[INFO] [stdout] 9 | fn gensym(prefix : &str) -> String {
[INFO] [stdout]   |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]  --> src/logic.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Conj`
[INFO] [stdout]  --> src/logic.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Conj(Vec<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `ForAll`
[INFO] [stdout]  --> src/logic.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     ForAll(String, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]  --> src/logic.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Exists(String, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Atom`
[INFO] [stdout]   --> src/logic.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Atom(EqWrap<Term>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `GoalFormula`
[INFO] [stdout]   --> src/logic.rs:13:6
[INFO] [stdout]    |
[INFO] [stdout] 13 | enum GoalFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `PatternFormula`
[INFO] [stdout]   --> src/logic.rs:23:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | enum PatternFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `ApplierFormula`
[INFO] [stdout]   --> src/logic.rs:32:6
[INFO] [stdout]    |
[INFO] [stdout] 32 | enum ApplierFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AtomicFormula`
[INFO] [stdout]   --> src/logic.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | type AtomicFormula = EqWrap<Term>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `ProgramFormula`
[INFO] [stdout]   --> src/logic.rs:42:6
[INFO] [stdout]    |
[INFO] [stdout] 42 | enum ProgramFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `forall`
[INFO] [stdout]   --> src/parser.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn forall(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `conj`
[INFO] [stdout]   --> src/parser.rs:50:4
[INFO] [stdout]    |
[INFO] [stdout] 50 | fn conj(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `atom`
[INFO] [stdout]   --> src/parser.rs:56:4
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn atom(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `formula`
[INFO] [stdout]   --> src/parser.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn formula(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `ws`
[INFO] [stdout]    --> src/parser.rs:179:4
[INFO] [stdout]     |
[INFO] [stdout] 179 | fn ws<'a, F: 'a, O, E: ParseError<&'a str>>(
[INFO] [stdout]     |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `apply2`
[INFO] [stdout]    --> src/parser.rs:191:4
[INFO] [stdout]     |
[INFO] [stdout] 191 | fn apply2(input: &str) -> IResult<&str, Term> {
[INFO] [stdout]     |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `term2`
[INFO] [stdout]    --> src/parser.rs:197:4
[INFO] [stdout]     |
[INFO] [stdout] 197 | fn term2(input: &str) -> IResult<&str, Term> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `eqterm2`
[INFO] [stdout]    --> src/parser.rs:201:4
[INFO] [stdout]     |
[INFO] [stdout] 201 | fn eqterm2(input: &str) -> IResult<&str, EqWrap<Term>> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `forall2`
[INFO] [stdout]    --> src/parser.rs:211:4
[INFO] [stdout]     |
[INFO] [stdout] 211 | fn forall2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `exists2`
[INFO] [stdout]    --> src/parser.rs:220:4
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn exists2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `conj2`
[INFO] [stdout]    --> src/parser.rs:229:4
[INFO] [stdout]     |
[INFO] [stdout] 229 | fn conj2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `atom2`
[INFO] [stdout]    --> src/parser.rs:235:4
[INFO] [stdout]     |
[INFO] [stdout] 235 | fn atom2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `implies2`
[INFO] [stdout]    --> src/parser.rs:239:4
[INFO] [stdout]     |
[INFO] [stdout] 239 | fn implies2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `formula2`
[INFO] [stdout]    --> src/parser.rs:244:4
[INFO] [stdout]     |
[INFO] [stdout] 244 | fn formula2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `formula2simp`
[INFO] [stdout]    --> src/parser.rs:250:4
[INFO] [stdout]     |
[INFO] [stdout] 250 | fn formula2simp(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `SymMultiPattern`
[INFO] [stdout]    --> src/lib.rs:353:1
[INFO] [stdout]     |
[INFO] [stdout] 353 | type SymMultiPattern = MultiPattern<EqWrap<Pattern<SymbolLang>>>;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:340:5
[INFO] [stdout]     |
[INFO] [stdout] 340 |     write!(buf, "[");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `write` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         writeln!(buf, "-? {}", q);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:502:13
[INFO] [stdout]     |
[INFO] [stdout] 502 |             writeln!(buf, "unknown.");
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:506:21
[INFO] [stdout]     |
[INFO] [stdout] 506 |                     print_subst(&mut buf, &runner.egraph, &subst);
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:507:21
[INFO] [stdout]     |
[INFO] [stdout] 507 |                     writeln!(buf, ";");
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 37 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implies`
[INFO] [stdout]  --> src/logic.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Implies(Box<Formula>, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Exists`
[INFO] [stdout]  --> src/logic.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     Exists(String, Box<Formula>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `GoalFormula`
[INFO] [stdout]   --> src/logic.rs:13:6
[INFO] [stdout]    |
[INFO] [stdout] 13 | enum GoalFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `PatternFormula`
[INFO] [stdout]   --> src/logic.rs:23:6
[INFO] [stdout]    |
[INFO] [stdout] 23 | enum PatternFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `ApplierFormula`
[INFO] [stdout]   --> src/logic.rs:32:6
[INFO] [stdout]    |
[INFO] [stdout] 32 | enum ApplierFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `AtomicFormula`
[INFO] [stdout]   --> src/logic.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | type AtomicFormula = EqWrap<Term>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `ProgramFormula`
[INFO] [stdout]   --> src/logic.rs:42:6
[INFO] [stdout]    |
[INFO] [stdout] 42 | enum ProgramFormula {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `forall`
[INFO] [stdout]   --> src/parser.rs:44:4
[INFO] [stdout]    |
[INFO] [stdout] 44 | fn forall(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `conj`
[INFO] [stdout]   --> src/parser.rs:50:4
[INFO] [stdout]    |
[INFO] [stdout] 50 | fn conj(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `atom`
[INFO] [stdout]   --> src/parser.rs:56:4
[INFO] [stdout]    |
[INFO] [stdout] 56 | fn atom(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `formula`
[INFO] [stdout]   --> src/parser.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn formula(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `exists2`
[INFO] [stdout]    --> src/parser.rs:220:4
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn exists2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `implies2`
[INFO] [stdout]    --> src/parser.rs:239:4
[INFO] [stdout]     |
[INFO] [stdout] 239 | fn implies2(input: &str) -> IResult<&str, Formula> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `SymMultiPattern`
[INFO] [stdout]    --> src/lib.rs:353:1
[INFO] [stdout]     |
[INFO] [stdout] 353 | type SymMultiPattern = MultiPattern<EqWrap<Pattern<SymbolLang>>>;
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]  --> tests/example.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     dbg!(run(contents));
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]   = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]   = note: this warning originates in the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:340:5
[INFO] [stdout]     |
[INFO] [stdout] 340 |     write!(buf, "[");
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` on by default
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `write` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         writeln!(buf, "-? {}", q);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:502:13
[INFO] [stdout]     |
[INFO] [stdout] 502 |             writeln!(buf, "unknown.");
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:506:21
[INFO] [stdout]     |
[INFO] [stdout] 506 |                     print_subst(&mut buf, &runner.egraph, &subst);
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/lib.rs:507:21
[INFO] [stdout]     |
[INFO] [stdout] 507 |                     writeln!(buf, ";");
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: this warning originates in the macro `writeln` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 22 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.01s
[INFO] running `Command { std: "docker" "inspect" "06f5462f3ee25d32dc497a316af036aab1cf2e23fba8065135cfd3bb3c9458b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "06f5462f3ee25d32dc497a316af036aab1cf2e23fba8065135cfd3bb3c9458b4", kill_on_drop: false }`
[INFO] [stdout] 06f5462f3ee25d32dc497a316af036aab1cf2e23fba8065135cfd3bb3c9458b4