[INFO] cloning repository https://github.com/montaglue/Lambda-Rubiks-Cube
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/montaglue/Lambda-Rubiks-Cube" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmontaglue%2FLambda-Rubiks-Cube", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmontaglue%2FLambda-Rubiks-Cube'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5d858e880accc5f7b6039f2e19446deed3ac87da
[INFO] checking montaglue/Lambda-Rubiks-Cube against master#33fdb797f59421c7bbecaa4588ed5d7a31a9494a for pr-87190-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmontaglue%2FLambda-Rubiks-Cube" "/workspace/builds/worker-52/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-52/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/montaglue/Lambda-Rubiks-Cube 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/montaglue/Lambda-Rubiks-Cube
[INFO] finished tweaking git repo https://github.com/montaglue/Lambda-Rubiks-Cube
[INFO] tweaked toml for git repo https://github.com/montaglue/Lambda-Rubiks-Cube written to /workspace/builds/worker-52/source/Cargo.toml
[INFO] crate git repo https://github.com/montaglue/Lambda-Rubiks-Cube 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-52/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-52/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] 0e8afdb3a91cfac9823b5aa49c8195b6b8aa581352ee8e6902f2720b013f2460
[INFO] running `Command { std: "docker" "start" "-a" "0e8afdb3a91cfac9823b5aa49c8195b6b8aa581352ee8e6902f2720b013f2460", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e8afdb3a91cfac9823b5aa49c8195b6b8aa581352ee8e6902f2720b013f2460", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e8afdb3a91cfac9823b5aa49c8195b6b8aa581352ee8e6902f2720b013f2460", kill_on_drop: false }`
[INFO] [stdout] 0e8afdb3a91cfac9823b5aa49c8195b6b8aa581352ee8e6902f2720b013f2460
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-52/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-52/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] b600e45e2d9a61ae397dc61783911b876203b17661ee1ec60c39344096a02e26
[INFO] running `Command { std: "docker" "start" "-a" "b600e45e2d9a61ae397dc61783911b876203b17661ee1ec60c39344096a02e26", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]     Checking bytes v1.0.1
[INFO] [stderr]     Checking combine v4.6.0
[INFO] [stderr]     Checking Lambda-Rubiks-Cube v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `#[macro_use]` import
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #[macro_use]
[INFO] [stdout]   | ^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 305 |             Term::Lam(body) => todo!(),
[INFO] [stdout]     |                       ^^^^ help: if this is intentional, prefix it with an underscore: `_body`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:306:24
[INFO] [stdout]     |
[INFO] [stdout] 306 |             Term::Pair(f, s) => todo!(),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:306:27
[INFO] [stdout]     |
[INFO] [stdout] 306 |             Term::Pair(f, s) => todo!(),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `body`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:305:23
[INFO] [stdout]     |
[INFO] [stdout] 305 |             Term::Lam(body) => todo!(),
[INFO] [stdout]     |                       ^^^^ help: if this is intentional, prefix it with an underscore: `_body`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:306:24
[INFO] [stdout]     |
[INFO] [stdout] 306 |             Term::Pair(f, s) => todo!(),
[INFO] [stdout]     |                        ^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:306:27
[INFO] [stdout]     |
[INFO] [stdout] 306 |             Term::Pair(f, s) => todo!(),
[INFO] [stdout]     |                           ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]  --> src/error/mod.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     pub fn new(text: String) -> CompilerError {
[INFO] [stdout]   |            ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]  --> src/error/mod.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 |     pub fn new(text: String) -> CompilerError {
[INFO] [stdout]   |            ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `str`
[INFO] [stdout]   --> src/error/mod.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pub fn str<'l>(text: &'l str) -> CompilerError {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `str`
[INFO] [stdout]   --> src/error/mod.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pub fn str<'l>(text: &'l str) -> CompilerError {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `Result`
[INFO] [stdout]   --> src/error/mod.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub type Result<T> = std::result::Result<T, CompilerError>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias is never used: `Result`
[INFO] [stdout]   --> src/error/mod.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub type Result<T> = std::result::Result<T, CompilerError>;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Star`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Star,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Star`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     Star,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Type`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Type(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Type`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     Type(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pi`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Pi(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pi`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     Pi(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lam`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Lam(Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lam`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     Lam(Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `App`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     App(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `App`
[INFO] [stdout]  --> src/interior_representation/abstract_syntax_tree.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     App(Rc<Term>, Rc<Term>),
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Si`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Si(Rc<Term>, Rc<Term>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Si`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     Si(Rc<Term>, Rc<Term>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     Pair(Rc<Term>, Rc<Term>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Proj`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     Proj(Rc<Term>, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     Pair(Rc<Term>, Rc<Term>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Bounded`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Bounded(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Proj`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 |     Proj(Rc<Term>, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Free`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Free(Name),
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Bounded`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     Bounded(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `star`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:17:4
[INFO] [stdout]    |
[INFO] [stdout] 17 | fn star() -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `typ`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:21:4
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn typ(te: Rc<Term>, ty: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Free`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     Free(Name),
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pi`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:25:4
[INFO] [stdout]    |
[INFO] [stdout] 25 | fn pi(arg_type: Rc<Term>, res_type: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `star`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:17:4
[INFO] [stdout]    |
[INFO] [stdout] 17 | fn star() -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `lam`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:29:4
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn lam(body: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `typ`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:21:4
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn typ(te: Rc<Term>, ty: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pi`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:25:4
[INFO] [stdout]    |
[INFO] [stdout] 25 | fn pi(arg_type: Rc<Term>, res_type: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `app`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:33:4
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn app(fun: Rc<Term>, arg: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `si`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:37:4
[INFO] [stdout]    |
[INFO] [stdout] 37 | fn si(f: Rc<Term>, s: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `lam`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:29:4
[INFO] [stdout]    |
[INFO] [stdout] 29 | fn lam(body: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pair`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn pair(f: Rc<Term>, s: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `app`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:33:4
[INFO] [stdout]    |
[INFO] [stdout] 33 | fn app(fun: Rc<Term>, arg: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `proj`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:45:4
[INFO] [stdout]    |
[INFO] [stdout] 45 | fn proj(t: Rc<Term>, p: usize) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `si`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:37:4
[INFO] [stdout]    |
[INFO] [stdout] 37 | fn si(f: Rc<Term>, s: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `bounded`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:49:4
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn bounded(ind: usize) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `free`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:53:4
[INFO] [stdout]    |
[INFO] [stdout] 53 | fn free(n: Name) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `pair`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn pair(f: Rc<Term>, s: Rc<Term>) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Global`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:59:5
[INFO] [stdout]    |
[INFO] [stdout] 59 |     Global(String),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `proj`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:45:4
[INFO] [stdout]    |
[INFO] [stdout] 45 | fn proj(t: Rc<Term>, p: usize) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Local`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:60:5
[INFO] [stdout]    |
[INFO] [stdout] 60 |     Local(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Quote`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 |     Quote(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `bounded`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:49:4
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn bounded(ind: usize) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Cons`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 |     Cons(T, Rc<List<T>>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `free`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:53:4
[INFO] [stdout]    |
[INFO] [stdout] 53 | fn free(n: Name) -> Rc<Term> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Nil`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Nil,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Global`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:59:5
[INFO] [stdout]    |
[INFO] [stdout] 59 |     Global(String),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn get(&self, ind: usize) -> &T {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lookupTy`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:85:12
[INFO] [stdout]    |
[INFO] [stdout] 85 |     pub fn lookupTy(&self, key: &A) -> Option<&B> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Local`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:60:5
[INFO] [stdout]    |
[INFO] [stdout] 60 |     Local(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Star`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout] 100 |     Star,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Quote`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 61 |     Quote(usize),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lam`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 |     Lam(Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Cons`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:65:5
[INFO] [stdout]    |
[INFO] [stdout] 65 |     Cons(T, Rc<List<T>>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Pi(Rc<Value>, Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Si`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     Si(Rc<Value>, Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     Pair(Rc<Value>, Rc<Value>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Nil`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:66:5
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Nil,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Neutral`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Neutral(Rc<Neutral>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `get`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:70:12
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn get(&self, ind: usize) -> &T {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vStar`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn vStar() -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vLam`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:112:4
[INFO] [stdout]     |
[INFO] [stdout] 112 | fn vLam(c: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lookupTy`
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:85:12
[INFO] [stdout]    |
[INFO] [stdout] 85 |     pub fn lookupTy(&self, key: &A) -> Option<&B> {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vPi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:116:4
[INFO] [stdout]     |
[INFO] [stdout] 116 | fn vPi(arg_type: Rc<Value>, res_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Star`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout] 100 |     Star,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vSi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:120:4
[INFO] [stdout]     |
[INFO] [stdout] 120 | fn vSi(first_type: Rc<Value>, second_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Lam`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout] 101 |     Lam(Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vPair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:124:4
[INFO] [stdout]     |
[INFO] [stdout] 124 | fn vPair(first: Rc<Value>, second: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Pi(Rc<Value>, Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Si`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     Si(Rc<Value>, Closure),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vNeutral`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn vNeutral(n: Rc<Neutral>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Free`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:133:5
[INFO] [stdout]     |
[INFO] [stdout] 133 |     Free(Name),
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     Pair(Rc<Value>, Rc<Value>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:134:5
[INFO] [stdout]     |
[INFO] [stdout] 134 |     Pair(Rc<Neutral>, usize),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Neutral`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     Neutral(Rc<Neutral>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `App`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:135:5
[INFO] [stdout]     |
[INFO] [stdout] 135 |     App(Rc<Neutral>, Rc<Value>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vStar`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn vStar() -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nFree`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn nFree(n: Name) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vLam`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:112:4
[INFO] [stdout]     |
[INFO] [stdout] 112 | fn vLam(c: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nPair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:142:4
[INFO] [stdout]     |
[INFO] [stdout] 142 | fn nPair(t: Rc<Neutral>, p: usize) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vPi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:116:4
[INFO] [stdout]     |
[INFO] [stdout] 116 | fn vPi(arg_type: Rc<Value>, res_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nApp`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:146:4
[INFO] [stdout]     |
[INFO] [stdout] 146 | fn nApp(fun: Rc<Neutral>, arg: Rc<Value>) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vSi`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:120:4
[INFO] [stdout]     |
[INFO] [stdout] 120 | fn vSi(first_type: Rc<Value>, second_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:155:12
[INFO] [stdout]     |
[INFO] [stdout] 155 |     pub fn new(term: Rc<Term>, env: Rc<List<Rc<Value>>>) -> Closure {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vPair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:124:4
[INFO] [stdout]     |
[INFO] [stdout] 124 | fn vPair(first: Rc<Value>, second: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:159:12
[INFO] [stdout]     |
[INFO] [stdout] 159 |     pub fn apply(&self, x: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn subst(&self, sub: Rc<Term>, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `vNeutral`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn vNeutral(n: Rc<Neutral>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `eval`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 192 |     pub fn eval(&self, env: Rc<List<Rc<Value>>>) -> Rc<Value> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Free`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:133:5
[INFO] [stdout]     |
[INFO] [stdout] 133 |     Free(Name),
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Pair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:134:5
[INFO] [stdout]     |
[INFO] [stdout] 134 |     Pair(Rc<Neutral>, usize),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `quote`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn quote(&self, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `App`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:135:5
[INFO] [stdout]     |
[INFO] [stdout] 135 |     App(Rc<Neutral>, Rc<Value>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `quote`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:260:12
[INFO] [stdout]     |
[INFO] [stdout] 260 |     pub fn quote(&self, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `pushDecl`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:279:12
[INFO] [stdout]     |
[INFO] [stdout] 279 |     pub fn pushDecl(&self, n: Name, ty: Rc<Value>) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nFree`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn nFree(n: Name) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lookupTy`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:286:12
[INFO] [stdout]     |
[INFO] [stdout] 286 |     pub fn lookupTy(&self, n: &Name) -> Option<Rc<Value>> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nPair`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:142:4
[INFO] [stdout]     |
[INFO] [stdout] 142 | fn nPair(t: Rc<Neutral>, p: usize) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `pushBinder`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:290:12
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn pushBinder(&self) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `nApp`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:146:4
[INFO] [stdout]     |
[INFO] [stdout] 146 | fn nApp(fun: Rc<Neutral>, arg: Rc<Value>) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `getFreshLN`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:297:12
[INFO] [stdout]     |
[INFO] [stdout] 297 |     pub fn getFreshLN(&self) -> (Name, TypeContext) {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:155:12
[INFO] [stdout]     |
[INFO] [stdout] 155 |     pub fn new(term: Rc<Term>, env: Rc<List<Rc<Value>>>) -> Closure {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `apply`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:159:12
[INFO] [stdout]     |
[INFO] [stdout] 159 |     pub fn apply(&self, x: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `check_type`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:303:8
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn check_type(&self, ty: Rc<Value>, ctx: TypeContext) -> Result<(), ()> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `subst`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:165:12
[INFO] [stdout]     |
[INFO] [stdout] 165 |     pub fn subst(&self, sub: Rc<Term>, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `typeTerm`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:315:8
[INFO] [stdout]     |
[INFO] [stdout] 315 |     fn typeTerm(&self, ctx: TypeContext) -> Result<Rc<Value>, ()> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `eval`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:192:12
[INFO] [stdout]     |
[INFO] [stdout] 192 |     pub fn eval(&self, env: Rc<List<Rc<Value>>>) -> Rc<Value> {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_eq`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:379:8
[INFO] [stdout]     |
[INFO] [stdout] 379 |     fn is_eq(&self, another: Rc<Value>) -> Result<(), ()> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `quote`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:237:12
[INFO] [stdout]     |
[INFO] [stdout] 237 |     pub fn quote(&self, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: crate `Lambda_Rubiks_Cube` should have a snake case name
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout]   = help: convert the identifier to snake case: `lambda_rubiks_cube`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `quote`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:260:12
[INFO] [stdout]     |
[INFO] [stdout] 260 |     pub fn quote(&self, ind: usize) -> Rc<Term> {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `lookupTy` should have a snake case name
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:85:12
[INFO] [stdout]    |
[INFO] [stdout] 85 |     pub fn lookupTy(&self, key: &A) -> Option<&B> {
[INFO] [stdout]    |            ^^^^^^^^ help: convert the identifier to snake case: `lookup_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `pushDecl`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:279:12
[INFO] [stdout]     |
[INFO] [stdout] 279 |     pub fn pushDecl(&self, n: Name, ty: Rc<Value>) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vStar` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn vStar() -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `v_star`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `lookupTy`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:286:12
[INFO] [stdout]     |
[INFO] [stdout] 286 |     pub fn lookupTy(&self, n: &Name) -> Option<Rc<Value>> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `pushBinder`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:290:12
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn pushBinder(&self) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vLam` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:112:4
[INFO] [stdout]     |
[INFO] [stdout] 112 | fn vLam(c: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^ help: convert the identifier to snake case: `v_lam`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `getFreshLN`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:297:12
[INFO] [stdout]     |
[INFO] [stdout] 297 |     pub fn getFreshLN(&self) -> (Name, TypeContext) {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vPi` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:116:4
[INFO] [stdout]     |
[INFO] [stdout] 116 | fn vPi(arg_type: Rc<Value>, res_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^ help: convert the identifier to snake case: `v_pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `check_type`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:303:8
[INFO] [stdout]     |
[INFO] [stdout] 303 |     fn check_type(&self, ty: Rc<Value>, ctx: TypeContext) -> Result<(), ()> {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vSi` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:120:4
[INFO] [stdout]     |
[INFO] [stdout] 120 | fn vSi(first_type: Rc<Value>, second_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^ help: convert the identifier to snake case: `v_si`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `typeTerm`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:315:8
[INFO] [stdout]     |
[INFO] [stdout] 315 |     fn typeTerm(&self, ctx: TypeContext) -> Result<Rc<Value>, ()> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `is_eq`
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:379:8
[INFO] [stdout]     |
[INFO] [stdout] 379 |     fn is_eq(&self, another: Rc<Value>) -> Result<(), ()> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vPair` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:124:4
[INFO] [stdout]     |
[INFO] [stdout] 124 | fn vPair(first: Rc<Value>, second: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `v_pair`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: crate `Lambda_Rubiks_Cube` should have a snake case name
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout]   = help: convert the identifier to snake case: `lambda_rubiks_cube`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vNeutral` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn vNeutral(n: Rc<Neutral>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^^^^ help: convert the identifier to snake case: `v_neutral`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `lookupTy` should have a snake case name
[INFO] [stdout]   --> src/interior_representation/abstract_syntax_tree.rs:85:12
[INFO] [stdout]    |
[INFO] [stdout] 85 |     pub fn lookupTy(&self, key: &A) -> Option<&B> {
[INFO] [stdout]    |            ^^^^^^^^ help: convert the identifier to snake case: `lookup_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nFree` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn nFree(n: Name) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `n_free`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nPair` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:142:4
[INFO] [stdout]     |
[INFO] [stdout] 142 | fn nPair(t: Rc<Neutral>, p: usize) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `n_pair`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vStar` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:108:4
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn vStar() -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `v_star`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nApp` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:146:4
[INFO] [stdout]     |
[INFO] [stdout] 146 | fn nApp(fun: Rc<Neutral>, arg: Rc<Value>) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^ help: convert the identifier to snake case: `n_app`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vLam` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:112:4
[INFO] [stdout]     |
[INFO] [stdout] 112 | fn vLam(c: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^ help: convert the identifier to snake case: `v_lam`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vPi` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:116:4
[INFO] [stdout]     |
[INFO] [stdout] 116 | fn vPi(arg_type: Rc<Value>, res_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^ help: convert the identifier to snake case: `v_pi`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pushDecl` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:279:12
[INFO] [stdout]     |
[INFO] [stdout] 279 |     pub fn pushDecl(&self, n: Name, ty: Rc<Value>) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^ help: convert the identifier to snake case: `push_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vSi` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:120:4
[INFO] [stdout]     |
[INFO] [stdout] 120 | fn vSi(first_type: Rc<Value>, second_type: Closure) -> Rc<Value> {
[INFO] [stdout]     |    ^^^ help: convert the identifier to snake case: `v_si`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `lookupTy` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:286:12
[INFO] [stdout]     |
[INFO] [stdout] 286 |     pub fn lookupTy(&self, n: &Name) -> Option<Rc<Value>> {
[INFO] [stdout]     |            ^^^^^^^^ help: convert the identifier to snake case: `lookup_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vPair` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:124:4
[INFO] [stdout]     |
[INFO] [stdout] 124 | fn vPair(first: Rc<Value>, second: Rc<Value>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `v_pair`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pushBinder` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:290:12
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn pushBinder(&self) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^^^ help: convert the identifier to snake case: `push_binder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `vNeutral` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:128:4
[INFO] [stdout]     |
[INFO] [stdout] 128 | fn vNeutral(n: Rc<Neutral>) -> Rc<Value> {
[INFO] [stdout]     |    ^^^^^^^^ help: convert the identifier to snake case: `v_neutral`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `getFreshLN` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:297:12
[INFO] [stdout]     |
[INFO] [stdout] 297 |     pub fn getFreshLN(&self) -> (Name, TypeContext) {
[INFO] [stdout]     |            ^^^^^^^^^^ help: convert the identifier to snake case: `get_fresh_ln`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nFree` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:138:4
[INFO] [stdout]     |
[INFO] [stdout] 138 | fn nFree(n: Name) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `n_free`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `typeTerm` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:315:8
[INFO] [stdout]     |
[INFO] [stdout] 315 |     fn typeTerm(&self, ctx: TypeContext) -> Result<Rc<Value>, ()> {
[INFO] [stdout]     |        ^^^^^^^^ help: convert the identifier to snake case: `type_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nPair` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:142:4
[INFO] [stdout]     |
[INFO] [stdout] 142 | fn nPair(t: Rc<Neutral>, p: usize) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^^ help: convert the identifier to snake case: `n_pair`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `nApp` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:146:4
[INFO] [stdout]     |
[INFO] [stdout] 146 | fn nApp(fun: Rc<Neutral>, arg: Rc<Value>) -> Rc<Neutral> {
[INFO] [stdout]     |    ^^^^ help: convert the identifier to snake case: `n_app`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pushDecl` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:279:12
[INFO] [stdout]     |
[INFO] [stdout] 279 |     pub fn pushDecl(&self, n: Name, ty: Rc<Value>) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^ help: convert the identifier to snake case: `push_decl`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `lookupTy` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:286:12
[INFO] [stdout]     |
[INFO] [stdout] 286 |     pub fn lookupTy(&self, n: &Name) -> Option<Rc<Value>> {
[INFO] [stdout]     |            ^^^^^^^^ help: convert the identifier to snake case: `lookup_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `pushBinder` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:290:12
[INFO] [stdout]     |
[INFO] [stdout] 290 |     pub fn pushBinder(&self) -> TypeContext {
[INFO] [stdout]     |            ^^^^^^^^^^ help: convert the identifier to snake case: `push_binder`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `getFreshLN` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:297:12
[INFO] [stdout]     |
[INFO] [stdout] 297 |     pub fn getFreshLN(&self) -> (Name, TypeContext) {
[INFO] [stdout]     |            ^^^^^^^^^^ help: convert the identifier to snake case: `get_fresh_ln`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `typeTerm` should have a snake case name
[INFO] [stdout]    --> src/interior_representation/abstract_syntax_tree.rs:315:8
[INFO] [stdout]     |
[INFO] [stdout] 315 |     fn typeTerm(&self, ctx: TypeContext) -> Result<Rc<Value>, ()> {
[INFO] [stdout]     |        ^^^^^^^^ help: convert the identifier to snake case: `type_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 81 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 81 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 13.04s
[INFO] running `Command { std: "docker" "inspect" "b600e45e2d9a61ae397dc61783911b876203b17661ee1ec60c39344096a02e26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b600e45e2d9a61ae397dc61783911b876203b17661ee1ec60c39344096a02e26", kill_on_drop: false }`
[INFO] [stdout] b600e45e2d9a61ae397dc61783911b876203b17661ee1ec60c39344096a02e26