[INFO] cloning repository https://github.com/lacker/click
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lacker/click" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] eb3a29ff7b38db88463bae80f67fd0b1f8568ada
[INFO] checking lacker/click against 67854e511de21d881bb16426996cd4259d44aa2e for pr-161154
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/lacker/click
[INFO] finished tweaking git repo https://github.com/lacker/click
[INFO] tweaked toml for git repo https://github.com/lacker/click written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/lacker/click on toolchain 67854e511de21d881bb16426996cd4259d44aa2e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+67854e511de21d881bb16426996cd4259d44aa2e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/lacker/click 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" "+67854e511de21d881bb16426996cd4259d44aa2e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b
[INFO] running `Command { std: "docker" "start" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b", 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" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b" "/opt/rustwide/cargo-home/bin/cargo" "+67854e511de21d881bb16426996cd4259d44aa2e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b", 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" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b" "/opt/rustwide/cargo-home/bin/cargo" "+67854e511de21d881bb16426996cd4259d44aa2e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking click v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:25:22
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub(crate) use eval::canonical_condition_fact;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_condition_fact` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_condition_fact` to disambiguate
[INFO] [stdout] note: `canonical_condition_fact` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_condition_fact` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout]    = note: `#[warn(ambiguous_import_visibilities)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub(crate) use eval::canonical_form_of_load;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_form_of_load` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_form_of_load` to disambiguate
[INFO] [stdout] note: `canonical_form_of_load` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_form_of_load` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(crate) use eval::canonical_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_term` to disambiguate
[INFO] [stdout] note: `canonical_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub(crate) use eval::canonicalized_offset_index_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonicalized_offset_index_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonicalized_offset_index_term` to disambiguate
[INFO] [stdout] note: `canonicalized_offset_index_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonicalized_offset_index_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:31:22
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub(crate) use eval::is_load_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `is_load_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable` to disambiguate
[INFO] [stdout] note: `is_load_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub(crate) use eval::is_load_variable_defining_fact;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `is_load_variable_defining_fact` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable_defining_fact` to disambiguate
[INFO] [stdout] note: `is_load_variable_defining_fact` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable_defining_fact` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:35:22
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) use eval::load_variable_for_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `load_variable_for_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_term` to disambiguate
[INFO] [stdout] note: `load_variable_for_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:36:22
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub(crate) use eval::offsets_have_same_canonical_form;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `offsets_have_same_canonical_form` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `offsets_have_same_canonical_form` to disambiguate
[INFO] [stdout] note: `offsets_have_same_canonical_form` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `offsets_have_same_canonical_form` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:37:22
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub(crate) use eval::proposition_mentions_registered_load_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `proposition_mentions_registered_load_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `proposition_mentions_registered_load_variable` to disambiguate
[INFO] [stdout] note: `proposition_mentions_registered_load_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `proposition_mentions_registered_load_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:38:22
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub(crate) use eval::registered_load_for_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `registered_load_for_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_for_variable` to disambiguate
[INFO] [stdout] note: `registered_load_for_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_for_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:39:22
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub(crate) use eval::registered_load_origin_for_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `registered_load_origin_for_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_origin_for_variable` to disambiguate
[INFO] [stdout] note: `registered_load_origin_for_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_origin_for_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:41:22
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub(crate) use eval::terms_have_same_canonical_form;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `terms_have_same_canonical_form` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `terms_have_same_canonical_form` to disambiguate
[INFO] [stdout] note: `terms_have_same_canonical_form` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `terms_have_same_canonical_form` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:40:22
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub(crate) use eval::resolve_pending_heap_allocations;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_pending_heap_allocations` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:31:16
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub(super) use statements::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_pending_heap_allocations` to disambiguate
[INFO] [stdout] note: `resolve_pending_heap_allocations` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_pending_heap_allocations` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:50:27
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub(crate) use reasoning::with_bounded_snapshot_comparison;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `with_bounded_snapshot_comparison` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use memory_resolution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_bounded_snapshot_comparison` to disambiguate
[INFO] [stdout] note: `with_bounded_snapshot_comparison` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_bounded_snapshot_comparison` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub(crate) use reasoning::with_isolated_memory_resolution_fuel;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `with_isolated_memory_resolution_fuel` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use memory_resolution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_isolated_memory_resolution_fuel` to disambiguate
[INFO] [stdout] note: `with_isolated_memory_resolution_fuel` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_isolated_memory_resolution_fuel` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:47:27
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub(crate) use reasoning::resolve_load_variables_from_registry;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_load_variables_from_registry` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_from_registry` to disambiguate
[INFO] [stdout] note: `resolve_load_variables_from_registry` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_from_registry` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:48:27
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub(crate) use reasoning::resolve_load_variables_via;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_load_variables_via` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_via` to disambiguate
[INFO] [stdout] note: `resolve_load_variables_via` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_via` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:49:27
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub(crate) use reasoning::resolve_minted_load_variables;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_minted_load_variables` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_minted_load_variables` to disambiguate
[INFO] [stdout] note: `resolve_minted_load_variables` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_minted_load_variables` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:25:22
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub(crate) use eval::canonical_condition_fact;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_condition_fact` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_condition_fact` to disambiguate
[INFO] [stdout] note: `canonical_condition_fact` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_condition_fact` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout]    = note: `#[warn(ambiguous_import_visibilities)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:26:22
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub(crate) use eval::canonical_form_of_load;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_form_of_load` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_form_of_load` to disambiguate
[INFO] [stdout] note: `canonical_form_of_load` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_form_of_load` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(crate) use eval::canonical_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonical_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_term` to disambiguate
[INFO] [stdout] note: `canonical_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonical_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 | pub(crate) use eval::canonicalized_offset_index_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `canonicalized_offset_index_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonicalized_offset_index_term` to disambiguate
[INFO] [stdout] note: `canonicalized_offset_index_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `canonicalized_offset_index_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:30:22
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub(crate) use eval::count_canonical_at_creation_violations;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `count_canonical_at_creation_violations` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_canonical_at_creation_violations` to disambiguate
[INFO] [stdout] note: `count_canonical_at_creation_violations` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_canonical_at_creation_violations` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:31:22
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub(crate) use eval::is_load_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `is_load_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable` to disambiguate
[INFO] [stdout] note: `is_load_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 | pub(crate) use eval::is_load_variable_defining_fact;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `is_load_variable_defining_fact` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable_defining_fact` to disambiguate
[INFO] [stdout] note: `is_load_variable_defining_fact` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `is_load_variable_defining_fact` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:34:22
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub(crate) use eval::load_variable_for_cell_with_origin;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `load_variable_for_cell_with_origin` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_cell_with_origin` to disambiguate
[INFO] [stdout] note: `load_variable_for_cell_with_origin` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_cell_with_origin` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:35:22
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub(crate) use eval::load_variable_for_term;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `load_variable_for_term` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_term` to disambiguate
[INFO] [stdout] note: `load_variable_for_term` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `load_variable_for_term` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:36:22
[INFO] [stdout]    |
[INFO] [stdout] 36 | pub(crate) use eval::offsets_have_same_canonical_form;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `offsets_have_same_canonical_form` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `offsets_have_same_canonical_form` to disambiguate
[INFO] [stdout] note: `offsets_have_same_canonical_form` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `offsets_have_same_canonical_form` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:37:22
[INFO] [stdout]    |
[INFO] [stdout] 37 | pub(crate) use eval::proposition_mentions_registered_load_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `proposition_mentions_registered_load_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `proposition_mentions_registered_load_variable` to disambiguate
[INFO] [stdout] note: `proposition_mentions_registered_load_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `proposition_mentions_registered_load_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:38:22
[INFO] [stdout]    |
[INFO] [stdout] 38 | pub(crate) use eval::registered_load_for_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `registered_load_for_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_for_variable` to disambiguate
[INFO] [stdout] note: `registered_load_for_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_for_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:39:22
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub(crate) use eval::registered_load_origin_for_variable;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `registered_load_origin_for_variable` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_origin_for_variable` to disambiguate
[INFO] [stdout] note: `registered_load_origin_for_variable` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `registered_load_origin_for_variable` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:41:22
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub(crate) use eval::terms_have_same_canonical_form;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `terms_have_same_canonical_form` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:27:16
[INFO] [stdout]    |
[INFO] [stdout] 27 | pub(super) use memory_loads::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `terms_have_same_canonical_form` to disambiguate
[INFO] [stdout] note: `terms_have_same_canonical_form` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `terms_have_same_canonical_form` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:40:22
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub(crate) use eval::resolve_pending_heap_allocations;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_pending_heap_allocations` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:31:16
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub(super) use statements::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_pending_heap_allocations` to disambiguate
[INFO] [stdout] note: `resolve_pending_heap_allocations` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/eval.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_pending_heap_allocations` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:50:27
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub(crate) use reasoning::with_bounded_snapshot_comparison;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `with_bounded_snapshot_comparison` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use memory_resolution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_bounded_snapshot_comparison` to disambiguate
[INFO] [stdout] note: `with_bounded_snapshot_comparison` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_bounded_snapshot_comparison` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:51:27
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub(crate) use reasoning::with_isolated_memory_resolution_fuel;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `with_isolated_memory_resolution_fuel` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use memory_resolution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_isolated_memory_resolution_fuel` to disambiguate
[INFO] [stdout] note: `with_isolated_memory_resolution_fuel` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `with_isolated_memory_resolution_fuel` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:47:27
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub(crate) use reasoning::resolve_load_variables_from_registry;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_load_variables_from_registry` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_from_registry` to disambiguate
[INFO] [stdout] note: `resolve_load_variables_from_registry` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_from_registry` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:48:27
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub(crate) use reasoning::resolve_load_variables_via;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_load_variables_via` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_via` to disambiguate
[INFO] [stdout] note: `resolve_load_variables_via` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_load_variables_via` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::kernel) or pub(crate)
[INFO] [stdout]   --> src/kernel/mod.rs:49:27
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub(crate) use reasoning::resolve_minted_load_variables;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `resolve_minted_load_variables` could refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:18:16
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) use substitution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_minted_load_variables` to disambiguate
[INFO] [stdout] note: `resolve_minted_load_variables` could also refer to the function imported here
[INFO] [stdout]   --> src/kernel/reasoning.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::prelude::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `resolve_minted_load_variables` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::lang::click::proof) or pub(in crate::lang::click)
[INFO] [stdout]   --> src/lang/click/proof.rs:73:47
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub(in crate::lang::click) use replay_engine::collect_internal_proof_execution_labels;
[INFO] [stdout]    |                                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `collect_internal_proof_execution_labels` could refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use proof_execution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `collect_internal_proof_execution_labels` to disambiguate
[INFO] [stdout] note: `collect_internal_proof_execution_labels` could also refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::*;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `collect_internal_proof_execution_labels` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::lang::click::proof) or pub(in crate::lang::click)
[INFO] [stdout]   --> src/lang/click/proof.rs:75:47
[INFO] [stdout]    |
[INFO] [stdout] 75 | pub(in crate::lang::click) use replay_engine::count_internal_proof_executions;
[INFO] [stdout]    |                                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `count_internal_proof_executions` could refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use proof_execution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_internal_proof_executions` to disambiguate
[INFO] [stdout] note: `count_internal_proof_executions` could also refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::*;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_internal_proof_executions` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: ambiguous import visibility: pub(in crate::lang::click::proof) or pub(in crate::lang::click)
[INFO] [stdout]   --> src/lang/click/proof.rs:77:47
[INFO] [stdout]    |
[INFO] [stdout] 77 | pub(in crate::lang::click) use replay_engine::count_root_internal_proof_executions;
[INFO] [stdout]    |                                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: ambiguous because of multiple glob imports of a name in the same module
[INFO] [stdout] note: `count_root_internal_proof_executions` could refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub(super) use proof_execution::*;
[INFO] [stdout]    |                ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_root_internal_proof_executions` to disambiguate
[INFO] [stdout] note: `count_root_internal_proof_executions` could also refer to the function imported here
[INFO] [stdout]   --> src/lang/click/proof/replay_engine.rs:1:5
[INFO] [stdout]    |
[INFO] [stdout]  1 | use super::*;
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    = help: consider adding an explicit import of `count_root_internal_proof_executions` to disambiguate
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = note: for more information, see issue #149145 <https://github.com/rust-lang/rust/issues/149145>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]     --> src/lang/click/proof/replay_engine/proof_execution.rs:1115:33
[INFO] [stdout]      |
[INFO] [stdout] 1115 | ...                   Err(error) => {
[INFO] [stdout]      |                           ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `has_named_resources` and `shares_storage_with` are never used
[INFO] [stdout]    --> src/kernel/primitives/resource_algebra.rs:188:19
[INFO] [stdout]     |
[INFO] [stdout] 177 | impl ResourceContext {
[INFO] [stdout]     | -------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 188 |     pub(crate) fn has_named_resources(&self) -> bool {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 196 |     pub(crate) fn shares_storage_with(&self, other: &Self) -> bool {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `memory_separate_facts_reenabled` is never used
[INFO] [stdout]     --> src/kernel/primitives/resource_algebra.rs:2044:4
[INFO] [stdout]      |
[INFO] [stdout] 2044 | fn memory_separate_facts_reenabled(facts: &[&CResourceFact]) -> Vec<Proposition> {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `current_c_variable_surface` is never used
[INFO] [stdout]     --> src/lang/click.rs:1080:19
[INFO] [stdout]      |
[INFO] [stdout]  874 | impl SurfacePropositionMap {
[INFO] [stdout]      | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1080 |     pub(crate) fn current_c_variable_surface<'a>(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `LoweredOutcomeProposition` is never constructed
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:215:35
[INFO] [stdout]     |
[INFO] [stdout] 215 | pub(in crate::lang::click) struct LoweredOutcomeProposition {
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SurfaceLoadabilityObligationGuard` is never constructed
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:232:8
[INFO] [stdout]     |
[INFO] [stdout] 232 | struct SurfaceLoadabilityObligationGuard;
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `enter` and `finish` are never used
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:235:8
[INFO] [stdout]     |
[INFO] [stdout] 234 | impl SurfaceLoadabilityObligationGuard {
[INFO] [stdout]     | -------------------------------------- associated items in this implementation
[INFO] [stdout] 235 |     fn enter() -> Result<Self, String> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 246 |     fn finish(self) -> Vec<SurfaceLoadabilityObligation> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lower_outcome_proposition_with_obligations` is never used
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:319:31
[INFO] [stdout]     |
[INFO] [stdout] 319 | pub(in crate::lang::click) fn lower_outcome_proposition_with_obligations(
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/lang/click/proof/attempt.rs:38:19
[INFO] [stdout]    |
[INFO] [stdout] 37 | impl AttemptBudget {
[INFO] [stdout]    | ------------------ associated function in this implementation
[INFO] [stdout] 38 |     pub(super) fn new(candidates: usize) -> Self {
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `attempt` is never used
[INFO] [stdout]   --> src/lang/click/proof/attempt.rs:82:15
[INFO] [stdout]    |
[INFO] [stdout] 82 | pub(super) fn attempt<'a>(
[INFO] [stdout]    |               ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `try_sequence` is never used
[INFO] [stdout]    --> src/lang/click/proof/attempt.rs:130:15
[INFO] [stdout]     |
[INFO] [stdout] 130 | pub(super) fn try_sequence<'a>(
[INFO] [stdout]     |               ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `grouped_heap_predicate_contract_supported` is never used
[INFO] [stdout]   --> src/lang/click/proof/claim_proofs.rs:24:4
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn grouped_heap_predicate_contract_supported(function_block: &FunctionBlock) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `note_checked_driver_fallback` is never used
[INFO] [stdout]    --> src/lang/click/proof/claim_proofs.rs:102:4
[INFO] [stdout]     |
[INFO] [stdout] 102 | fn note_checked_driver_fallback(driver: &str, claim_label: &str, error: &ClickError) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Bounded` is never constructed
[INFO] [stdout]     --> src/lang/click/proof/cursor_execution.rs:2387:5
[INFO] [stdout]      |
[INFO] [stdout] 2380 | pub(super) enum BranchArmMode {
[INFO] [stdout]      |                 ------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 2387 |     Bounded,
[INFO] [stdout]      |     ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `BranchArmMode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `introduced_facts` is never read
[INFO] [stdout]    --> src/lang/click/proof/proof_object.rs:305:5
[INFO] [stdout]     |
[INFO] [stdout] 301 | struct PreparedExecutionArm {
[INFO] [stdout]     |        -------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 305 |     introduced_facts: PersistentOrderedSet<Proposition>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `unfolded_predicates` is never read
[INFO] [stdout]     --> src/lang/click/proof/proof_object.rs:1152:5
[INFO] [stdout]      |
[INFO] [stdout] 1149 | struct ExecutionProofStepDelta {
[INFO] [stdout]      |        ----------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 1152 |     unfolded_predicates: Vec<String>,
[INFO] [stdout]      |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `ExecutionProofStepDelta` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `complete_point_obligations` is never used
[INFO] [stdout]     --> src/lang/click/proof/proof_object.rs:1799:19
[INFO] [stdout]      |
[INFO] [stdout] 1576 | impl<'a> Proof<'a> {
[INFO] [stdout]      | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1799 |     pub(super) fn complete_point_obligations(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `apply_expanded_execution_steps_inner` is never used
[INFO] [stdout]     --> src/lang/click/proof/proof_object/execution_joins.rs:2160:19
[INFO] [stdout]      |
[INFO] [stdout]    5 | impl<'a> Proof<'a> {
[INFO] [stdout]      | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2160 |     pub(super) fn apply_expanded_execution_steps_inner(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `has_empty_execution_branch_leaf` and `goals` are never used
[INFO] [stdout]   --> src/lang/click/proof/proof_object/outcomes_and_focus.rs:45:42
[INFO] [stdout]    |
[INFO] [stdout]  5 | impl<'a> Proof<'a> {
[INFO] [stdout]    | ------------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub(in crate::lang::click::proof) fn has_empty_execution_branch_leaf(&self) -> bool {
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 51 |     pub(in crate::lang::click::proof) fn goals(&self) -> impl Iterator<Item = GoalId> + '_ {
[INFO] [stdout]    |                                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `try_indexed_goal_equality_rewrite_closure`, `try_indexed_statement_step_with_unrelated_context`, `try_statement_step_with_selected_facts`, and `try_statement_step_using` are never used
[INFO] [stdout]     --> src/lang/click/proof/proof_object/smart_closures.rs:910:19
[INFO] [stdout]      |
[INFO] [stdout]    6 | impl<'a> Proof<'a> {
[INFO] [stdout]      | ------------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout]  910 |     pub(super) fn try_indexed_goal_equality_rewrite_closure(&self) -> Option<Self> {
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2482 |     pub(super) fn try_indexed_statement_step_with_unrelated_context(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2617 |     pub(super) fn try_statement_step_with_selected_facts(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2645 |     pub(super) fn try_statement_step_using(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `into_vec` is never used
[INFO] [stdout]   --> src/lang/click/proof/replay_state.rs:79:19
[INFO] [stdout]    |
[INFO] [stdout] 60 | impl<T: Clone> SharedVec<T> {
[INFO] [stdout]    | --------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 79 |     pub(super) fn into_vec(self) -> Vec<T> {
[INFO] [stdout]    |                   ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `shares_tail_with` is never used
[INFO] [stdout]    --> src/lang/click/proof/replay_state.rs:355:19
[INFO] [stdout]     |
[INFO] [stdout] 287 | impl<T> PersistentSequence<T> {
[INFO] [stdout]     | ----------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 355 |     pub(super) fn shares_tail_with(&self, other: &Self) -> bool {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `clear` is never used
[INFO] [stdout]    --> src/lang/click/proof/replay_state.rs:436:19
[INFO] [stdout]     |
[INFO] [stdout] 428 | impl<T: Clone + Ord> PersistentOrderedSet<T> {
[INFO] [stdout]     | -------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 436 |     pub(super) fn clear(&mut self) {
[INFO] [stdout]     |                   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `kind` is never read
[INFO] [stdout]     --> src/lang/click/proof/replay_state.rs:1896:16
[INFO] [stdout]      |
[INFO] [stdout] 1893 | pub(super) struct ProofExecutionContinuation {
[INFO] [stdout]      |                   -------------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 1896 |     pub(super) kind: ProofExecutionContinuationKind,
[INFO] [stdout]      |                ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `ProofExecutionContinuation` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&primitives::Proposition` instead of cloning the inner type
[INFO] [stdout]    --> src/lang/click/proof/execution_planning/forward_planning.rs:688:51
[INFO] [stdout]     |
[INFO] [stdout] 688 | ...                   &available.clone(),
[INFO] [stdout]     |                                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(suspicious_double_ref_op)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `error`
[INFO] [stdout]     --> src/lang/click/proof/replay_engine/proof_execution.rs:1115:33
[INFO] [stdout]      |
[INFO] [stdout] 1115 | ...                   Err(error) => {
[INFO] [stdout]      |                           ^^^^^ help: if this is intentional, prefix it with an underscore: `_error`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `has_named_resources` is never used
[INFO] [stdout]    --> src/kernel/primitives/resource_algebra.rs:188:19
[INFO] [stdout]     |
[INFO] [stdout] 177 | impl ResourceContext {
[INFO] [stdout]     | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 188 |     pub(crate) fn has_named_resources(&self) -> bool {
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `memory_separate_facts_reenabled` is never used
[INFO] [stdout]     --> src/kernel/primitives/resource_algebra.rs:2044:4
[INFO] [stdout]      |
[INFO] [stdout] 2044 | fn memory_separate_facts_reenabled(facts: &[&CResourceFact]) -> Vec<Proposition> {
[INFO] [stdout]      |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `LoweredOutcomeProposition` is never constructed
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:215:35
[INFO] [stdout]     |
[INFO] [stdout] 215 | pub(in crate::lang::click) struct LoweredOutcomeProposition {
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `SurfaceLoadabilityObligationGuard` is never constructed
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:232:8
[INFO] [stdout]     |
[INFO] [stdout] 232 | struct SurfaceLoadabilityObligationGuard;
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `enter` and `finish` are never used
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:235:8
[INFO] [stdout]     |
[INFO] [stdout] 234 | impl SurfaceLoadabilityObligationGuard {
[INFO] [stdout]     | -------------------------------------- associated items in this implementation
[INFO] [stdout] 235 |     fn enter() -> Result<Self, String> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 246 |     fn finish(self) -> Vec<SurfaceLoadabilityObligation> {
[INFO] [stdout]     |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `lower_outcome_proposition_with_obligations` is never used
[INFO] [stdout]    --> src/lang/click/checking/contract_evaluation/proposition_lowering.rs:319:31
[INFO] [stdout]     |
[INFO] [stdout] 319 | pub(in crate::lang::click) fn lower_outcome_proposition_with_obligations(
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `grouped_heap_predicate_contract_supported` is never used
[INFO] [stdout]   --> src/lang/click/proof/claim_proofs.rs:24:4
[INFO] [stdout]    |
[INFO] [stdout] 24 | fn grouped_heap_predicate_contract_supported(function_block: &FunctionBlock) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `note_checked_driver_fallback` is never used
[INFO] [stdout]    --> src/lang/click/proof/claim_proofs.rs:102:4
[INFO] [stdout]     |
[INFO] [stdout] 102 | fn note_checked_driver_fallback(driver: &str, claim_label: &str, error: &ClickError) {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Bounded` is never constructed
[INFO] [stdout]     --> src/lang/click/proof/cursor_execution.rs:2387:5
[INFO] [stdout]      |
[INFO] [stdout] 2380 | pub(super) enum BranchArmMode {
[INFO] [stdout]      |                 ------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 2387 |     Bounded,
[INFO] [stdout]      |     ^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `BranchArmMode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `introduced_facts` is never read
[INFO] [stdout]    --> src/lang/click/proof/proof_object.rs:305:5
[INFO] [stdout]     |
[INFO] [stdout] 301 | struct PreparedExecutionArm {
[INFO] [stdout]     |        -------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 305 |     introduced_facts: PersistentOrderedSet<Proposition>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `unfolded_predicates` is never read
[INFO] [stdout]     --> src/lang/click/proof/proof_object.rs:1152:5
[INFO] [stdout]      |
[INFO] [stdout] 1149 | struct ExecutionProofStepDelta {
[INFO] [stdout]      |        ----------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 1152 |     unfolded_predicates: Vec<String>,
[INFO] [stdout]      |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `ExecutionProofStepDelta` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `apply_expanded_execution_steps_inner` is never used
[INFO] [stdout]     --> src/lang/click/proof/proof_object/execution_joins.rs:2160:19
[INFO] [stdout]      |
[INFO] [stdout]    5 | impl<'a> Proof<'a> {
[INFO] [stdout]      | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2160 |     pub(super) fn apply_expanded_execution_steps_inner(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `has_empty_execution_branch_leaf` is never used
[INFO] [stdout]   --> src/lang/click/proof/proof_object/outcomes_and_focus.rs:45:42
[INFO] [stdout]    |
[INFO] [stdout]  5 | impl<'a> Proof<'a> {
[INFO] [stdout]    | ------------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub(in crate::lang::click::proof) fn has_empty_execution_branch_leaf(&self) -> bool {
[INFO] [stdout]    |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `try_indexed_statement_step_with_unrelated_context`, `try_statement_step_with_selected_facts`, and `try_statement_step_using` are never used
[INFO] [stdout]     --> src/lang/click/proof/proof_object/smart_closures.rs:2482:19
[INFO] [stdout]      |
[INFO] [stdout]    6 | impl<'a> Proof<'a> {
[INFO] [stdout]      | ------------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 2482 |     pub(super) fn try_indexed_statement_step_with_unrelated_context(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2617 |     pub(super) fn try_statement_step_with_selected_facts(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 2645 |     pub(super) fn try_statement_step_using(
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `into_vec` is never used
[INFO] [stdout]   --> src/lang/click/proof/replay_state.rs:79:19
[INFO] [stdout]    |
[INFO] [stdout] 60 | impl<T: Clone> SharedVec<T> {
[INFO] [stdout]    | --------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 79 |     pub(super) fn into_vec(self) -> Vec<T> {
[INFO] [stdout]    |                   ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `clear` is never used
[INFO] [stdout]    --> src/lang/click/proof/replay_state.rs:436:19
[INFO] [stdout]     |
[INFO] [stdout] 428 | impl<T: Clone + Ord> PersistentOrderedSet<T> {
[INFO] [stdout]     | -------------------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 436 |     pub(super) fn clear(&mut self) {
[INFO] [stdout]     |                   ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `kind` is never read
[INFO] [stdout]     --> src/lang/click/proof/replay_state.rs:1896:16
[INFO] [stdout]      |
[INFO] [stdout] 1893 | pub(super) struct ProofExecutionContinuation {
[INFO] [stdout]      |                   -------------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 1896 |     pub(super) kind: ProofExecutionContinuationKind,
[INFO] [stdout]      |                ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: `ProofExecutionContinuation` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: using `.clone()` on a double reference, which returns `&primitives::Proposition` instead of cloning the inner type
[INFO] [stdout]    --> src/lang/click/proof/execution_planning/forward_planning.rs:688:51
[INFO] [stdout]     |
[INFO] [stdout] 688 | ...                   &available.clone(),
[INFO] [stdout]     |                                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(suspicious_double_ref_op)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 43.70s
[INFO] running `Command { std: "docker" "inspect" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b", kill_on_drop: false }`
[INFO] [stdout] 52c7992aed8eb78821a47e3a31326df794f17da41a8f7c6fd0de866b011cbf0b
