[INFO] fetching crate narust-158 0.3.1...
[INFO] testing narust-158-0.3.1 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate narust-158 0.3.1 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate narust-158 0.3.1
[INFO] finished tweaking crates.io crate narust-158 0.3.1
[INFO] tweaked toml for crates.io crate narust-158 0.3.1 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate narust-158 0.3.1 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate narust-158 0.3.1 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" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 163c7be2ca0ed4b7e0496be82e9daad26d7b89591aec45be033eafdfa48b26d9
[INFO] running `Command { std: "docker" "start" "-a" "163c7be2ca0ed4b7e0496be82e9daad26d7b89591aec45be033eafdfa48b26d9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "163c7be2ca0ed4b7e0496be82e9daad26d7b89591aec45be033eafdfa48b26d9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "163c7be2ca0ed4b7e0496be82e9daad26d7b89591aec45be033eafdfa48b26d9", kill_on_drop: false }`
[INFO] [stdout] 163c7be2ca0ed4b7e0496be82e9daad26d7b89591aec45be033eafdfa48b26d9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 042dc752c7438ade6d747a778394f47d18120cccdeccc187a45c7dec5874f812
[INFO] running `Command { std: "docker" "start" "-a" "042dc752c7438ade6d747a778394f47d18120cccdeccc187a45c7dec5874f812", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.63
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling ucd-trie v0.1.6
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling serde v1.0.209
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling anyhow v1.0.86
[INFO] [stderr]    Compiling serde_json v1.0.127
[INFO] [stderr]    Compiling thiserror v2.0.0
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling nar_dev_utils v0.42.0
[INFO] [stderr]    Compiling nar_dev_utils v0.40.0
[INFO] [stderr]    Compiling nar_dev_utils v0.44.0
[INFO] [stderr]    Compiling narsese v0.21.2
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling syn v2.0.87
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.63
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling serde_derive v1.0.209
[INFO] [stderr]    Compiling thiserror-impl v2.0.0
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling pest v2.7.11
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling pest_meta v2.7.11
[INFO] [stderr]    Compiling pest_generator v2.7.11
[INFO] [stderr]    Compiling pest_derive v2.7.11
[INFO] [stderr]    Compiling navm v0.17.3
[INFO] [stderr]    Compiling narust-158 v0.3.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:125:29
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef> {
[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] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:393:24
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                        ^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:408:9
[INFO] [stdout]     |
[INFO] [stdout] 408 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 409 |         predicate: impl FnOnce(&CompoundTermRef) -> bool,
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:425:41
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef {
[INFO] [stdout]     |                                         ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                         |
[INFO] [stdout]     |                                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:442:28
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut> {
[INFO] [stdout]     |                            ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:464:45
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                                             ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                             |
[INFO] [stdout]     |                                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:812:20
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:103:25
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:121:30
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef> {
[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] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:135:29
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut> {
[INFO] [stdout]     |                             ^^^^^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut<'_>> {
[INFO] [stdout]     |                                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:246:25
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:648:20
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef<'_> {
[INFO] [stdout]     |                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:654:20
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut<'_> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/sentence_trait.rs:75:26
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question>;
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question>;
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/sentence/impls/sentence_v1.rs:112:26
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/judgement_v1.rs:71:26
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/question_v1.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/task.rs:309:26
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                                 +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 132 |     rank_f: RankF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout]     = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:138:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 138 |     is_compatible_to_add_f: IsCompatibleToAddF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/inference/rules/compositional_rules.rs:719:47
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                               ^^^^^^^^^^^^                 ^^^^^ the same lifetime is elided here
[INFO] [stdout]     |                                               |
[INFO] [stdout]     |                                               the lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef<'_>; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/control/process/process_reason.rs:37:27
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept> {
[INFO] [stdout]    |                           ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept<'_>> {
[INFO] [stdout]    |                                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.52s
[INFO] running `Command { std: "docker" "inspect" "042dc752c7438ade6d747a778394f47d18120cccdeccc187a45c7dec5874f812", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "042dc752c7438ade6d747a778394f47d18120cccdeccc187a45c7dec5874f812", kill_on_drop: false }`
[INFO] [stdout] 042dc752c7438ade6d747a778394f47d18120cccdeccc187a45c7dec5874f812
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a2ffa3b9cf6629c08a401c3a7e325f08dbb0b1cdb8ac0fa1e5f35dd524b7c0df
[INFO] running `Command { std: "docker" "start" "-a" "a2ffa3b9cf6629c08a401c3a7e325f08dbb0b1cdb8ac0fa1e5f35dd524b7c0df", kill_on_drop: false }`
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:125:29
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef> {
[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] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:393:24
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                        ^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:408:9
[INFO] [stdout]     |
[INFO] [stdout] 408 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 409 |         predicate: impl FnOnce(&CompoundTermRef) -> bool,
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:425:41
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef {
[INFO] [stdout]     |                                         ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                         |
[INFO] [stdout]     |                                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:442:28
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut> {
[INFO] [stdout]     |                            ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:464:45
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                                             ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                             |
[INFO] [stdout]     |                                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:812:20
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:103:25
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:121:30
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef> {
[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] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:135:29
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut> {
[INFO] [stdout]     |                             ^^^^^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut<'_>> {
[INFO] [stdout]     |                                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:246:25
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:648:20
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef<'_> {
[INFO] [stdout]     |                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:654:20
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut<'_> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/sentence_trait.rs:75:26
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question>;
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question>;
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/sentence/impls/sentence_v1.rs:112:26
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/judgement_v1.rs:71:26
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/question_v1.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/task.rs:309:26
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                                 +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling narust-158 v0.3.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 132 |     rank_f: RankF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout]     = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:138:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 138 |     is_compatible_to_add_f: IsCompatibleToAddF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/inference/rules/compositional_rules.rs:719:47
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                               ^^^^^^^^^^^^                 ^^^^^ the same lifetime is elided here
[INFO] [stdout]     |                                               |
[INFO] [stdout]     |                                               the lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef<'_>; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/control/process/process_reason.rs:37:27
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept> {
[INFO] [stdout]    |                           ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept<'_>> {
[INFO] [stdout]    |                                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::stamp`
[INFO] [stdout]    --> src/entity/stamp.rs:231:9
[INFO] [stdout]     |
[INFO] [stdout] 231 |     use crate::stamp;
[INFO] [stdout]     |         ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:125:29
[INFO] [stdout]     |
[INFO] [stdout] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef> {
[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] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                                                              ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:393:24
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                        ^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                        |
[INFO] [stdout]     |                        the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:408:9
[INFO] [stdout]     |
[INFO] [stdout] 408 |         &self,
[INFO] [stdout]     |         ^^^^^ the lifetime is elided here
[INFO] [stdout] 409 |         predicate: impl FnOnce(&CompoundTermRef) -> bool,
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef> {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 410 |     ) -> Option<CompoundTermRef<'_>> {
[INFO] [stdout]     |                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:425:41
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef {
[INFO] [stdout]     |                                         ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                         |
[INFO] [stdout]     |                                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:442:28
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut> {
[INFO] [stdout]     |                            ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                            |
[INFO] [stdout]     |                            the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:464:45
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                                             ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                             |
[INFO] [stdout]     |                                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:806:20
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 806 |     pub fn get_ref(&self) -> CompoundTermRef<'_> {
[INFO] [stdout]     |                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/compound_term.rs:812:20
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stdout]     |                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:103:25
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 103 |     pub fn as_statement(&self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                      ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:121:30
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef> {
[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] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:135:29
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut> {
[INFO] [stdout]     |                             ^^^^^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                             |
[INFO] [stdout]     |                             the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut<'_>> {
[INFO] [stdout]     |                                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:246:25
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef> {
[INFO] [stdout]     |                         ^^^^^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                         |
[INFO] [stdout]     |                         the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:648:20
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef {
[INFO] [stdout]     |                    ^^^^^     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 648 |     pub fn get_ref(&self) -> StatementRef<'_> {
[INFO] [stdout]     |                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/language/features/statement.rs:654:20
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut {
[INFO] [stdout]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                    |
[INFO] [stdout]     |                    the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut<'_> {
[INFO] [stdout]     |                                                 ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/sentence_trait.rs:75:26
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question>;
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question>;
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/sentence/impls/sentence_v1.rs:112:26
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/judgement_v1.rs:71:26
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/entity/sentence/impls/question_v1.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]    |                                                          +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/entity/task.rs:309:26
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stdout]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stdout]     |                                                                 +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 132 |     rank_f: RankF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout]     = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stdout]    --> src/storage/rank_table.rs:138:5
[INFO] [stdout]     |
[INFO] [stdout] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stdout]     |                 --------- in this derive macro expansion
[INFO] [stdout] ...
[INFO] [stdout] 138 |     is_compatible_to_add_f: IsCompatibleToAddF<T>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: the address of the same function can vary between different codegen units
[INFO] [stdout]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stdout]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/inference/rules/compositional_rules.rs:719:47
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                               ^^^^^^^^^^^^                 ^^^^^ the same lifetime is elided here
[INFO] [stdout]     |                                               |
[INFO] [stdout]     |                                               the lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef<'_>; 2]) -> [Option<&Term>; 2] {
[INFO] [stdout]     |                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/control/process/process_reason.rs:37:27
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept> {
[INFO] [stdout]    |                           ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                           |
[INFO] [stdout]    |                           the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept<'_>> {
[INFO] [stdout]    |                                                                    ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 13.76s
[INFO] running `Command { std: "docker" "inspect" "a2ffa3b9cf6629c08a401c3a7e325f08dbb0b1cdb8ac0fa1e5f35dd524b7c0df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2ffa3b9cf6629c08a401c3a7e325f08dbb0b1cdb8ac0fa1e5f35dd524b7c0df", kill_on_drop: false }`
[INFO] [stdout] a2ffa3b9cf6629c08a401c3a7e325f08dbb0b1cdb8ac0fa1e5f35dd524b7c0df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 18d71c78758c6f4d0e49aeedb858e864d4082ee9621f7d4f265dc21452e60bf6
[INFO] running `Command { std: "docker" "start" "-a" "18d71c78758c6f4d0e49aeedb858e864d4082ee9621f7d4f265dc21452e60bf6", kill_on_drop: false }`
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:125:29
[INFO] [stderr]     |
[INFO] [stderr] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef> {
[INFO] [stderr]     |                             ^^^^^ the lifetime is elided here                 ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 125 |     pub fn as_compound_type(&self, compound_class: impl AsRef<str>) -> Option<CompoundTermRef<'_>> {
[INFO] [stderr]     |                                                                                              ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:393:24
[INFO] [stderr]     |
[INFO] [stderr] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef> {
[INFO] [stderr]     |                        ^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                        |
[INFO] [stderr]     |                        the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 393 |     pub fn as_compound(&self) -> Option<CompoundTermRef<'_>> {
[INFO] [stderr]     |                                                        ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:408:9
[INFO] [stderr]     |
[INFO] [stderr] 408 |         &self,
[INFO] [stderr]     |         ^^^^^ the lifetime is elided here
[INFO] [stderr] 409 |         predicate: impl FnOnce(&CompoundTermRef) -> bool,
[INFO] [stderr] 410 |     ) -> Option<CompoundTermRef> {
[INFO] [stderr]     |                 ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 410 |     ) -> Option<CompoundTermRef<'_>> {
[INFO] [stderr]     |                                ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:425:41
[INFO] [stderr]     |
[INFO] [stderr] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef {
[INFO] [stderr]     |                                         ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                         |
[INFO] [stderr]     |                                         the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 425 |     pub unsafe fn as_compound_unchecked(&self) -> CompoundTermRef<'_> {
[INFO] [stderr]     |                                                                  ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:442:28
[INFO] [stderr]     |
[INFO] [stderr] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut> {
[INFO] [stderr]     |                            ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                            |
[INFO] [stderr]     |                            the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 442 |     pub fn as_compound_mut(&mut self) -> Option<CompoundTermRefMut<'_>> {
[INFO] [stderr]     |                                                                   ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:464:45
[INFO] [stderr]     |
[INFO] [stderr] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut {
[INFO] [stderr]     |                                             ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                             |
[INFO] [stderr]     |                                             the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 464 |     pub unsafe fn as_compound_mut_unchecked(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stderr]     |                                                                             ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:806:20
[INFO] [stderr]     |
[INFO] [stderr] 806 |     pub fn get_ref(&self) -> CompoundTermRef {
[INFO] [stderr]     |                    ^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                    |
[INFO] [stderr]     |                    the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 806 |     pub fn get_ref(&self) -> CompoundTermRef<'_> {
[INFO] [stderr]     |                                             ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/compound_term.rs:812:20
[INFO] [stderr]     |
[INFO] [stderr] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut {
[INFO] [stderr]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                    |
[INFO] [stderr]     |                    the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 812 |     pub fn mut_ref(&mut self) -> CompoundTermRefMut<'_> {
[INFO] [stderr]     |                                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:103:25
[INFO] [stderr]     |
[INFO] [stderr] 103 |     pub fn as_statement(&self) -> Option<StatementRef> {
[INFO] [stderr]     |                         ^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 103 |     pub fn as_statement(&self) -> Option<StatementRef<'_>> {
[INFO] [stderr]     |                                                      ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:121:30
[INFO] [stderr]     |
[INFO] [stderr] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef> {
[INFO] [stderr]     |                              ^^^^^ the lifetime is elided here                  ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 121 |     pub fn as_statement_type(&self, statement_class: impl AsRef<str>) -> Option<StatementRef<'_>> {
[INFO] [stderr]     |                                                                                             ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:135:29
[INFO] [stderr]     |
[INFO] [stderr] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut> {
[INFO] [stderr]     |                             ^^^^^^^^^            ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                             |
[INFO] [stderr]     |                             the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 135 |     pub fn as_statement_mut(&mut self) -> Option<StatementRefMut<'_>> {
[INFO] [stderr]     |                                                                 ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:246:25
[INFO] [stderr]     |
[INFO] [stderr] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef> {
[INFO] [stderr]     |                         ^^^^^^^^^            ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                         |
[INFO] [stderr]     |                         the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 246 |     pub fn as_statement(&mut self) -> Option<StatementRef<'_>> {
[INFO] [stderr]     |                                                          ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:648:20
[INFO] [stderr]     |
[INFO] [stderr] 648 |     pub fn get_ref(&self) -> StatementRef {
[INFO] [stderr]     |                    ^^^^^     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                    |
[INFO] [stderr]     |                    the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 648 |     pub fn get_ref(&self) -> StatementRef<'_> {
[INFO] [stderr]     |                                          ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/language/features/statement.rs:654:20
[INFO] [stderr]     |
[INFO] [stderr] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut {
[INFO] [stderr]     |                    ^^^^^^^^^     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                    |
[INFO] [stderr]     |                    the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 654 |     pub fn mut_ref(&mut self) -> StatementRefMut<'_> {
[INFO] [stderr]     |                                                 ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/entity/sentence/sentence_trait.rs:75:26
[INFO] [stderr]    |
[INFO] [stderr] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question>;
[INFO] [stderr]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                          |
[INFO] [stderr]    |                          the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 75 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question>;
[INFO] [stderr]    |                                                          +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/entity/sentence/impls/sentence_v1.rs:112:26
[INFO] [stderr]     |
[INFO] [stderr] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stderr]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                          |
[INFO] [stderr]     |                          the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 112 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stderr]     |                                                          +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/entity/sentence/impls/judgement_v1.rs:71:26
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stderr]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                          |
[INFO] [stderr]    |                          the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 71 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stderr]    |                                                          +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/entity/sentence/impls/question_v1.rs:57:26
[INFO] [stderr]    |
[INFO] [stderr] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stderr]    |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                          |
[INFO] [stderr]    |                          the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 57 |     fn as_punctuated_ref(&self) -> PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stderr]    |                                                          +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/entity/task.rs:309:26
[INFO] [stderr]     |
[INFO] [stderr] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<Self::Judgement, Self::Question> {
[INFO] [stderr]     |                          ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                          |
[INFO] [stderr]     |                          the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 309 |     fn as_punctuated_ref(&self) -> super::PunctuatedSentenceRef<'_, Self::Judgement, Self::Question> {
[INFO] [stderr]     |                                                                 +++
[INFO] [stderr] 
[INFO] [stderr] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stderr]    --> src/storage/rank_table.rs:132:5
[INFO] [stderr]     |
[INFO] [stderr] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stderr]     |                 --------- in this derive macro expansion
[INFO] [stderr] ...
[INFO] [stderr] 132 |     rank_f: RankF<T>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: the address of the same function can vary between different codegen units
[INFO] [stderr]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stderr]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stderr]     = note: `#[warn(unpredictable_function_pointer_comparisons)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function pointer comparisons do not produce meaningful results since their addresses are not guaranteed to be unique
[INFO] [stderr]    --> src/storage/rank_table.rs:138:5
[INFO] [stderr]     |
[INFO] [stderr] 121 | #[derive(Debug, PartialEq, Serialize, Deserialize)]
[INFO] [stderr]     |                 --------- in this derive macro expansion
[INFO] [stderr] ...
[INFO] [stderr] 138 |     is_compatible_to_add_f: IsCompatibleToAddF<T>,
[INFO] [stderr]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: the address of the same function can vary between different codegen units
[INFO] [stderr]     = note: furthermore, different functions could have the same address after being merged together
[INFO] [stderr]     = note: for more information visit <https://doc.rust-lang.org/nightly/core/ptr/fn.fn_addr_eq.html>
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/inference/rules/compositional_rules.rs:719:47
[INFO] [stderr]     |
[INFO] [stderr] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef; 2]) -> [Option<&Term>; 2] {
[INFO] [stderr]     |                                               ^^^^^^^^^^^^                 ^^^^^ the same lifetime is elided here
[INFO] [stderr]     |                                               |
[INFO] [stderr]     |                                               the lifetime is hidden here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 719 | fn intro_var_commons([premise_1, premise_2]: [StatementRef<'_>; 2]) -> [Option<&Term>; 2] {
[INFO] [stderr]     |                                                           ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> src/control/process/process_reason.rs:37:27
[INFO] [stderr]    |
[INFO] [stderr] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept> {
[INFO] [stderr]    |                           ^^^^^^^^^            ^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                           |
[INFO] [stderr]    |                           the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 37 |     fn preprocess_concept(&mut self) -> Option<ReasonContextConcept<'_>> {
[INFO] [stderr]    |                                                                    ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `narust-158` (lib) generated 23 warnings (run `cargo fix --lib -p narust-158` to apply 21 suggestions)
[INFO] [stderr] warning: unused import: `crate::stamp`
[INFO] [stderr]    --> src/entity/stamp.rs:231:9
[INFO] [stderr]     |
[INFO] [stderr] 231 |     use crate::stamp;
[INFO] [stderr]     |         ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `narust-158` (lib test) generated 24 warnings (23 duplicates) (run `cargo fix --lib -p narust-158 --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/narust_158-c47f4645fab67f70)
[INFO] [stdout] 
[INFO] [stdout] running 362 tests
[INFO] [stdout] test entity::float_values::budget_value::tests::durability ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::above_threshold ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::priority ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::from_lexical ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::quality ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::set_priority ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::set_quality ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::summary ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::to_display ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::to_display_brief ... ok
[INFO] [stdout] test entity::float_values::budget_value::tests::set_durability ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::check_valid ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::fmt ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::set_value ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::try_from ... ok
[INFO] [stdout] test control::process::concept_linking::tests::prepare_term_link_templates ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::expectation_abs_dif ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::value ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::new ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::is_analytic ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::confidence ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::frequency_mut ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::from_lexical ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::confidence_mut ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::frequency ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::set_analytic ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::to_display ... ok
[INFO] [stdout] test entity::stamp::tests::evidential_base ... ok
[INFO] [stdout] test entity::stamp::tests::from_merge ... ok
[INFO] [stdout] test entity::stamp::tests::to_display ... ok
[INFO] [stdout] test entity::stamp::tests::evidential_eq ... ok
[INFO] [stdout] test entity::stamp::tests::evidence_length ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::to_display_brief ... ok
[INFO] [stdout] test entity::stamp::tests::with_old ... ok
[INFO] [stdout] test entity::stamp::tests::with_time ... ok
[INFO] [stdout] test entity::task::tests::rc_task::sync_serial ... ok
[INFO] [stdout] test entity::task::tests::rc_task::clone_stability ... ok
[INFO] [stdout] test entity::task::tests::rc_task::new ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::set_value_unchecked ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::to_display ... ok
[INFO] [stdout] test entity::stamp::tests::get ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::to_display_brief ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::expectation ... ok
[INFO] [stdout] test entity::float_values::truth_value::tests::is_negative ... ok
[INFO] [stdout] test entity::task::tests::serde::unify_rcs ... ok
[INFO] [stdout] test entity::stamp::tests::creation_time ... ok
[INFO] [stdout] test inference::functions::truth_functions::tests::function_table ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::w2c ... ok
[INFO] [stdout] test inference::local_inference::tests::answer_question_multiple_time ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::c2w ... ok
[INFO] [stdout] test inference::local_inference::tests::direct_answer_question ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_imp_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_imp_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_inh_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_inh_not_sp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_inh_not_ps ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_pre_inh_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_imp_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_imp_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_inh_not_ps ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_inh_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_inh_not_sp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::compose_as_sub_inh_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_imp_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_imp_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_inh_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_inh_not_ps ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_sub_imp_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_inh_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_sub_inh_not_ps ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_sub_inh_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_pre_inh_not_sp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_compound_pre_inh_and ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_sub_inh_not_sp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_statement_conjunction_backward ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_as_sub_inh_or ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_statement_conjunction ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_statement_disjunction ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::decompose_statement_disjunction_backward ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::eliminate_var_dep ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::eliminate_var_dep_nal_616 ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_pre_con ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_pre_equ ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_pre_imp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_pre_imp_rev ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_sub_con ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_sub_equ ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_sub_imp ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_outer_sub_imp_rev ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_same_predicate ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_inner_con_1 ... ok
[INFO] [stdout] test inference::rules::matching_rules::tests::answer_after_revise ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_inner_con_2 ... ok
[INFO] [stdout] test inference::rules::matching_rules::tests::revise_after_direct ... ok
[INFO] [stdout] test inference::rules::compositional_rules::tests::intro_var_same_subject ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_ext ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::or ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_ext_rev ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_ext_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_ext_rev_answer ... ok
[INFO] [stdout] test inference::rules::matching_rules::tests::answer_question_with_variables ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_int_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_int_rev ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_diff_int_rev_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_ext_1 ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::and ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_ext_2 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_int_1 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_ext_2_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_int_1_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_ext_1_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_int_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_int_ext_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_int_2_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_int_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_image_int_2 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_diff_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_diff_ext_neg ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_product ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_int_int_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_diff_int_neg ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_diff_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_both_product_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_int_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::contraposition ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::compose_one_int_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_ext_rev ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_ext_rev_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_int_rev ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_ext_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_int_rev_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_diff_int_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_ext_1_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_ext_2 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_ext_1 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_int_1_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_ext_2_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_int_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_int_2 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_int_1 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_image_int_2_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_int_ext_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_int_int ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::div ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_diff_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_product ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_int_int_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_diff_ext_neg ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_diff_int_neg ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_diff_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_both_product_answer ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_int_int ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_int_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_set_ext_1 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::structural_conjunction ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::structural_conjunction_backward ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_set_ext_2 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_set_int_1 ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::decompose_one_set_int_2 ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::add ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_negation_forward ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_ext ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::structural_disjunction ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_ext_pre ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_ext_sub ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::structural_disjunction_backward ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_int_sub ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_int_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::abduction_backward_sub ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_set_int ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::abduction_pre ... ok
[INFO] [stdout] test inference::rules::structural_rules::tests::transform_negation_backward ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::max_from ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::abduction_answer_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::abduction_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::analogy_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::comparison_answer_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::analogy_answer_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::analogy_answer_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::abduction_answer_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::comparison_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::comparison_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_abduction ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_deduction_reduce_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_abduction_rev ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_abduction_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_deduction_reduce ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::comparison_answer_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conversion ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::analogy_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conversion_high ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_abduction_rev_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::deduction ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_deduction_replace ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::deduction_backward ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_answer_weak ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_var ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_var_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_var_weak ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::exemplification ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_weak ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::exemplification_backward ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::exemplification_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_induction ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::deduction_answer ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::induction_answer_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::detachment_var_answer_weak ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::induction_pre ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::infer_to_asy_high ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::infer_to_asy ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::resemblance ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::infer_to_sym_high ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::fail_case_image_from_image_from_conditional_ded ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::induction_sub ... ok
[INFO] [stdout] test inference::rules::transform_rules::tests::transform_backward_ext ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::induction_answer_sub ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::resemblance_answer ... ok
[INFO] [stdout] test inference::rules::transform_rules::tests::transform_backward_int ... ok
[INFO] [stdout] test inference::rules::utils::tests::test_opposite ... ok
[INFO] [stdout] test inference::rules::utils::tests::test_select ... ok
[INFO] [stdout] test inference::rules::transform_rules::tests::transform_basic_int ... ok
[INFO] [stdout] test inference::rules::transform_rules::tests::transform_basic_ext ... ok
[INFO] [stdout] test inference::tests::debugging::issue_001_20240824_apply_substitute_infinite_recurse ... ignored, 堆栈溢出类测试 运行时间过长，不便加入cargo test中
[INFO] [stdout] test inference::tests::debugging::bug_20240908_intro_var_inner_invalid_statement ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::infer_to_sym ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_induction_answer ... ok
[INFO] [stdout] test inference::traits::evidential::tests::set_vec_eq ... ok
[INFO] [stdout] test language::base::construct::tests::test_term ... ok
[INFO] [stdout] test inference::rules::syllogistic_rules::tests::conditional_deduction_replace_answer ... ok
[INFO] [stdout] test language::base::construct::tests::空集_内涵像 - should panic ... ok
[INFO] [stdout] test inference::tests::debugging::bug_20240819_intro_var_inner_loop_substitute ... ok
[INFO] [stdout] test inference::local_inference::tests::stability ... ok
[INFO] [stdout] test language::base::construct::tests::空集_内涵集 - should panic ... ok
[INFO] [stdout] test language::base::construct::tests::空集_外延集 - should panic ... ok
[INFO] [stdout] test language::base::construct::tests::组分数不对_二元_外延差3 - should panic ... ok
[INFO] [stdout] test language::base::construct::tests::组分数不对_一元_否定 - should panic ... ok
[INFO] [stdout] test language::base::construct::tests::组分数不对_二元_外延差1 - should panic ... ok
[INFO] [stdout] test language::base::construct::tests::空集_外延像 - should panic ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_difference_ext_arg ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_difference_int ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_difference_int_arg ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_ext_from_image ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_ext_from_product ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_ext_vec ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_difference_ext ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_int_from_image ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_int_vec ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_image_int_from_product ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_intersection_ext ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_set_ext ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_intersection_int ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_set_int ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_set_int_arg ... ok
[INFO] [stdout] test language::base::making::tests::compound::make_compound_term_from_identifier ... ok
[INFO] [stdout] test language::base::making::tests::concrete_type::make_set_ext_arg ... ok
[INFO] [stdout] test language::base::making::tests::statement::make_statement_relation ... ok
[INFO] [stdout] test language::base::property::tests::term::components ... ok
[INFO] [stdout] test language::base::property::tests::term::contain_type ... ok
[INFO] [stdout] test language::base::property::tests::term::eq ... ok
[INFO] [stdout] test language::base::property::tests::term::fmt ... ok
[INFO] [stdout] test language::base::making::tests::statement::make_statement_symmetric ... ok
[INFO] [stdout] test language::base::property::tests::term::hash ... ok
[INFO] [stdout] test language::base::property::tests::term::id_comp ... ok
[INFO] [stdout] test language::base::property::tests::term::id_comp_mut ... ok
[INFO] [stdout] test language::base::property::tests::term::identifier ... ok
[INFO] [stdout] test language::base::property::tests::term::for_each_atom ... ok
[INFO] [stdout] test language::base::property::tests::term::is_placeholder ... ok
[INFO] [stdout] test language::base::property::tests::term_components::get ... ok
[INFO] [stdout] test language::base::property::tests::term::structural_match ... ok
[INFO] [stdout] test language::base::property::tests::term_components::get_unchecked ... ok
[INFO] [stdout] test language::base::property::tests::term_components::is_empty ... ok
[INFO] [stdout] test language::base::property::tests::term_components::iter ... ok
[INFO] [stdout] test language::base::property::tests::term_components::len ... ok
[INFO] [stdout] test language::base::property::tests::term_components::sort_dedup ... ok
[INFO] [stdout] test language::conversion::lexical_fold::tests::test_lexical_fold ... ok
[INFO] [stdout] test language::conversion::lexical_fold::tests::test_lexical_fold_err ... ok
[INFO] [stdout] test language::conversion::lexical_fold::tests::test_var_map ... ok
[INFO] [stdout] test language::dialect::tests::test_dialect_parser ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term::from_into ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term::get_ref ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term::mut_ref ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::can_extract ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::clone_components ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::component_at ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::component_at_unchecked ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::contain_all_components ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::contain_component ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::contain_term ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::deref ... ok
[INFO] [stdout] test language::base::making::tests::compound::make_compound_term ... ok
[INFO] [stdout] test language::base::serde::tests::test_soundness ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::size ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::assure_safe_interface ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::components ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::deref_and_mut ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::into_ref ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::reorder_components ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref_mut::set_term_when_dealing_variables ... ok
[INFO] [stdout] test language::features::compound_term::tests::term::instanceof_compound ... ok
[INFO] [stdout] test language::features::compound_term::tests::term::is_commutative ... ok
[INFO] [stdout] test language::features::image::tests::get_relation ... ok
[INFO] [stdout] test language::features::image::tests::get_relation_index ... ok
[INFO] [stdout] test language::features::image::tests::get_the_other_component ... ok
[INFO] [stdout] test language::features::image::tests::instanceof_image ... ok
[INFO] [stdout] test language::features::statement::tests::statement::from_into ... ok
[INFO] [stdout] test language::features::statement::tests::statement::get_ref ... ok
[INFO] [stdout] test language::features::statement::tests::statement::mut_ref ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid_蕴含重言式 - should panic ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid_被包含的重言式_主项包含谓项 - should panic ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid_被包含的重言式_谓项包含主项 - should panic ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid_重言式 - should panic ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::invalid_非陈述词项 - should panic ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref::subject_predicate ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref_mut::subject_predicate ... ok
[INFO] [stdout] test language::features::statement::tests::statement_ref_mut::to_ref ... ok
[INFO] [stdout] test language::features::term::tests::complexity ... ok
[INFO] [stdout] test language::features::term::tests::is_same_type ... ok
[INFO] [stdout] test language::features::term::tests::name ... ok
[INFO] [stdout] test language::features::variable::tests::contain_var ... ok
[INFO] [stdout] test language::features::variable::tests::is_constant ... ok
[INFO] [stdout] test language::variable_process::tests::apply_substitute ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::set_component ... ok
[INFO] [stdout] test language::variable_process::tests::rename_variables ... ok
[INFO] [stdout] test parameters::tests::test_default_consistency ... ok
[INFO] [stdout] test parameters::tests::test_default_value ... ok
[INFO] [stdout] test language::variable_process::tests::unify ... ok
[INFO] [stdout] test storage::bag::distributor::tests::test_debug_truncated_arr ... ok
[INFO] [stdout] test storage::bag::distributor::tests::serde ... ok
[INFO] [stdout] test language::base::making::tests::statement::make_statement ... ok
[INFO] [stdout] test storage::bag::impl_v1::tests::modified_level_in_bag ... ok
[INFO] [stdout] test storage::bag::impl_v1::tests::long_term ... ok
[INFO] [stdout] test storage::bag::impl_v1::tests::single_item ... ok
[INFO] [stdout] test storage::bag::impl_v1::tests::multi_item ... ok
[INFO] [stdout] test storage::rank_table::tests::ser ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::load_memory_from_json ... ok
[INFO] [stdout] test language::features::compound_term::tests::compound_term_ref::reduce_components ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::and_multi ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::load_status_from_json ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::arithmetical_average ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_sav::public::tests::format_verify ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::load_memory_to_other_reasoners ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::or_multi ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::load_status_to_other_reasoners ... ok
[INFO] [stdout] test inference::rules::transform_rules::tests::stability ... ok
[INFO] [stdout] test entity::float_values::short_float::tests::mul ... ok
[INFO] [stdout] test storage::bag::distributor::tests::test_distributor ... ok
[INFO] [stdout] test storage::memory::tests_memory::test_soundness ... ok
[INFO] [stdout] test inference::rules::matching_rules::tests::stability ... ok
[INFO] [stdout] test inference::functions::utility_functions::tests::geometrical_average ... ok
[INFO] [stdout] test inference::tests::debugging::bug_20240819_intro_var_inner_another_example ... ok
[INFO] [stdout] test entity::task::tests::serde::unify_rcs_large ... ok
[INFO] [stdout] test inference::tests::stability::logical_stability_separated ... ok
[INFO] [stdout] test inference::tests::stability::logical_stability has been running for over 60 seconds
[INFO] [stdout] test inference::tests::stability::long_term_stability has been running for over 60 seconds
[INFO] [stdout] test inference::tests::stability::long_term_stability ... ok
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::rc_serial_stability has been running for over 60 seconds
[INFO] [stdout] test vm::alpha::cmd_dispatch::cmd_loa::tests::rc_serial_stability ... ok
[INFO] [stdout] test inference::tests::stability::logical_stability ... ok
[INFO] [stderr]      Running unittests src/bin/batch/main.rs (/opt/rustwide/target/debug/deps/narust_158_batch-e0b613a1a4ab0c55)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/shell/main.rs (/opt/rustwide/target/debug/deps/narust_158_shell-2c34f47081665c61)
[INFO] [stdout] test result: ok. 361 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 88.41s
[INFO] [stderr]    Doc-tests narust_158
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/language/variable_process.rs - language::variable_process::substitution (line 27) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.33s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "18d71c78758c6f4d0e49aeedb858e864d4082ee9621f7d4f265dc21452e60bf6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "18d71c78758c6f4d0e49aeedb858e864d4082ee9621f7d4f265dc21452e60bf6", kill_on_drop: false }`
[INFO] [stdout] 18d71c78758c6f4d0e49aeedb858e864d4082ee9621f7d4f265dc21452e60bf6
