[INFO] cloning repository https://github.com/weirdev/AbsMachRs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/weirdev/AbsMachRs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fweirdev%2FAbsMachRs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fweirdev%2FAbsMachRs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f99148d9ffccde745939b61447206665e9f8df4a
[INFO] testing weirdev/AbsMachRs against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fweirdev%2FAbsMachRs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/weirdev/AbsMachRs
[INFO] finished tweaking git repo https://github.com/weirdev/AbsMachRs
[INFO] tweaked toml for git repo https://github.com/weirdev/AbsMachRs written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/weirdev/AbsMachRs on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/weirdev/AbsMachRs 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0c707f1b2a1ba1c3104aa89aae2b357645e669109eeeac0a05e18259f536148b
[INFO] running `Command { std: "docker" "start" "-a" "0c707f1b2a1ba1c3104aa89aae2b357645e669109eeeac0a05e18259f536148b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0c707f1b2a1ba1c3104aa89aae2b357645e669109eeeac0a05e18259f536148b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c707f1b2a1ba1c3104aa89aae2b357645e669109eeeac0a05e18259f536148b", kill_on_drop: false }`
[INFO] [stdout] 0c707f1b2a1ba1c3104aa89aae2b357645e669109eeeac0a05e18259f536148b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3c7abbf0c6b9ae83a898b24298b88a0a1b5df532077f85fe4a693ff0225ee00d
[INFO] running `Command { std: "docker" "start" "-a" "3c7abbf0c6b9ae83a898b24298b88a0a1b5df532077f85fe4a693ff0225ee00d", kill_on_drop: false }`
[INFO] [stderr]    Compiling lam_term v0.1.0 (/opt/rustwide/workdir/lam_term)
[INFO] [stderr]    Compiling krivine v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `testterm1`
[INFO] [stdout]  --> src/main.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use lam_term::{testterm1, LamTerm};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `addterm` is never used
[INFO] [stdout]   --> src/main.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn addterm(term: Vec<u8>, mut terms: Vec<u8>) -> usize {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `secd_compute` is never used
[INFO] [stdout]    --> src/binlam.rs:169:8
[INFO] [stdout]     |
[INFO] [stdout] 169 | pub fn secd_compute<'a>(term: &'a Vec<usize>) -> Result<((usize, Vec<(isize, usize)>, Vec<(usize, isize)>), usize), &'a str> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `termseq` is never used
[INFO] [stdout]    --> src/binlam.rs:243:4
[INFO] [stdout]     |
[INFO] [stdout] 243 | fn termseq(termstart: usize, termbuffer: &[usize]) -> Vec<isize> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/rslam.rs:24:52
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stdout]    |                               --                   ^^^^^^^                          -- the same lifetime is named here
[INFO] [stdout]    |                               |                    |
[INFO] [stdout]    |                               |                    the same lifetime is hidden here
[INFO] [stdout]    |                               the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure<'a>, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stdout]    |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/rslam.rs:108:82
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure>), usize) {
[INFO] [stdout]     |                            -- the lifetime is named here                         ^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure<'a>>), usize) {
[INFO] [stdout]     |                                                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/rslam.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement> {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^         ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |
[INFO] [stdout]     |                  the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement<'_>> {
[INFO] [stdout]     |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/binlam.rs:119:101
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&[usize], isize)>)>), usize), &'a str> {
[INFO] [stdout]     |               --                           --                                   ^^^^^^^^                       -- the same lifetime is named here
[INFO] [stdout]     |               |                            |                                    |
[INFO] [stdout]     |               |                            the same lifetime is named here      the same lifetime is elided here
[INFO] [stdout]     |               the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn kirvine_compute<'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&'a [usize], isize)>)>), usize), &'a str> {
[INFO] [stdout]     |                                                                                                      ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.78s
[INFO] running `Command { std: "docker" "inspect" "3c7abbf0c6b9ae83a898b24298b88a0a1b5df532077f85fe4a693ff0225ee00d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3c7abbf0c6b9ae83a898b24298b88a0a1b5df532077f85fe4a693ff0225ee00d", kill_on_drop: false }`
[INFO] [stdout] 3c7abbf0c6b9ae83a898b24298b88a0a1b5df532077f85fe4a693ff0225ee00d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ef07ce325e395a02a4a1e1f5eb203b721f61176548227053becaf97669bdb48e
[INFO] running `Command { std: "docker" "start" "-a" "ef07ce325e395a02a4a1e1f5eb203b721f61176548227053becaf97669bdb48e", kill_on_drop: false }`
[INFO] [stderr]    Compiling krivine v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `testterm1`
[INFO] [stdout]  --> src/main.rs:8:16
[INFO] [stdout]   |
[INFO] [stdout] 8 | use lam_term::{testterm1, LamTerm};
[INFO] [stdout]   |                ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `addterm` is never used
[INFO] [stdout]   --> src/main.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn addterm(term: Vec<u8>, mut terms: Vec<u8>) -> usize {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `secd_compute` is never used
[INFO] [stdout]    --> src/binlam.rs:169:8
[INFO] [stdout]     |
[INFO] [stdout] 169 | pub fn secd_compute<'a>(term: &'a Vec<usize>) -> Result<((usize, Vec<(isize, usize)>, Vec<(usize, isize)>), usize), &'a str> {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `termseq` is never used
[INFO] [stdout]    --> src/binlam.rs:243:4
[INFO] [stdout]     |
[INFO] [stdout] 243 | fn termseq(termstart: usize, termbuffer: &[usize]) -> Vec<isize> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]   --> src/rslam.rs:24:52
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stdout]    |                               --                   ^^^^^^^                          -- the same lifetime is named here
[INFO] [stdout]    |                               |                    |
[INFO] [stdout]    |                               |                    the same lifetime is hidden here
[INFO] [stdout]    |                               the lifetime is named here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure<'a>, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stdout]    |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/rslam.rs:108:82
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure>), usize) {
[INFO] [stdout]     |                            -- the lifetime is named here                         ^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure<'a>>), usize) {
[INFO] [stdout]     |                                                                                         ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/rslam.rs:220:18
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement> {
[INFO] [stdout]     |                  ^^^^^^^^^^^^^         ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                  |
[INFO] [stdout]     |                  the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement<'_>> {
[INFO] [stdout]     |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/binlam.rs:119:101
[INFO] [stdout]     |
[INFO] [stdout] 119 | ...'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&[usize], isize)>)>), usize), &'a str> {
[INFO] [stdout]     |               --                           --                                   ^^^^^^^^                       -- the same lifetime is named here
[INFO] [stdout]     |               |                            |                                    |
[INFO] [stdout]     |               |                            the same lifetime is named here      the same lifetime is elided here
[INFO] [stdout]     |               the lifetime is named here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 119 | pub fn kirvine_compute<'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&'a [usize], isize)>)>), usize), &'a str> {
[INFO] [stdout]     |                                                                                                      ++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.40s
[INFO] running `Command { std: "docker" "inspect" "ef07ce325e395a02a4a1e1f5eb203b721f61176548227053becaf97669bdb48e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ef07ce325e395a02a4a1e1f5eb203b721f61176548227053becaf97669bdb48e", kill_on_drop: false }`
[INFO] [stdout] ef07ce325e395a02a4a1e1f5eb203b721f61176548227053becaf97669bdb48e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 35f141ff1c76691acce89e4b48d9068f4974d344a658c20116f7ea3c8136b948
[INFO] running `Command { std: "docker" "start" "-a" "35f141ff1c76691acce89e4b48d9068f4974d344a658c20116f7ea3c8136b948", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `testterm1`
[INFO] [stderr]  --> src/main.rs:8:16
[INFO] [stderr]   |
[INFO] [stderr] 8 | use lam_term::{testterm1, LamTerm};
[INFO] [stderr]   |                ^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `addterm` is never used
[INFO] [stderr]   --> src/main.rs:41:4
[INFO] [stderr]    |
[INFO] [stderr] 41 | fn addterm(term: Vec<u8>, mut terms: Vec<u8>) -> usize {
[INFO] [stderr]    |    ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `secd_compute` is never used
[INFO] [stderr]    --> src/binlam.rs:169:8
[INFO] [stderr]     |
[INFO] [stderr] 169 | pub fn secd_compute<'a>(term: &'a Vec<usize>) -> Result<((usize, Vec<(isize, usize)>, Vec<(usize, isize)>), usize), &'a str> {
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `termseq` is never used
[INFO] [stderr]    --> src/binlam.rs:243:4
[INFO] [stderr]     |
[INFO] [stderr] 243 | fn termseq(termstart: usize, termbuffer: &[usize]) -> Vec<isize> {
[INFO] [stderr]     |    ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stderr]   --> src/rslam.rs:24:52
[INFO] [stderr]    |
[INFO] [stderr] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stderr]    |                               --                   ^^^^^^^                          -- the same lifetime is named here
[INFO] [stderr]    |                               |                    |
[INFO] [stderr]    |                               |                    the same lifetime is hidden here
[INFO] [stderr]    |                               the lifetime is named here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: consistently use `'a`
[INFO] [stderr]    |
[INFO] [stderr] 24 | fn krivine_compute<'a>(term: &'a Box<LamTerm>) -> (Closure<'a>, Vec<(isize, Vec<Closure<'a>>)>, usize) {
[INFO] [stderr]    |                                                           ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stderr]    --> src/rslam.rs:108:82
[INFO] [stderr]     |
[INFO] [stderr] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure>), usize) {
[INFO] [stderr]     |                            -- the lifetime is named here                         ^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: consistently use `'a`
[INFO] [stderr]     |
[INFO] [stderr] 108 | fn secd_compute<'a>(term: &'a Box<LamTerm>) -> ((usize, Vec<(isize, usize)>, Vec<Closure<'a>>), usize) {
[INFO] [stderr]     |                                                                                         ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/rslam.rs:220:18
[INFO] [stderr]     |
[INFO] [stderr] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement> {
[INFO] [stderr]     |                  ^^^^^^^^^^^^^         ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                  |
[INFO] [stderr]     |                  the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 220 | fn termseq(term: &Box<LamTerm>) -> Vec<ControlElement<'_>> {
[INFO] [stderr]     |                                                      ++++
[INFO] [stderr] 
[INFO] [stderr] warning: eliding a lifetime that's named elsewhere is confusing
[INFO] [stderr]    --> src/binlam.rs:119:101
[INFO] [stderr]     |
[INFO] [stderr] 119 | ...'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&[usize], isize)>)>), usize), &'a str> {
[INFO] [stderr]     |               --                           --                                   ^^^^^^^^                       -- the same lifetime is named here
[INFO] [stderr]     |               |                            |                                    |
[INFO] [stderr]     |               |                            the same lifetime is named here      the same lifetime is elided here
[INFO] [stderr]     |               the lifetime is named here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: consistently use `'a`
[INFO] [stderr]     |
[INFO] [stderr] 119 | pub fn kirvine_compute<'a>(term: &'a Vec<usize>) -> Result<(((&'a [usize], isize), Vec<(isize, Vec<(&'a [usize], isize)>)>), usize), &'a str> {
[INFO] [stderr]     |                                                                                                      ++
[INFO] [stderr] 
[INFO] [stderr] warning: `krivine` (bin "krivine" test) generated 8 warnings (run `cargo fix --bin "krivine" -p krivine --tests` to apply 5 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/krivine-6fa2f991919ac52c)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "35f141ff1c76691acce89e4b48d9068f4974d344a658c20116f7ea3c8136b948", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "35f141ff1c76691acce89e4b48d9068f4974d344a658c20116f7ea3c8136b948", kill_on_drop: false }`
[INFO] [stdout] 35f141ff1c76691acce89e4b48d9068f4974d344a658c20116f7ea3c8136b948
