[INFO] crate formality 0.1.11 is already in cache
[INFO] extracting crate formality 0.1.11 into work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/formality/0.1.11
[INFO] extracting crate formality 0.1.11 into work/ex/pr-60914/sources/try#f45cc3094ee337acd688771b9234318046b0572d/reg/formality/0.1.11
[INFO] validating manifest of formality-0.1.11 on toolchain master#39401465da4ce27aeeb2c2a26133ac35c63aa515
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of formality-0.1.11 on toolchain try#f45cc3094ee337acd688771b9234318046b0572d
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing formality-0.1.11
[INFO] finished frobbing formality-0.1.11
[INFO] frobbed toml for formality-0.1.11 written to work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/formality/0.1.11/Cargo.toml
[INFO] started frobbing formality-0.1.11
[INFO] finished frobbing formality-0.1.11
[INFO] frobbed toml for formality-0.1.11 written to work/ex/pr-60914/sources/try#f45cc3094ee337acd688771b9234318046b0572d/reg/formality/0.1.11/Cargo.toml
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+f45cc3094ee337acd688771b9234318046b0572d-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking formality-0.1.11 against master#39401465da4ce27aeeb2c2a26133ac35c63aa515 for pr-60914
[INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-60914/worker-3/master#39401465da4ce27aeeb2c2a26133ac35c63aa515:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-60914/sources/master#39401465da4ce27aeeb2c2a26133ac35c63aa515/reg/formality/0.1.11:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+39401465da4ce27aeeb2c2a26133ac35c63aa515-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] a9fd5e657bb5c75f054faeb27f843bfd3fc69bd5be8f408223373460894e9852
[INFO] running `"docker" "start" "-a" "a9fd5e657bb5c75f054faeb27f843bfd3fc69bd5be8f408223373460894e9852"`
[INFO] [stderr]     Checking symmetric-interaction-calculus v0.1.8
[INFO] [stderr]     Checking formality v0.1.11 (/opt/crater/workdir)
[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)] 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: 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)] 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: 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)] 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/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)] 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/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: 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]     Finished dev [unoptimized + debuginfo] target(s) in 5.18s
[INFO] running `"docker" "inspect" "a9fd5e657bb5c75f054faeb27f843bfd3fc69bd5be8f408223373460894e9852"`
[INFO] running `"docker" "rm" "-f" "a9fd5e657bb5c75f054faeb27f843bfd3fc69bd5be8f408223373460894e9852"`
[INFO] [stdout] a9fd5e657bb5c75f054faeb27f843bfd3fc69bd5be8f408223373460894e9852