[INFO] cloning repository https://github.com/RebelPotato/cherry
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/RebelPotato/cherry" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRebelPotato%2Fcherry", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRebelPotato%2Fcherry'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b8cf787da9c6815201556f448dcb7dd1e0036fa0
[INFO] checking RebelPotato/cherry against master#9e293ae9f8abecb0be5105787d181518c9012a19 for pr-146440-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRebelPotato%2Fcherry" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/RebelPotato/cherry
[INFO] finished tweaking git repo https://github.com/RebelPotato/cherry
[INFO] tweaked toml for git repo https://github.com/RebelPotato/cherry written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/RebelPotato/cherry on toolchain 9e293ae9f8abecb0be5105787d181518c9012a19
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9e293ae9f8abecb0be5105787d181518c9012a19" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/RebelPotato/cherry 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" "+9e293ae9f8abecb0be5105787d181518c9012a19" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded snafu v0.8.9
[INFO] [stderr]   Downloaded snafu-derive v0.8.9
[INFO] [stderr]   Downloaded sexp v1.1.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+9e293ae9f8abecb0be5105787d181518c9012a19" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fccdf9e69e9adc7880bb09d5618ad2214541fd42339d35b1406f02e9d0c0bda3
[INFO] running `Command { std: "docker" "start" "-a" "fccdf9e69e9adc7880bb09d5618ad2214541fd42339d35b1406f02e9d0c0bda3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fccdf9e69e9adc7880bb09d5618ad2214541fd42339d35b1406f02e9d0c0bda3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fccdf9e69e9adc7880bb09d5618ad2214541fd42339d35b1406f02e9d0c0bda3", kill_on_drop: false }`
[INFO] [stdout] fccdf9e69e9adc7880bb09d5618ad2214541fd42339d35b1406f02e9d0c0bda3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+9e293ae9f8abecb0be5105787d181518c9012a19" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ce139100af48b19c6b8c0075f96d67b11a0032b3a85fd1113efa8ff4e50a14a0
[INFO] running `Command { std: "docker" "start" "-a" "ce139100af48b19c6b8c0075f96d67b11a0032b3a85fd1113efa8ff4e50a14a0", kill_on_drop: false }`
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking sexp v1.1.4
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling snafu-derive v0.8.9
[INFO] [stderr]     Checking snafu v0.8.9
[INFO] [stderr]     Checking loglite v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/lib.rs:587:5
[INFO] [stdout]     |
[INFO] [stdout] 587 |     s: &str,
[INFO] [stdout]     |     ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]    --> src/lib.rs:588:5
[INFO] [stdout]     |
[INFO] [stdout] 588 |     vars: Vec<String>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consts`
[INFO] [stdout]    --> src/lib.rs:589:5
[INFO] [stdout]     |
[INFO] [stdout] 589 |     consts: Vec<String>,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_consts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `precedences`
[INFO] [stdout]    --> src/lib.rs:590:5
[INFO] [stdout]     |
[INFO] [stdout] 590 |     precedences: Vec<u16>,
[INFO] [stdout]     |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_precedences`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `as_free` and `as_const` are never used
[INFO] [stdout]   --> src/lib.rs:9:8
[INFO] [stdout]    |
[INFO] [stdout]  8 | impl Sym {
[INFO] [stdout]    | -------- methods in this implementation
[INFO] [stdout]  9 |     fn as_free(&self) -> Option<Free> {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn as_const(&self) -> Option<Const> {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `vars` is never used
[INFO] [stdout]   --> src/lib.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl Term {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 47 |     fn vars(&self) -> Vec<Free> {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst` is never used
[INFO] [stdout]   --> src/lib.rs:55:4
[INFO] [stdout]    |
[INFO] [stdout] 55 | fn subst(term: &Term, substs: &Vec<Option<Term>>) -> Term {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm_end` is never used
[INFO] [stdout]   --> src/lib.rs:75:4
[INFO] [stdout]    |
[INFO] [stdout] 75 | fn subterm_end(term: &Term, start: usize) -> usize {
[INFO] [stdout]    |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dest_type` is never used
[INFO] [stdout]   --> src/lib.rs:84:4
[INFO] [stdout]    |
[INFO] [stdout] 84 | fn dest_type(term: &Term) -> Option<(Const, Term)> {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dest_type_decl` is never used
[INFO] [stdout]    --> src/lib.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn dest_type_decl(term: &Term) -> Option<(Const, Free)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/lib.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 121 | impl NamePair {
[INFO] [stdout]     | ------------- associated function in this implementation
[INFO] [stdout] 122 |     fn new(v1: Free, v2: Free) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Use`, and `Mov` are never constructed
[INFO] [stdout]    --> src/lib.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 131 | enum ProofOp {
[INFO] [stdout]     |      ------- variants in this enum
[INFO] [stdout] 132 |     Var(u16, u16), // m[a] := v[b]
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 133 |     Use(u16, u16), // m[a] := p[b](m[a...])
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 134 |     Mov(u16, u16), // m[a] := m[b]
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ProofOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `reserve_to` is never used
[INFO] [stdout]    --> src/lib.rs:155:4
[INFO] [stdout]     |
[INFO] [stdout] 155 | fn reserve_to<T: Clone>(vec: &mut Vec<Option<T>>, len: usize) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/lib.rs:587:5
[INFO] [stdout]     |
[INFO] [stdout] 587 |     s: &str,
[INFO] [stdout]     |     ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]    --> src/lib.rs:588:5
[INFO] [stdout]     |
[INFO] [stdout] 588 |     vars: Vec<String>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consts`
[INFO] [stdout]    --> src/lib.rs:589:5
[INFO] [stdout]     |
[INFO] [stdout] 589 |     consts: Vec<String>,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_consts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `precedences`
[INFO] [stdout]    --> src/lib.rs:590:5
[INFO] [stdout]     |
[INFO] [stdout] 590 |     precedences: Vec<u16>,
[INFO] [stdout]     |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_precedences`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/lib.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 160 | impl Theory {
[INFO] [stdout]     | ----------- associated items in this implementation
[INFO] [stdout] 161 |     fn new() -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     fn new_ctx(
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 182 |     fn ctx_at(&self, id: ThmID) -> &Ctx {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 185 |     fn claim_at(&self, id: ThmID) -> &Claim {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 188 |     fn substs_of(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 241 |     fn run_proof(&self, ctx: &Ctx, proof: &[ProofOp]) -> Result<Vec<Option<Term>>, Whatever> {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 292 |     fn add_thm(&mut self, ctx: Ctx, claim: Claim) -> Result<ThmID, Whatever> {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PreTerm` is never constructed
[INFO] [stdout]    --> src/lib.rs:312:8
[INFO] [stdout]     |
[INFO] [stdout] 312 | struct PreTerm(String, Vec<PreTerm>);
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `to_sexp` is never used
[INFO] [stdout]    --> src/lib.rs:314:8
[INFO] [stdout]     |
[INFO] [stdout] 313 | impl PreTerm {
[INFO] [stdout]     | ------------ method in this implementation
[INFO] [stdout] 314 |     fn to_sexp(&self) -> String {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_reserved_char` is never used
[INFO] [stdout]    --> src/lib.rs:330:4
[INFO] [stdout]     |
[INFO] [stdout] 330 | fn is_reserved_char(c: char) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `is_token_char` is never used
[INFO] [stdout]    --> src/lib.rs:333:4
[INFO] [stdout]     |
[INFO] [stdout] 333 | fn is_token_char(c: char) -> bool {
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `next_token` is never used
[INFO] [stdout]    --> src/lib.rs:336:4
[INFO] [stdout]     |
[INFO] [stdout] 336 | fn next_token(s: &[char], mut i: usize) -> Option<(String, usize)> {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `left_bp` is never used
[INFO] [stdout]    --> src/lib.rs:353:4
[INFO] [stdout]     |
[INFO] [stdout] 353 | fn left_bp(x: u16) -> u16 {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `right_bp` is never used
[INFO] [stdout]    --> src/lib.rs:356:4
[INFO] [stdout]     |
[INFO] [stdout] 356 | fn right_bp(x: u16) -> u16 {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `OpInfo` is never constructed
[INFO] [stdout]    --> src/lib.rs:360:8
[INFO] [stdout]     |
[INFO] [stdout] 360 | struct OpInfo {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `OpType` is never used
[INFO] [stdout]    --> src/lib.rs:366:6
[INFO] [stdout]     |
[INFO] [stdout] 366 | enum OpType {
[INFO] [stdout]     |      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_op` is never used
[INFO] [stdout]    --> src/lib.rs:372:4
[INFO] [stdout]     |
[INFO] [stdout] 372 | fn parse_op(name: &str, bp: u16) -> Result<(OpType, String, OpInfo), Whatever> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Ops` is never constructed
[INFO] [stdout]    --> src/lib.rs:400:8
[INFO] [stdout]     |
[INFO] [stdout] 400 | struct Ops {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `from_ops` are never used
[INFO] [stdout]    --> src/lib.rs:407:8
[INFO] [stdout]     |
[INFO] [stdout] 406 | impl Ops {
[INFO] [stdout]     | -------- associated functions in this implementation
[INFO] [stdout] 407 |     fn new() -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 415 |     fn from_ops(ops: &[(&str, u16)]) -> Result<Self, Whatever> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_preterm_chain` is never used
[INFO] [stdout]    --> src/lib.rs:442:4
[INFO] [stdout]     |
[INFO] [stdout] 442 | fn parse_preterm_chain(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_preterm_rec` is never used
[INFO] [stdout]    --> src/lib.rs:461:4
[INFO] [stdout]     |
[INFO] [stdout] 461 | fn parse_preterm_rec(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_preterm` is never used
[INFO] [stdout]    --> src/lib.rs:541:4
[INFO] [stdout]     |
[INFO] [stdout] 541 | fn parse_preterm(s: &str, consts: &HashSet<String>, ops: &Ops) -> Result<PreTerm, Whatever> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `term_from_preterm` is never used
[INFO] [stdout]    --> src/lib.rs:549:4
[INFO] [stdout]     |
[INFO] [stdout] 549 | fn term_from_preterm(pt: &PreTerm, names: &HashMap<String, Sym>) -> Result<Term, Whatever> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `preterm_from_term` is never used
[INFO] [stdout]    --> src/lib.rs:568:4
[INFO] [stdout]     |
[INFO] [stdout] 568 | fn preterm_from_term(term: &Term, names: &HashMap<Sym, String>) -> Result<PreTerm, Whatever> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_term` is never used
[INFO] [stdout]    --> src/lib.rs:586:4
[INFO] [stdout]     |
[INFO] [stdout] 586 | fn parse_term(
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `as_free` and `as_const` are never used
[INFO] [stdout]   --> src/lib.rs:9:8
[INFO] [stdout]    |
[INFO] [stdout]  8 | impl Sym {
[INFO] [stdout]    | -------- methods in this implementation
[INFO] [stdout]  9 |     fn as_free(&self) -> Option<Free> {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 16 |     fn as_const(&self) -> Option<Const> {
[INFO] [stdout]    |        ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `vars` is never used
[INFO] [stdout]   --> src/lib.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 46 | impl Term {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] 47 |     fn vars(&self) -> Vec<Free> {
[INFO] [stdout]    |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subst` is never used
[INFO] [stdout]   --> src/lib.rs:55:4
[INFO] [stdout]    |
[INFO] [stdout] 55 | fn subst(term: &Term, substs: &Vec<Option<Term>>) -> Term {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `subterm_end` is never used
[INFO] [stdout]   --> src/lib.rs:75:4
[INFO] [stdout]    |
[INFO] [stdout] 75 | fn subterm_end(term: &Term, start: usize) -> usize {
[INFO] [stdout]    |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dest_type` is never used
[INFO] [stdout]   --> src/lib.rs:84:4
[INFO] [stdout]    |
[INFO] [stdout] 84 | fn dest_type(term: &Term) -> Option<(Const, Term)> {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dest_type_decl` is never used
[INFO] [stdout]    --> src/lib.rs:104:4
[INFO] [stdout]     |
[INFO] [stdout] 104 | fn dest_type_decl(term: &Term) -> Option<(Const, Free)> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/lib.rs:122:8
[INFO] [stdout]     |
[INFO] [stdout] 121 | impl NamePair {
[INFO] [stdout]     | ------------- associated function in this implementation
[INFO] [stdout] 122 |     fn new(v1: Free, v2: Free) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Var`, `Use`, and `Mov` are never constructed
[INFO] [stdout]    --> src/lib.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 131 | enum ProofOp {
[INFO] [stdout]     |      ------- variants in this enum
[INFO] [stdout] 132 |     Var(u16, u16), // m[a] := v[b]
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 133 |     Use(u16, u16), // m[a] := p[b](m[a...])
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 134 |     Mov(u16, u16), // m[a] := m[b]
[INFO] [stdout]     |     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ProofOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `reserve_to` is never used
[INFO] [stdout]    --> src/lib.rs:155:4
[INFO] [stdout]     |
[INFO] [stdout] 155 | fn reserve_to<T: Clone>(vec: &mut Vec<Option<T>>, len: usize) {
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/lib.rs:161:8
[INFO] [stdout]     |
[INFO] [stdout] 160 | impl Theory {
[INFO] [stdout]     | ----------- associated items in this implementation
[INFO] [stdout] 161 |     fn new() -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 |     fn new_ctx(
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 182 |     fn ctx_at(&self, id: ThmID) -> &Ctx {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 185 |     fn claim_at(&self, id: ThmID) -> &Claim {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 188 |     fn substs_of(
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 241 |     fn run_proof(&self, ctx: &Ctx, proof: &[ProofOp]) -> Result<Vec<Option<Term>>, Whatever> {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 292 |     fn add_thm(&mut self, ctx: Ctx, claim: Claim) -> Result<ThmID, Whatever> {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `term_from_preterm` is never used
[INFO] [stdout]    --> src/lib.rs:549:4
[INFO] [stdout]     |
[INFO] [stdout] 549 | fn term_from_preterm(pt: &PreTerm, names: &HashMap<String, Sym>) -> Result<Term, Whatever> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `preterm_from_term` is never used
[INFO] [stdout]    --> src/lib.rs:568:4
[INFO] [stdout]     |
[INFO] [stdout] 568 | fn preterm_from_term(term: &Term, names: &HashMap<Sym, String>) -> Result<PreTerm, Whatever> {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_term` is never used
[INFO] [stdout]    --> src/lib.rs:586:4
[INFO] [stdout]     |
[INFO] [stdout] 586 | fn parse_term(
[INFO] [stdout]     |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.37s
[INFO] running `Command { std: "docker" "inspect" "ce139100af48b19c6b8c0075f96d67b11a0032b3a85fd1113efa8ff4e50a14a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce139100af48b19c6b8c0075f96d67b11a0032b3a85fd1113efa8ff4e50a14a0", kill_on_drop: false }`
[INFO] [stdout] ce139100af48b19c6b8c0075f96d67b11a0032b3a85fd1113efa8ff4e50a14a0