[INFO] fetching crate formality 0.1.11...
[INFO] testing formality-0.1.11 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7
[INFO] extracting crate formality 0.1.11 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate formality 0.1.11
[INFO] finished tweaking crates.io crate formality 0.1.11
[INFO] tweaked toml for crates.io crate formality 0.1.11 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate formality 0.1.11 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 14 packages to latest compatible versions
[INFO] [stderr]       Adding clap v2.34.0 (available: v4.5.51)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 075e6834439dd5d11a79bf45c3c145ff47d35384604b5b45ee3579184df9fa56
[INFO] running `Command { std: "docker" "start" "-a" "075e6834439dd5d11a79bf45c3c145ff47d35384604b5b45ee3579184df9fa56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "075e6834439dd5d11a79bf45c3c145ff47d35384604b5b45ee3579184df9fa56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "075e6834439dd5d11a79bf45c3c145ff47d35384604b5b45ee3579184df9fa56", kill_on_drop: false }`
[INFO] [stdout] 075e6834439dd5d11a79bf45c3c145ff47d35384604b5b45ee3579184df9fa56
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 46516dd151559012cbdac4ed4a14908c6f73b1970c5b46321d077e051c3f2735
[INFO] running `Command { std: "docker" "start" "-a" "46516dd151559012cbdac4ed4a14908c6f73b1970c5b46321d077e051c3f2735", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling symmetric-interaction-calculus v0.1.8
[INFO] [stderr]    Compiling formality v0.1.11 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:22
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:22
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:31
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                               ----^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:391:33
[INFO] [stdout]     |
[INFO] [stdout] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stdout]     |                           ----^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:21
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                     ----^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:30
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                              ----^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:721:25
[INFO] [stdout]     |
[INFO] [stdout] 721 |                     let mut arg_n = arg.clone();
[INFO] [stdout]     |                         ----^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:822:17
[INFO] [stdout]     |
[INFO] [stdout] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stdout]     |                 ----^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:823:17
[INFO] [stdout]     |
[INFO] [stdout] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:824:17
[INFO] [stdout]     |
[INFO] [stdout] 824 |             let mut idx = idt_fxs.1;
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:841:17
[INFO] [stdout]     |
[INFO] [stdout] 841 |             let mut fold_typ : Term = All{
[INFO] [stdout]     |                 ----^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:629:25
[INFO] [stdout]     |
[INFO] [stdout] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stdout]     |                         ----^^^^^^^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:645:29
[INFO] [stdout]     |
[INFO] [stdout] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stdout]     |                             ----^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/term.rs:447:32
[INFO] [stdout]     |
[INFO] [stdout] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> src/term.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     std::mem::replace(term, new_term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:22
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:22
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:31
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                               ----^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:391:33
[INFO] [stdout]     |
[INFO] [stdout] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stdout]     |                           ----^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:21
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                     ----^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:30
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                              ----^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:721:25
[INFO] [stdout]     |
[INFO] [stdout] 721 |                     let mut arg_n = arg.clone();
[INFO] [stdout]     |                         ----^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:822:17
[INFO] [stdout]     |
[INFO] [stdout] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stdout]     |                 ----^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:823:17
[INFO] [stdout]     |
[INFO] [stdout] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:824:17
[INFO] [stdout]     |
[INFO] [stdout] 824 |             let mut idx = idt_fxs.1;
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:841:17
[INFO] [stdout]     |
[INFO] [stdout] 841 |             let mut fold_typ : Term = All{
[INFO] [stdout]     |                 ----^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:629:25
[INFO] [stdout]     |
[INFO] [stdout] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stdout]     |                         ----^^^^^^^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:645:29
[INFO] [stdout]     |
[INFO] [stdout] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stdout]     |                             ----^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/term.rs:447:32
[INFO] [stdout]     |
[INFO] [stdout] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> src/term.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     std::mem::replace(term, new_term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.76s
[INFO] running `Command { std: "docker" "inspect" "46516dd151559012cbdac4ed4a14908c6f73b1970c5b46321d077e051c3f2735", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "46516dd151559012cbdac4ed4a14908c6f73b1970c5b46321d077e051c3f2735", kill_on_drop: false }`
[INFO] [stdout] 46516dd151559012cbdac4ed4a14908c6f73b1970c5b46321d077e051c3f2735
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1bed1611ff6794c783485fe20cd090dd42e1694b4acb90289984ee580039baae
[INFO] running `Command { std: "docker" "start" "-a" "1bed1611ff6794c783485fe20cd090dd42e1694b4acb90289984ee580039baae", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling formality v0.1.11 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:22
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:22
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:31
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                               ----^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:391:33
[INFO] [stdout]     |
[INFO] [stdout] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stdout]     |                           ----^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:21
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                     ----^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:30
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                              ----^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:721:25
[INFO] [stdout]     |
[INFO] [stdout] 721 |                     let mut arg_n = arg.clone();
[INFO] [stdout]     |                         ----^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:822:17
[INFO] [stdout]     |
[INFO] [stdout] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stdout]     |                 ----^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:823:17
[INFO] [stdout]     |
[INFO] [stdout] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:824:17
[INFO] [stdout]     |
[INFO] [stdout] 824 |             let mut idx = idt_fxs.1;
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:841:17
[INFO] [stdout]     |
[INFO] [stdout] 841 |             let mut fold_typ : Term = All{
[INFO] [stdout]     |                 ----^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:629:25
[INFO] [stdout]     |
[INFO] [stdout] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stdout]     |                         ----^^^^^^^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:645:29
[INFO] [stdout]     |
[INFO] [stdout] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stdout]     |                             ----^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/term.rs:447:32
[INFO] [stdout]     |
[INFO] [stdout] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> src/term.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     std::mem::replace(term, new_term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:22
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:22
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:31
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                               ----^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:391:33
[INFO] [stdout]     |
[INFO] [stdout] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stdout]     |                           ----^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:21
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                     ----^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:30
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                              ----^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:721:25
[INFO] [stdout]     |
[INFO] [stdout] 721 |                     let mut arg_n = arg.clone();
[INFO] [stdout]     |                         ----^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:822:17
[INFO] [stdout]     |
[INFO] [stdout] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stdout]     |                 ----^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:823:17
[INFO] [stdout]     |
[INFO] [stdout] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:824:17
[INFO] [stdout]     |
[INFO] [stdout] 824 |             let mut idx = idt_fxs.1;
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:841:17
[INFO] [stdout]     |
[INFO] [stdout] 841 |             let mut fold_typ : Term = All{
[INFO] [stdout]     |                 ----^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:629:25
[INFO] [stdout]     |
[INFO] [stdout] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stdout]     |                         ----^^^^^^^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:645:29
[INFO] [stdout]     |
[INFO] [stdout] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stdout]     |                             ----^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:13
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:363:22
[INFO] [stdout]     |
[INFO] [stdout] 363 |         App{mut fun, mut arg} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:13
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |             ----^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:22
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                      ----^^^
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:376:31
[INFO] [stdout]     |
[INFO] [stdout] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stdout]     |                               ----^^^
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:391:33
[INFO] [stdout]     |
[INFO] [stdout] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stdout]     |                           ----^^^^^^^^
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:21
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                     ----^^^
[INFO] [stdout]     |                     |
[INFO] [stdout]     |                     help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:432:30
[INFO] [stdout]     |
[INFO] [stdout] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stdout]     |                              ----^^^
[INFO] [stdout]     |                              |
[INFO] [stdout]     |                              help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/term.rs:447:32
[INFO] [stdout]     |
[INFO] [stdout] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> src/term.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     std::mem::replace(term, new_term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:721:25
[INFO] [stdout]     |
[INFO] [stdout] 721 |                     let mut arg_n = arg.clone();
[INFO] [stdout]     |                         ----^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:822:17
[INFO] [stdout]     |
[INFO] [stdout] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stdout]     |                 ----^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:823:17
[INFO] [stdout]     |
[INFO] [stdout] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:824:17
[INFO] [stdout]     |
[INFO] [stdout] 824 |             let mut idx = idt_fxs.1;
[INFO] [stdout]     |                 ----^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/term.rs:841:17
[INFO] [stdout]     |
[INFO] [stdout] 841 |             let mut fold_typ : Term = All{
[INFO] [stdout]     |                 ----^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:629:25
[INFO] [stdout]     |
[INFO] [stdout] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stdout]     |                         ----^^^^^^^^^^^
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/syntax.rs:645:29
[INFO] [stdout]     |
[INFO] [stdout] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stdout]     |                             ----^^^^^^^
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: panic message is not a string literal
[INFO] [stdout]    --> src/term.rs:447:32
[INFO] [stdout]     |
[INFO] [stdout] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stdout]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stdout]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: remove the `format!(..)` macro call
[INFO] [stdout]     |
[INFO] [stdout] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stdout] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stdout]    --> src/term.rs:456:5
[INFO] [stdout]     |
[INFO] [stdout] 456 |     std::mem::replace(term, new_term);
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stdout]     |     +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.74s
[INFO] running `Command { std: "docker" "inspect" "1bed1611ff6794c783485fe20cd090dd42e1694b4acb90289984ee580039baae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1bed1611ff6794c783485fe20cd090dd42e1694b4acb90289984ee580039baae", kill_on_drop: false }`
[INFO] [stdout] 1bed1611ff6794c783485fe20cd090dd42e1694b4acb90289984ee580039baae
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1c55e2374fff8bf218977cd6391064157b69a8d171d048f617790ba9af301eee
[INFO] running `Command { std: "docker" "start" "-a" "1c55e2374fff8bf218977cd6391064157b69a8d171d048f617790ba9af301eee", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:363:13
[INFO] [stderr]     |
[INFO] [stderr] 363 |         App{mut fun, mut arg} => {
[INFO] [stderr]     |             ----^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:363:22
[INFO] [stderr]     |
[INFO] [stderr] 363 |         App{mut fun, mut arg} => {
[INFO] [stderr]     |                      ----^^^
[INFO] [stderr]     |                      |
[INFO] [stderr]     |                      help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:376:13
[INFO] [stderr]     |
[INFO] [stderr] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stderr]     |             ----^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:376:22
[INFO] [stderr]     |
[INFO] [stderr] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stderr]     |                      ----^^^
[INFO] [stderr]     |                      |
[INFO] [stderr]     |                      help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:376:31
[INFO] [stderr]     |
[INFO] [stderr] 376 |         Cas{mut val, mut ret, mut cas} => {
[INFO] [stderr]     |                               ----^^^
[INFO] [stderr]     |                               |
[INFO] [stderr]     |                               help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:391:33
[INFO] [stderr]     |
[INFO] [stderr] 391 | ...                   let mut fold_fun = Lam{
[INFO] [stderr]     |                           ----^^^^^^^^
[INFO] [stderr]     |                           |
[INFO] [stderr]     |                           help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:432:21
[INFO] [stderr]     |
[INFO] [stderr] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stderr]     |                     ----^^^
[INFO] [stderr]     |                     |
[INFO] [stderr]     |                     help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:432:30
[INFO] [stderr]     |
[INFO] [stderr] 432 |         Cpy{nam: _, mut val, mut bod} => {
[INFO] [stderr]     |                              ----^^^
[INFO] [stderr]     |                              |
[INFO] [stderr]     |                              help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:721:25
[INFO] [stderr]     |
[INFO] [stderr] 721 |                     let mut arg_n = arg.clone();
[INFO] [stderr]     |                         ----^^^^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:822:17
[INFO] [stderr]     |
[INFO] [stderr] 822 |             let mut idt_fxs = get_fun_args(&val_typ);
[INFO] [stderr]     |                 ----^^^^^^^
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:823:17
[INFO] [stderr]     |
[INFO] [stderr] 823 |             let mut idt = weak_reduced(&idt_fxs.0, defs, true);
[INFO] [stderr]     |                 ----^^^
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:824:17
[INFO] [stderr]     |
[INFO] [stderr] 824 |             let mut idx = idt_fxs.1;
[INFO] [stderr]     |                 ----^^^
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/term.rs:841:17
[INFO] [stderr]     |
[INFO] [stderr] 841 |             let mut fold_typ : Term = All{
[INFO] [stderr]     |                 ----^^^^^^^^
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/syntax.rs:629:25
[INFO] [stderr]     |
[INFO] [stderr] 629 |                     let mut ret_arg_nam = rename(&ret.0[i], vars);
[INFO] [stderr]     |                         ----^^^^^^^^^^^
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/syntax.rs:645:29
[INFO] [stderr]     |
[INFO] [stderr] 645 |                         let mut arg_nam = rename(&arg[i], vars);
[INFO] [stderr]     |                             ----^^^^^^^
[INFO] [stderr]     |                             |
[INFO] [stderr]     |                             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: panic message is not a string literal
[INFO] [stderr]    --> src/term.rs:447:32
[INFO] [stderr]     |
[INFO] [stderr] 447 |                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stderr]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this usage of `panic!()` is deprecated; it will be a hard error in Rust 2021
[INFO] [stderr]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/panic-macro-consistency.html>
[INFO] [stderr]     = note: the `panic!()` macro supports formatting, so there's no need for the `format!()` macro here
[INFO] [stderr]     = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stderr] help: remove the `format!(..)` macro call
[INFO] [stderr]     |
[INFO] [stderr] 447 -                         panic!(format!("Unbound variable: {}.", String::from_utf8_lossy(&nam)))
[INFO] [stderr] 447 +                         panic!("Unbound variable: {}.", String::from_utf8_lossy(&nam))
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: unused return value of `std::mem::replace` that must be used
[INFO] [stderr]    --> src/term.rs:456:5
[INFO] [stderr]     |
[INFO] [stderr] 456 |     std::mem::replace(term, new_term);
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: if you don't need the old value, you can just assign the new value directly
[INFO] [stderr]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 456 |     let _ = std::mem::replace(term, new_term);
[INFO] [stderr]     |     +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `formality` (lib) generated 17 warnings (run `cargo fix --lib -p formality` to apply 16 suggestions)
[INFO] [stderr] warning: `formality` (lib test) generated 17 warnings (17 duplicates)
[INFO] [stderr] warning: `formality` (bin "formality" test) generated 17 warnings (17 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/formality-611ec63dd80b5ef2)
[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] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/formality-c64bc797aac39772)
[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] [stderr]    Doc-tests formality
[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" "1c55e2374fff8bf218977cd6391064157b69a8d171d048f617790ba9af301eee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c55e2374fff8bf218977cd6391064157b69a8d171d048f617790ba9af301eee", kill_on_drop: false }`
[INFO] [stdout] 1c55e2374fff8bf218977cd6391064157b69a8d171d048f617790ba9af301eee
