[INFO] fetching crate rem-command-line 0.1.0...
[INFO] checking rem-command-line-0.1.0 against master#dc375db7d8df0aa450e622c529147c95eee756f5 for pr-156749
[INFO] extracting crate rem-command-line 0.1.0 into /workspace/builds/worker-3-tc1/source
[INFO] removed /workspace/builds/worker-3-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate rem-command-line 0.1.0
[INFO] finished tweaking crates.io crate rem-command-line 0.1.0
[INFO] tweaked toml for crates.io crate rem-command-line 0.1.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate rem-command-line 0.1.0 on toolchain dc375db7d8df0aa450e622c529147c95eee756f5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dc375db7d8df0aa450e622c529147c95eee756f5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rem-command-line 0.1.0 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" "+dc375db7d8df0aa450e622c529147c95eee756f5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded config v0.15.9
[INFO] [stderr]   Downloaded rem-utils v0.1.6
[INFO] [stderr]   Downloaded foldhash v0.1.4
[INFO] [stderr]   Downloaded rem-verification v0.1.0
[INFO] [stderr]   Downloaded string_cache v0.8.8
[INFO] [stderr]   Downloaded clap_derive v4.5.28
[INFO] [stderr]   Downloaded jod-thread v0.1.2
[INFO] [stderr]   Downloaded ra_ap_vfs v0.0.262
[INFO] [stderr]   Downloaded clap v4.5.31
[INFO] [stderr]   Downloaded ra_ap_edition v0.0.262
[INFO] [stderr]   Downloaded ra_ap_paths v0.0.262
[INFO] [stderr]   Downloaded tenthash v1.0.0
[INFO] [stderr]   Downloaded miow v0.6.0
[INFO] [stderr]   Downloaded smol_str v0.3.2
[INFO] [stderr]   Downloaded cov-mark v2.0.0
[INFO] [stderr]   Downloaded time-core v0.1.3
[INFO] [stderr]   Downloaded protobuf-support v3.7.1
[INFO] [stderr]   Downloaded drop_bomb v0.1.5
[INFO] [stderr]   Downloaded la-arena v0.3.1
[INFO] [stderr]   Downloaded ra_ap_cfg v0.0.262
[INFO] [stderr]   Downloaded ra_ap_salsa-macros v0.0.262
[INFO] [stderr]   Downloaded ra_ap_profile v0.0.262
[INFO] [stderr]   Downloaded chalk-derive v0.99.0
[INFO] [stderr]   Downloaded ra-ap-rustc_index_macros v0.91.0
[INFO] [stderr]   Downloaded ra_ap_limit v0.0.262
[INFO] [stderr]   Downloaded xflags-macros v0.3.2
[INFO] [stderr]   Downloaded xflags v0.3.2
[INFO] [stderr]   Downloaded oorandom v11.1.4
[INFO] [stderr]   Downloaded ra_ap_vfs-notify v0.0.262
[INFO] [stderr]   Downloaded ra_ap_intern v0.0.262
[INFO] [stderr]   Downloaded ra_ap_tt v0.0.262
[INFO] [stderr]   Downloaded ra_ap_toolchain v0.0.262
[INFO] [stderr]   Downloaded line-index v0.1.2
[INFO] [stderr]   Downloaded ra-ap-rustc_parse_format v0.91.0
[INFO] [stderr]   Downloaded rem-repairer v0.1.3
[INFO] [stderr]   Downloaded rustfix v0.9.0
[INFO] [stderr]   Downloaded ra_ap_stdx v0.0.262
[INFO] [stderr]   Downloaded rowan v0.15.15
[INFO] [stderr]   Downloaded ra-ap-rustc_lexer v0.91.0
[INFO] [stderr]   Downloaded windows-interface v0.59.0
[INFO] [stderr]   Downloaded windows-result v0.3.1
[INFO] [stderr]   Downloaded mktemp v0.4.1
[INFO] [stderr]   Downloaded rem-constraint v0.1.3
[INFO] [stderr]   Downloaded async-trait v0.1.86
[INFO] [stderr]   Downloaded always-assert v0.2.0
[INFO] [stderr]   Downloaded ra_ap_span v0.0.262
[INFO] [stderr]   Downloaded ra_ap_base_db v0.0.262
[INFO] [stderr]   Downloaded perf-event-open-sys v1.0.1
[INFO] [stderr]   Downloaded ra_ap_proc_macro_api v0.0.262
[INFO] [stderr]   Downloaded ra_ap_load-cargo v0.0.262
[INFO] [stderr]   Downloaded perf-event v0.4.7
[INFO] [stderr]   Downloaded ra_ap_syntax-bridge v0.0.262
[INFO] [stderr]   Downloaded tracing-tree v0.3.1
[INFO] [stderr]   Downloaded time-macros v0.2.20
[INFO] [stderr]   Downloaded ra-ap-rustc_index v0.91.0
[INFO] [stderr]   Downloaded pulldown-cmark-to-cmark v10.0.4
[INFO] [stderr]   Downloaded lsp-server v0.7.8
[INFO] [stderr]   Downloaded dot v0.1.4
[INFO] [stderr]   Downloaded rem-controller v0.1.4
[INFO] [stderr]   Downloaded rem-borrower v0.1.4
[INFO] [stderr]   Downloaded rem-extract v0.1.3
[INFO] [stderr]   Downloaded ra_ap_ide_ssr v0.0.262
[INFO] [stderr]   Downloaded ra_ap_mbe v0.0.262
[INFO] [stderr]   Downloaded chalk-recursive v0.99.0
[INFO] [stderr]   Downloaded ra-ap-rustc_abi v0.91.0
[INFO] [stderr]   Downloaded dissimilar v1.0.10
[INFO] [stderr]   Downloaded notify v8.0.0
[INFO] [stderr]   Downloaded ra-ap-rustc_pattern_analysis v0.91.0
[INFO] [stderr]   Downloaded scip v0.5.2
[INFO] [stderr]   Downloaded ra_ap_salsa v0.0.262
[INFO] [stderr]   Downloaded rustc_apfloat v0.2.2+llvm-462a31f5a5ab
[INFO] [stderr]   Downloaded ra_ap_hir_expand v0.0.262
[INFO] [stderr]   Downloaded chalk-ir v0.99.0
[INFO] [stderr]   Downloaded ra_ap_syntax v0.0.262
[INFO] [stderr]   Downloaded lsp-types v0.95.0
[INFO] [stderr]   Downloaded openssl-sys v0.9.105
[INFO] [stderr]   Downloaded ra_ap_project_model v0.0.262
[INFO] [stderr]   Downloaded chalk-solve v0.99.0
[INFO] [stderr]   Downloaded cc v1.2.13
[INFO] [stderr]   Downloaded ra_ap_parser v0.0.262
[INFO] [stderr]   Downloaded ra_ap_ide_diagnostics v0.0.262
[INFO] [stderr]   Downloaded time v0.3.38
[INFO] [stderr]   Downloaded clap_builder v4.5.31
[INFO] [stderr]   Downloaded ra_ap_hir v0.0.262
[INFO] [stderr]   Downloaded ra_ap_ide_completion v0.0.262
[INFO] [stderr]   Downloaded winnow v0.7.1
[INFO] [stderr]   Downloaded process-wrap v8.2.0
[INFO] [stderr]   Downloaded protobuf v3.7.1
[INFO] [stderr]   Downloaded ra_ap_rust-analyzer v0.0.262
[INFO] [stderr]   Downloaded flexi_logger v0.29.8
[INFO] [stderr]   Downloaded ra_ap_ide_db v0.0.262
[INFO] [stderr]   Downloaded git2 v0.20.0
[INFO] [stderr]   Downloaded ra_ap_hir_def v0.0.262
[INFO] [stderr]   Downloaded ra_ap_ide v0.0.262
[INFO] [stderr]   Downloaded ra_ap_ide_assists v0.0.262
[INFO] [stderr]   Downloaded ra_ap_hir_ty v0.0.262
[INFO] [stderr]   Downloaded libz-sys v1.1.21
[INFO] [stderr]   Downloaded fst v0.4.7
[INFO] [stderr]   Downloaded libgit2-sys v0.18.0+1.9.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9
[INFO] running `Command { std: "docker" "start" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9" "/opt/rustwide/cargo-home/bin/cargo" "+dc375db7d8df0aa450e622c529147c95eee756f5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9" "/opt/rustwide/cargo-home/bin/cargo" "+dc375db7d8df0aa450e622c529147c95eee756f5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.16
[INFO] [stderr]    Compiling serde v1.0.218
[INFO] [stderr]     Checking once_cell v1.20.3
[INFO] [stderr]     Checking foldhash v0.1.4
[INFO] [stderr]     Checking parking_lot_core v0.9.10
[INFO] [stderr]     Checking log v0.4.26
[INFO] [stderr]    Compiling libc v0.2.169
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking hashbrown v0.15.2
[INFO] [stderr]    Compiling proc-macro2 v1.0.94
[INFO] [stderr]     Checking crossbeam-channel v0.5.14
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]    Compiling camino v1.1.9
[INFO] [stderr]     Checking unicode-xid v0.2.6
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking unicode-properties v0.1.3
[INFO] [stderr]     Checking jod-thread v0.1.2
[INFO] [stderr]     Checking ra-ap-rustc_lexer v0.91.0
[INFO] [stderr]     Checking triomphe v0.1.14
[INFO] [stderr]    Compiling quote v1.0.39
[INFO] [stderr]    Compiling fst v0.4.7
[INFO] [stderr]     Checking dashmap v5.5.3
[INFO] [stderr]     Checking indexmap v2.7.1
[INFO] [stderr]     Checking ra_ap_edition v0.0.262
[INFO] [stderr]     Checking ra_ap_limit v0.0.262
[INFO] [stderr]    Compiling syn v2.0.98
[INFO] [stderr]     Checking drop_bomb v0.1.5
[INFO] [stderr]     Checking rowan v0.15.15
[INFO] [stderr]     Checking oorandom v11.1.4
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]     Checking smol_str v0.3.2
[INFO] [stderr]     Checking cov-mark v2.0.0
[INFO] [stderr]     Checking ra_ap_intern v0.0.262
[INFO] [stderr]     Checking ena v0.14.3
[INFO] [stderr]     Checking ryu v1.0.19
[INFO] [stderr]     Checking la-arena v0.3.1
[INFO] [stderr]    Compiling thiserror v2.0.11
[INFO] [stderr]    Compiling semver v1.0.26
[INFO] [stderr]    Compiling crunchy v0.2.3
[INFO] [stderr]    Compiling rustc_apfloat v0.2.2+llvm-462a31f5a5ab
[INFO] [stderr]     Checking lz4_flex v0.11.3
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]     Checking fixedbitset v0.4.2
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]     Checking home v0.5.11
[INFO] [stderr]     Checking petgraph v0.6.5
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]     Checking rayon-core v1.12.1
[INFO] [stderr]    Compiling cc v1.2.13
[INFO] [stderr]    Compiling const-random-macro v0.1.16
[INFO] [stderr]     Checking perf-event-open-sys v1.0.1
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking winnow v0.7.1
[INFO] [stderr]     Checking perf-event v0.4.7
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking ra_ap_profile v0.0.262
[INFO] [stderr]     Checking const-random v0.1.18
[INFO] [stderr]     Checking dlv-list v0.5.2
[INFO] [stderr]     Checking hashlink v0.10.0
[INFO] [stderr]     Checking ordered-multimap v0.7.3
[INFO] [stderr]     Checking line-index v0.1.2
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking rust-ini v0.21.1
[INFO] [stderr]     Checking yaml-rust2 v0.10.0
[INFO] [stderr]     Checking phf_shared v0.11.3
[INFO] [stderr]     Checking precomputed-hash v0.1.1
[INFO] [stderr]     Checking new_debug_unreachable v1.0.6
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]     Checking colored v3.0.0
[INFO] [stderr]     Checking clap_builder v4.5.31
[INFO] [stderr]     Checking inotify-sys v0.1.5
[INFO] [stderr]    Compiling pulldown-cmark v0.9.6
[INFO] [stderr]    Compiling nix v0.29.0
[INFO] [stderr]     Checking env_filter v0.1.3
[INFO] [stderr]    Compiling libz-sys v1.1.21
[INFO] [stderr]    Compiling openssl-sys v0.9.105
[INFO] [stderr]    Compiling libssh2-sys v0.3.1
[INFO] [stderr]     Checking mio v1.0.3
[INFO] [stderr]     Checking filetime v0.2.25
[INFO] [stderr]    Compiling protobuf v3.7.1
[INFO] [stderr]     Checking time-core v0.1.3
[INFO] [stderr]     Checking time v0.3.38
[INFO] [stderr]     Checking env_logger v0.11.6
[INFO] [stderr]     Checking tracing-log v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.8
[INFO] [stderr]     Checking chrono v0.4.39
[INFO] [stderr]     Checking dirs-sys v0.4.1
[INFO] [stderr]     Checking uuid v0.8.2
[INFO] [stderr]    Compiling libgit2-sys v0.18.0+1.9.0
[INFO] [stderr]     Checking dot v0.1.4
[INFO] [stderr]    Compiling ra_ap_rust-analyzer v0.0.262
[INFO] [stderr]    Compiling xflags-macros v0.3.2
[INFO] [stderr]     Checking mktemp v0.4.1
[INFO] [stderr]     Checking tracing-subscriber v0.3.19
[INFO] [stderr]     Checking dirs v5.0.1
[INFO] [stderr]     Checking num_cpus v1.16.0
[INFO] [stderr]     Checking dissimilar v1.0.10
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]     Checking tenthash v1.0.0
[INFO] [stderr]    Compiling getrandom v0.3.1
[INFO] [stderr]     Checking xflags v0.3.2
[INFO] [stderr]     Checking linux-raw-sys v0.4.15
[INFO] [stderr]     Checking tracing-tree v0.3.1
[INFO] [stderr]    Compiling serde_derive v1.0.218
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling ra_ap_salsa-macros v0.0.262
[INFO] [stderr]    Compiling zerofrom-derive v0.1.5
[INFO] [stderr]    Compiling yoke-derive v0.7.5
[INFO] [stderr]    Compiling thiserror-impl v2.0.11
[INFO] [stderr]    Compiling zerovec-derive v0.10.3
[INFO] [stderr]    Compiling ra-ap-rustc_index_macros v0.91.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking ra-ap-rustc_index v0.91.0
[INFO] [stderr]     Checking always-assert v0.2.0
[INFO] [stderr]     Checking ra_ap_stdx v0.0.262
[INFO] [stderr]     Checking ra_ap_parser v0.0.262
[INFO] [stderr]     Checking ra_ap_salsa v0.0.262
[INFO] [stderr]     Checking ra_ap_tt v0.0.262
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]     Checking zerofrom v0.1.5
[INFO] [stderr]     Checking ra_ap_cfg v0.0.262
[INFO] [stderr]     Checking yoke v0.7.5
[INFO] [stderr]    Compiling chalk-derive v0.99.0
[INFO] [stderr]     Checking ra-ap-rustc_parse_format v0.91.0
[INFO] [stderr]     Checking zerovec v0.10.4
[INFO] [stderr]     Checking ra_ap_syntax v0.0.262
[INFO] [stderr]    Compiling icu_provider_macros v1.5.0
[INFO] [stderr]    Compiling pest v2.7.15
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling async-trait v0.1.86
[INFO] [stderr]    Compiling clap_derive v4.5.28
[INFO] [stderr]     Checking tinystr v0.7.6
[INFO] [stderr]     Checking icu_locid v1.5.0
[INFO] [stderr]    Compiling pest_meta v2.7.15
[INFO] [stderr]     Checking icu_collections v1.5.0
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking protobuf-support v3.7.1
[INFO] [stderr]     Checking icu_provider v1.5.0
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]     Checking flexi_logger v0.29.8
[INFO] [stderr]     Checking icu_locid_transform v1.5.0
[INFO] [stderr]    Compiling pest_generator v2.7.15
[INFO] [stderr]     Checking clap v4.5.31
[INFO] [stderr]     Checking icu_properties v1.5.1
[INFO] [stderr]    Compiling pest_derive v2.7.15
[INFO] [stderr]     Checking bitflags v2.8.0
[INFO] [stderr]     Checking ra_ap_paths v0.0.262
[INFO] [stderr]     Checking chalk-ir v0.99.0
[INFO] [stderr]     Checking ra_ap_vfs v0.0.262
[INFO] [stderr]     Checking ra-ap-rustc_abi v0.91.0
[INFO] [stderr]     Checking serde_spanned v0.6.8
[INFO] [stderr]     Checking toml_datetime v0.6.8
[INFO] [stderr]     Checking ra_ap_span v0.0.262
[INFO] [stderr]     Checking toml_edit v0.22.23
[INFO] [stderr]     Checking ra_ap_syntax-bridge v0.0.262
[INFO] [stderr]     Checking ra_ap_base_db v0.0.262
[INFO] [stderr]     Checking ra-ap-rustc_pattern_analysis v0.91.0
[INFO] [stderr]     Checking icu_normalizer v1.5.0
[INFO] [stderr]     Checking ra_ap_mbe v0.0.262
[INFO] [stderr]     Checking ron v0.8.1
[INFO] [stderr]     Checking json5 v0.4.1
[INFO] [stderr]     Checking string_cache v0.8.8
[INFO] [stderr]     Checking ra_ap_toolchain v0.0.262
[INFO] [stderr]     Checking idna_adapter v1.2.0
[INFO] [stderr]     Checking inotify v0.11.0
[INFO] [stderr]     Checking idna v1.0.3
[INFO] [stderr]     Checking ra_ap_hir_expand v0.0.262
[INFO] [stderr]     Checking cargo-platform v0.1.9
[INFO] [stderr]     Checking cargo_metadata v0.18.1
[INFO] [stderr]     Checking chalk-solve v0.99.0
[INFO] [stderr]     Checking notify v8.0.0
[INFO] [stderr]     Checking url v2.5.4
[INFO] [stderr]     Checking ra_ap_vfs-notify v0.0.262
[INFO] [stderr]     Checking ra_ap_proc_macro_api v0.0.262
[INFO] [stderr]     Checking toml v0.8.20
[INFO] [stderr]     Checking lsp-types v0.95.0
[INFO] [stderr]     Checking pulldown-cmark-to-cmark v10.0.4
[INFO] [stderr]     Checking ra_ap_project_model v0.0.262
[INFO] [stderr]     Checking lsp-server v0.7.8
[INFO] [stderr]     Checking config v0.15.9
[INFO] [stderr]     Checking scip v0.5.2
[INFO] [stderr]     Checking ra_ap_hir_def v0.0.262
[INFO] [stderr]     Checking rem-utils v0.1.6
[INFO] [stderr]     Checking rustfix v0.9.0
[INFO] [stderr]     Checking process-wrap v8.2.0
[INFO] [stderr]     Checking chalk-recursive v0.99.0
[INFO] [stderr]     Checking rem-constraint v0.1.3
[INFO] [stderr]     Checking rem-verification v0.1.0
[INFO] [stderr]     Checking rem-borrower v0.1.4
[INFO] [stderr]     Checking rem-controller v0.1.4
[INFO] [stderr]     Checking rem-repairer v0.1.3
[INFO] [stderr]     Checking tempfile v3.16.0
[INFO] [stderr]     Checking ra_ap_hir_ty v0.0.262
[INFO] [stderr]     Checking git2 v0.20.0
[INFO] [stderr]     Checking ra_ap_hir v0.0.262
[INFO] [stderr]     Checking ra_ap_ide_db v0.0.262
[INFO] [stderr]     Checking ra_ap_ide_assists v0.0.262
[INFO] [stderr]     Checking ra_ap_ide_completion v0.0.262
[INFO] [stderr]     Checking ra_ap_ide_diagnostics v0.0.262
[INFO] [stderr]     Checking ra_ap_ide_ssr v0.0.262
[INFO] [stderr]     Checking ra_ap_load-cargo v0.0.262
[INFO] [stderr]     Checking ra_ap_ide v0.0.262
[INFO] [stderr]     Checking rem-extract v0.1.3
[INFO] [stderr]     Checking rem-command-line v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::tests::utils::compile_file`
[INFO] [stdout]  --> src/tests/extract.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tests::utils::compile_file;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `print_file_diff`
[INFO] [stdout]   --> src/tests/extract.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     print_file_diff
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rem_borrower::borrow`
[INFO] [stdout]  --> src/refactor/borrow.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rem_borrower::borrow;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]  --> src/refactor/borrow.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::time::Instant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `error` and `info`
[INFO] [stdout]  --> src/refactor/borrow.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     info,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 5 |     error
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `RepairResult` and `RepairSystem`
[INFO] [stdout]  --> src/refactor/repair_lifetime.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     RepairSystem,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 8 |     RepairResult,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rem_controller::non_local_controller`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:1:9
[INFO] [stdout]   |
[INFO] [stdout] 1 |     use rem_controller::non_local_controller;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::time::Instant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `error` and `info`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     info,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 5 |     error,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Repairer`
[INFO] [stdout]   --> src/main.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         Repairer,
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `local_config::Settings`
[INFO] [stdout]   --> src/main.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 | use local_config::Settings;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Config` and `File`
[INFO] [stdout]   --> src/prefactor/convert.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Config,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 31 |     File,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::local_config::Settings`
[INFO] [stdout]   --> src/prefactor/convert.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | use crate::local_config::Settings;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `info`
[INFO] [stdout]   --> src/prefactor/convert.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     info,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::tests::utils::compile_file`
[INFO] [stdout]  --> src/tests/extract.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::tests::utils::compile_file;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `print_file_diff`
[INFO] [stdout]   --> src/tests/extract.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 |     print_file_diff
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rem_borrower::borrow`
[INFO] [stdout]  --> src/refactor/borrow.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use rem_borrower::borrow;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]  --> src/refactor/borrow.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::time::Instant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `error` and `info`
[INFO] [stdout]  --> src/refactor/borrow.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     info,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 5 |     error
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `RepairResult` and `RepairSystem`
[INFO] [stdout]  --> src/refactor/repair_lifetime.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     RepairSystem,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 8 |     RepairResult,
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `rem_controller::non_local_controller`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:1:9
[INFO] [stdout]   |
[INFO] [stdout] 1 |     use rem_controller::non_local_controller;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::time::Instant`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::time::Instant;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `error` and `info`
[INFO] [stdout]  --> src/refactor/non_local_controller.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     info,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 5 |     error,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Repairer`
[INFO] [stdout]   --> src/main.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         Repairer,
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `local_config::Settings`
[INFO] [stdout]   --> src/main.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 62 | use local_config::Settings;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Config` and `File`
[INFO] [stdout]   --> src/prefactor/convert.rs:30:5
[INFO] [stdout]    |
[INFO] [stdout] 30 |     Config,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 31 |     File,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::local_config::Settings`
[INFO] [stdout]   --> src/prefactor/convert.rs:33:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | use crate::local_config::Settings;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `info`
[INFO] [stdout]   --> src/prefactor/convert.rs:35:5
[INFO] [stdout]    |
[INFO] [stdout] 35 |     info,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/main.rs:148:13
[INFO] [stdout]     |
[INFO] [stdout] 146 |               let controller: Controller = todo!();
[INFO] [stdout]     |                                            ------- any code following this expression is unreachable
[INFO] [stdout] 147 |
[INFO] [stdout] 148 | /             let result: Result<String, error::RefactoringError>  = non_local_controller(
[INFO] [stdout] 149 | |                 controller,
[INFO] [stdout] 150 | |             );
[INFO] [stdout]     | |______________^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/main.rs:192:13
[INFO] [stdout]     |
[INFO] [stdout] 191 |               let input_borrower: Borrower = todo!();
[INFO] [stdout]     |                                              ------- any code following this expression is unreachable
[INFO] [stdout] 192 | /             let result  = borrow(
[INFO] [stdout] 193 | |                 input_borrower,
[INFO] [stdout] ...   |
[INFO] [stdout] 200 | |             );
[INFO] [stdout]     | |______________^ unreachable statement
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `allowed_tests`
[INFO] [stdout]    --> src/tests/extract.rs:120:9
[INFO] [stdout]     |
[INFO] [stdout] 120 |     let allowed_tests: Vec<&'static str> = vec![
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_allowed_tests`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     input: Input
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     input: Input,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     input: Input,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/borrow.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     input: Borrower
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/non_local_controller.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     input: Controller
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `path`
[INFO] [stdout]   --> src/refactor/extract_function.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub fn test(path: PathBuf) -> Result<u8, Box<dyn std::error::Error>> {
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/run.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_fn_name`
[INFO] [stdout]  --> src/commands/run.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start_index`
[INFO] [stdout]  --> src/commands/run.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     start_index: &usize,
[INFO] [stdout]   |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_start_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_index`
[INFO] [stdout]  --> src/commands/run.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     end_index: &usize,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/run.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `success`
[INFO] [stdout]   --> src/commands/extract.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let success: bool = match result {
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_success`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/controller.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/controller.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]  --> src/commands/controller.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     caller_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_caller_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]  --> src/commands/controller.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     callee_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_callee_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/borrower.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/borrower.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]  --> src/commands/borrower.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     caller_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_caller_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]  --> src/commands/borrower.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     callee_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_callee_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mut_method_file_path`
[INFO] [stdout]   --> src/commands/borrower.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     mut_method_file_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mut_method_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pre_extract_file_path`
[INFO] [stdout]   --> src/commands/borrower.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pre_extract_file_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pre_extract_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/repairer.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/repairer.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]  --> src/commands/repairer.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]  --> src/commands/repairer.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     repairer: &u8,
[INFO] [stdout]   |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_repairer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/repairer.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `src_path`
[INFO] [stdout]   --> src/commands/repairer.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     src_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_src_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `manifest_path`
[INFO] [stdout]   --> src/commands/repairer.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     manifest_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_manifest_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]   --> src/commands/repairer.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     fn_name: &String,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]   --> src/commands/repairer.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     repairer: &u8,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_repairer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/commands/repairer.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     verbose: &bool,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/commands/convert.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     verbose: &bool,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_coq`
[INFO] [stdout]  --> src/commands/verify.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     original_coq: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_coq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `refactored_coq`
[INFO] [stdout]  --> src/commands/verify.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     refactored_coq: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_refactored_coq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_level_function`
[INFO] [stdout]  --> src/commands/verify.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     top_level_function: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_level_function`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/verify.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/main.rs:148:13
[INFO] [stdout]     |
[INFO] [stdout] 146 |               let controller: Controller = todo!();
[INFO] [stdout]     |                                            ------- any code following this expression is unreachable
[INFO] [stdout] 147 |
[INFO] [stdout] 148 | /             let result: Result<String, error::RefactoringError>  = non_local_controller(
[INFO] [stdout] 149 | |                 controller,
[INFO] [stdout] 150 | |             );
[INFO] [stdout]     | |______________^ unreachable statement
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]    --> src/main.rs:192:13
[INFO] [stdout]     |
[INFO] [stdout] 191 |               let input_borrower: Borrower = todo!();
[INFO] [stdout]     |                                              ------- any code following this expression is unreachable
[INFO] [stdout] 192 | /             let result  = borrow(
[INFO] [stdout] 193 | |                 input_borrower,
[INFO] [stdout] ...   |
[INFO] [stdout] 200 | |             );
[INFO] [stdout]     | |______________^ unreachable statement
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `allowed_tests`
[INFO] [stdout]    --> src/tests/extract.rs:120:9
[INFO] [stdout]     |
[INFO] [stdout] 120 |     let allowed_tests: Vec<&'static str> = vec![
[INFO] [stdout]     |         ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_allowed_tests`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     input: Input
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     input: Input,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/refactor_main.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     input: Input,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/borrow.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     input: Borrower
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/repair_lifetime.rs:29:5
[INFO] [stdout]    |
[INFO] [stdout] 29 |     input: Repairer,
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/refactor/non_local_controller.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 |     input: Controller
[INFO] [stdout]    |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `backup_path` is assigned to, but never used
[INFO] [stdout]   --> src/main.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mut backup_path: Option<PathBuf> = None;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_backup_path` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `prog_run` is assigned to, but never used
[INFO] [stdout]   --> src/main.rs:90:9
[INFO] [stdout]    |
[INFO] [stdout] 90 |     let mut prog_run: ProgramOptions = ProgramOptions::Refactoring;
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_prog_run` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_fn_name`
[INFO] [stdout]   --> src/main.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |             new_fn_name,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `new_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start_index`
[INFO] [stdout]   --> src/main.rs:96:13
[INFO] [stdout]    |
[INFO] [stdout] 96 |             start_index,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `start_index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_index`
[INFO] [stdout]   --> src/main.rs:97:13
[INFO] [stdout]    |
[INFO] [stdout] 97 |             end_index,
[INFO] [stdout]    |             ^^^^^^^^^ help: try ignoring the field: `end_index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/main.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |             verbose,
[INFO] [stdout]    |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `charon_path`
[INFO] [stdout]   --> src/main.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |             charon_path,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `charon_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `aeneas_path`
[INFO] [stdout]    --> src/main.rs:100:13
[INFO] [stdout]     |
[INFO] [stdout] 100 |             aeneas_path,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `aeneas_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:105:17
[INFO] [stdout]     |
[INFO] [stdout] 105 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]    --> src/main.rs:137:13
[INFO] [stdout]     |
[INFO] [stdout] 137 |             caller_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `caller_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]    --> src/main.rs:138:13
[INFO] [stdout]     |
[INFO] [stdout] 138 |             callee_fn_name
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `callee_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:143:17
[INFO] [stdout]     |
[INFO] [stdout] 143 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]    --> src/main.rs:144:17
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let new_file_path: &str = new_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `controller`
[INFO] [stdout]    --> src/main.rs:146:17
[INFO] [stdout]     |
[INFO] [stdout] 146 |             let controller: Controller = todo!();
[INFO] [stdout]     |                 ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_controller`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]    --> src/main.rs:178:13
[INFO] [stdout]     |
[INFO] [stdout] 178 |             caller_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `caller_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]    --> src/main.rs:179:13
[INFO] [stdout]     |
[INFO] [stdout] 179 |             callee_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `callee_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:186:17
[INFO] [stdout]     |
[INFO] [stdout] 186 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]    --> src/main.rs:187:17
[INFO] [stdout]     |
[INFO] [stdout] 187 |             let new_file_path: &str = new_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mut_method_file_path`
[INFO] [stdout]    --> src/main.rs:188:17
[INFO] [stdout]     |
[INFO] [stdout] 188 |             let mut_method_file_path: &str = mut_method_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mut_method_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pre_extract_file_path`
[INFO] [stdout]    --> src/main.rs:189:17
[INFO] [stdout]     |
[INFO] [stdout] 189 |             let pre_extract_file_path: &str = pre_extract_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pre_extract_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input_borrower`
[INFO] [stdout]    --> src/main.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |             let input_borrower: Borrower = todo!();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_borrower`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/main.rs:229:13
[INFO] [stdout]     |
[INFO] [stdout] 229 |             verbose, // TODO Implement this
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `src_path`
[INFO] [stdout]    --> src/main.rs:266:13
[INFO] [stdout]     |
[INFO] [stdout] 266 |             src_path,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `src_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `manifest_path`
[INFO] [stdout]    --> src/main.rs:267:13
[INFO] [stdout]     |
[INFO] [stdout] 267 |             manifest_path,
[INFO] [stdout]     |             ^^^^^^^^^^^^^ help: try ignoring the field: `manifest_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]    --> src/main.rs:268:13
[INFO] [stdout]     |
[INFO] [stdout] 268 |             fn_name,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `path`
[INFO] [stdout]   --> src/refactor/extract_function.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub fn test(path: PathBuf) -> Result<u8, Box<dyn std::error::Error>> {
[INFO] [stdout]    |             ^^^^ help: if this is intentional, prefix it with an underscore: `_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]    --> src/main.rs:269:13
[INFO] [stdout]     |
[INFO] [stdout] 269 |             repairer,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `repairer: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/main.rs:270:13
[INFO] [stdout]     |
[INFO] [stdout] 270 |             verbose
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:184:13
[INFO] [stdout]     |
[INFO] [stdout] 184 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:272:13
[INFO] [stdout]     |
[INFO] [stdout] 272 |             prog_run = ProgramOptions::CargoRepairing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 |             prog_run = ProgramOptions::Testing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:330:13
[INFO] [stdout]     |
[INFO] [stdout] 330 |             prog_run = ProgramOptions::Testing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `output_code` is never read
[INFO] [stdout]    --> src/refactor/throughput.rs:108:5
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub struct Repairer {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 107 |     input_code: String,
[INFO] [stdout] 108 |     output_code: Option<String>, // Populated after the module has been run
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Repairer` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run` is never used
[INFO] [stdout]  --> src/commands/run.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run(
[INFO] [stdout]   |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `controller` is never used
[INFO] [stdout]  --> src/commands/controller.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn controller(
[INFO] [stdout]   |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `borrower` is never used
[INFO] [stdout]  --> src/commands/borrower.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn borrower(
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `repairer` is never used
[INFO] [stdout]  --> src/commands/repairer.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn repairer(
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `repairer_cargo` is never used
[INFO] [stdout]   --> src/commands/repairer.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn repairer_cargo(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Programs` is never constructed
[INFO] [stdout]  --> src/local_config.rs:4:12
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub struct Programs {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Files` is never constructed
[INFO] [stdout]   --> src/local_config.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct Files {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Settings` is never constructed
[INFO] [stdout]   --> src/local_config.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Settings {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/tests/extract.rs:38:28
[INFO] [stdout]    |
[INFO] [stdout] 38 |     pub fn new(input_file: &str, start_idx: u32, end_idx: u32) -> TestFile {
[INFO] [stdout]    |                            ^^^^ the lifetime is elided 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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 38 |     pub fn new(input_file: &str, start_idx: u32, end_idx: u32) -> TestFile<'_> {
[INFO] [stdout]    |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/run.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_fn_name`
[INFO] [stdout]  --> src/commands/run.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start_index`
[INFO] [stdout]  --> src/commands/run.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     start_index: &usize,
[INFO] [stdout]   |     ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_start_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_index`
[INFO] [stdout]  --> src/commands/run.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     end_index: &usize,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_end_index`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/run.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `success`
[INFO] [stdout]   --> src/commands/extract.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let success: bool = match result {
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_success`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/controller.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/controller.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]  --> src/commands/controller.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     caller_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_caller_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]  --> src/commands/controller.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     callee_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_callee_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/borrower.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/borrower.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]  --> src/commands/borrower.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     caller_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_caller_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]  --> src/commands/borrower.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 |     callee_fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_callee_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mut_method_file_path`
[INFO] [stdout]   --> src/commands/borrower.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 |     mut_method_file_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mut_method_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pre_extract_file_path`
[INFO] [stdout]   --> src/commands/borrower.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     pre_extract_file_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pre_extract_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]  --> src/commands/repairer.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]  --> src/commands/repairer.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     new_file_path: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]  --> src/commands/repairer.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     fn_name: &String,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]  --> src/commands/repairer.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     repairer: &u8,
[INFO] [stdout]   |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_repairer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/repairer.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `src_path`
[INFO] [stdout]   --> src/commands/repairer.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 14 |     src_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_src_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `manifest_path`
[INFO] [stdout]   --> src/commands/repairer.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 |     manifest_path: &PathBuf,
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_manifest_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]   --> src/commands/repairer.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     fn_name: &String,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_fn_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]   --> src/commands/repairer.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     repairer: &u8,
[INFO] [stdout]    |     ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_repairer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/commands/repairer.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     verbose: &bool,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/commands/convert.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 42 |     verbose: &bool,
[INFO] [stdout]    |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_coq`
[INFO] [stdout]  --> src/commands/verify.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     original_coq: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_coq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `refactored_coq`
[INFO] [stdout]  --> src/commands/verify.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     refactored_coq: &PathBuf,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_refactored_coq`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `top_level_function`
[INFO] [stdout]  --> src/commands/verify.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 |     top_level_function: &String,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_top_level_function`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]  --> src/commands/verify.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 |     verbose: &bool,
[INFO] [stdout]   |     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_verbose`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `backup_path` is assigned to, but never used
[INFO] [stdout]   --> src/main.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mut backup_path: Option<PathBuf> = None;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_backup_path` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `prog_run` is assigned to, but never used
[INFO] [stdout]   --> src/main.rs:90:9
[INFO] [stdout]    |
[INFO] [stdout] 90 |     let mut prog_run: ProgramOptions = ProgramOptions::Refactoring;
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: consider using `_prog_run` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_fn_name`
[INFO] [stdout]   --> src/main.rs:95:13
[INFO] [stdout]    |
[INFO] [stdout] 95 |             new_fn_name,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `new_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start_index`
[INFO] [stdout]   --> src/main.rs:96:13
[INFO] [stdout]    |
[INFO] [stdout] 96 |             start_index,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `start_index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `end_index`
[INFO] [stdout]   --> src/main.rs:97:13
[INFO] [stdout]    |
[INFO] [stdout] 97 |             end_index,
[INFO] [stdout]    |             ^^^^^^^^^ help: try ignoring the field: `end_index: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]   --> src/main.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |             verbose,
[INFO] [stdout]    |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `charon_path`
[INFO] [stdout]   --> src/main.rs:99:13
[INFO] [stdout]    |
[INFO] [stdout] 99 |             charon_path,
[INFO] [stdout]    |             ^^^^^^^^^^^ help: try ignoring the field: `charon_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `aeneas_path`
[INFO] [stdout]    --> src/main.rs:100:13
[INFO] [stdout]     |
[INFO] [stdout] 100 |             aeneas_path,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `aeneas_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:105:17
[INFO] [stdout]     |
[INFO] [stdout] 105 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]    --> src/main.rs:137:13
[INFO] [stdout]     |
[INFO] [stdout] 137 |             caller_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `caller_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]    --> src/main.rs:138:13
[INFO] [stdout]     |
[INFO] [stdout] 138 |             callee_fn_name
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `callee_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:143:17
[INFO] [stdout]     |
[INFO] [stdout] 143 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]    --> src/main.rs:144:17
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let new_file_path: &str = new_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `controller`
[INFO] [stdout]    --> src/main.rs:146:17
[INFO] [stdout]     |
[INFO] [stdout] 146 |             let controller: Controller = todo!();
[INFO] [stdout]     |                 ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_controller`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `caller_fn_name`
[INFO] [stdout]    --> src/main.rs:178:13
[INFO] [stdout]     |
[INFO] [stdout] 178 |             caller_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `caller_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `callee_fn_name`
[INFO] [stdout]    --> src/main.rs:179:13
[INFO] [stdout]     |
[INFO] [stdout] 179 |             callee_fn_name,
[INFO] [stdout]     |             ^^^^^^^^^^^^^^ help: try ignoring the field: `callee_fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file_path`
[INFO] [stdout]    --> src/main.rs:186:17
[INFO] [stdout]     |
[INFO] [stdout] 186 |             let file_path: &str = file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_file_path`
[INFO] [stdout]    --> src/main.rs:187:17
[INFO] [stdout]     |
[INFO] [stdout] 187 |             let new_file_path: &str = new_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mut_method_file_path`
[INFO] [stdout]    --> src/main.rs:188:17
[INFO] [stdout]     |
[INFO] [stdout] 188 |             let mut_method_file_path: &str = mut_method_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_mut_method_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `pre_extract_file_path`
[INFO] [stdout]    --> src/main.rs:189:17
[INFO] [stdout]     |
[INFO] [stdout] 189 |             let pre_extract_file_path: &str = pre_extract_file_path.to_str().expect("Path is not valid UTF-8");
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pre_extract_file_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input_borrower`
[INFO] [stdout]    --> src/main.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |             let input_borrower: Borrower = todo!();
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_input_borrower`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/main.rs:229:13
[INFO] [stdout]     |
[INFO] [stdout] 229 |             verbose, // TODO Implement this
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `src_path`
[INFO] [stdout]    --> src/main.rs:266:13
[INFO] [stdout]     |
[INFO] [stdout] 266 |             src_path,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `src_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `manifest_path`
[INFO] [stdout]    --> src/main.rs:267:13
[INFO] [stdout]     |
[INFO] [stdout] 267 |             manifest_path,
[INFO] [stdout]     |             ^^^^^^^^^^^^^ help: try ignoring the field: `manifest_path: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `fn_name`
[INFO] [stdout]    --> src/main.rs:268:13
[INFO] [stdout]     |
[INFO] [stdout] 268 |             fn_name,
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `fn_name: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `repairer`
[INFO] [stdout]    --> src/main.rs:269:13
[INFO] [stdout]     |
[INFO] [stdout] 269 |             repairer,
[INFO] [stdout]     |             ^^^^^^^^ help: try ignoring the field: `repairer: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `verbose`
[INFO] [stdout]    --> src/main.rs:270:13
[INFO] [stdout]     |
[INFO] [stdout] 270 |             verbose
[INFO] [stdout]     |             ^^^^^^^ help: try ignoring the field: `verbose: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:141:13
[INFO] [stdout]     |
[INFO] [stdout] 141 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:184:13
[INFO] [stdout]     |
[INFO] [stdout] 184 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `backup_path` is never read
[INFO] [stdout]    --> src/main.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 |             backup_path = backup_file(file_path.clone());
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:272:13
[INFO] [stdout]     |
[INFO] [stdout] 272 |             prog_run = ProgramOptions::CargoRepairing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:309:13
[INFO] [stdout]     |
[INFO] [stdout] 309 |             prog_run = ProgramOptions::Testing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `prog_run` is never read
[INFO] [stdout]    --> src/main.rs:330:13
[INFO] [stdout]     |
[INFO] [stdout] 330 |             prog_run = ProgramOptions::Testing;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/tests/extract.rs:38:12
[INFO] [stdout]    |
[INFO] [stdout] 37 | impl TestFile<'_> {
[INFO] [stdout]    | ----------------- associated function in this implementation
[INFO] [stdout] 38 |     pub fn new(input_file: &str, start_idx: u32, end_idx: u32) -> TestFile {
[INFO] [stdout]    |            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `output_code` is never read
[INFO] [stdout]    --> src/refactor/throughput.rs:108:5
[INFO] [stdout]     |
[INFO] [stdout] 106 | pub struct Repairer {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 107 |     input_code: String,
[INFO] [stdout] 108 |     output_code: Option<String>, // Populated after the module has been run
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Repairer` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run` is never used
[INFO] [stdout]  --> src/commands/run.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn run(
[INFO] [stdout]   |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `controller` is never used
[INFO] [stdout]  --> src/commands/controller.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn controller(
[INFO] [stdout]   |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `borrower` is never used
[INFO] [stdout]  --> src/commands/borrower.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub fn borrower(
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `repairer` is never used
[INFO] [stdout]  --> src/commands/repairer.rs:3:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub fn repairer(
[INFO] [stdout]   |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `repairer_cargo` is never used
[INFO] [stdout]   --> src/commands/repairer.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub fn repairer_cargo(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Programs` is never constructed
[INFO] [stdout]  --> src/local_config.rs:4:12
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub struct Programs {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Files` is never constructed
[INFO] [stdout]   --> src/local_config.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct Files {
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Settings` is never constructed
[INFO] [stdout]   --> src/local_config.rs:15:12
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub struct Settings {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/tests/extract.rs:38:28
[INFO] [stdout]    |
[INFO] [stdout] 38 |     pub fn new(input_file: &str, start_idx: u32, end_idx: u32) -> TestFile {
[INFO] [stdout]    |                            ^^^^ the lifetime is elided 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]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 38 |     pub fn new(input_file: &str, start_idx: u32, end_idx: u32) -> TestFile<'_> {
[INFO] [stdout]    |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2m 24s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: ra_ap_hir_def v0.0.262
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 9`
[INFO] running `Command { std: "docker" "inspect" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9", kill_on_drop: false }`
[INFO] [stdout] c608d794e8905cc39f87b278d5bdcc310ca58781211e7b81709cd0b5d5853ce9
