[INFO] fetching crate narust-158 0.3.1... [INFO] checking narust-158-0.3.1 against master#8a703520e80d87d4423c01f9d4fbc9e5f6533a02 for pr-154205-1 [INFO] extracting crate narust-158 0.3.1 into /workspace/builds/worker-5-tc1/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-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate narust-158 0.3.1 on toolchain 8a703520e80d87d4423c01f9d4fbc9e5f6533a02 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8a703520e80d87d4423c01f9d4fbc9e5f6533a02" "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" "+8a703520e80d87d4423c01f9d4fbc9e5f6533a02" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded thiserror v2.0.0 [INFO] [stderr] Downloaded unicode-ident v1.0.12 [INFO] [stderr] Downloaded thiserror-impl v2.0.0 [INFO] [stderr] Downloaded thiserror-impl v1.0.63 [INFO] [stderr] Downloaded crypto-common v0.1.6 [INFO] [stderr] Downloaded cfg-if v1.0.0 [INFO] [stderr] Downloaded itoa v1.0.11 [INFO] [stderr] Downloaded cpufeatures v0.2.13 [INFO] [stderr] Downloaded wasi v0.11.0+wasi-snapshot-preview1 [INFO] [stderr] Downloaded thiserror v1.0.63 [INFO] [stderr] Downloaded once_cell v1.19.0 [INFO] [stderr] Downloaded anyhow v1.0.86 [INFO] [stderr] Downloaded serde v1.0.209 [INFO] [stderr] Downloaded nar_dev_utils v0.44.0 [INFO] [stderr] Downloaded nar_dev_utils v0.40.0 [INFO] [stderr] Downloaded narsese v0.21.2 [INFO] [stderr] Downloaded pest v2.7.11 [INFO] [stderr] Downloaded zerocopy v0.7.35 [INFO] [stderr] Downloaded serde_json v1.0.127 [INFO] [stderr] Downloaded nar_dev_utils v0.42.0 [INFO] [stderr] Downloaded memchr v2.7.4 [INFO] [stderr] Downloaded navm v0.17.3 [INFO] [stderr] Downloaded ucd-trie v0.1.6 [INFO] [stderr] Downloaded pest_meta v2.7.11 [INFO] [stderr] Downloaded syn v2.0.87 [INFO] [stderr] Downloaded pest_derive v2.7.11 [INFO] [stderr] Downloaded zerocopy-derive v0.7.35 [INFO] [stderr] Downloaded ppv-lite86 v0.2.20 [INFO] [stderr] Downloaded getrandom v0.2.15 [INFO] [stderr] Downloaded ryu v1.0.18 [INFO] [stderr] Downloaded serde_derive v1.0.209 [INFO] [stderr] Downloaded proc-macro2 v1.0.86 [INFO] [stderr] Downloaded typenum v1.17.0 [INFO] [stderr] Downloaded sha2 v0.10.8 [INFO] [stderr] Downloaded pest_generator v2.7.11 [INFO] [stderr] Downloaded libc v0.2.158 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+8a703520e80d87d4423c01f9d4fbc9e5f6533a02" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] eff1bd5c546450d99aab3aa6028480148f57f5440674c9e498563064c9df9bc0 [INFO] running `Command { std: "docker" "start" "-a" "eff1bd5c546450d99aab3aa6028480148f57f5440674c9e498563064c9df9bc0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "eff1bd5c546450d99aab3aa6028480148f57f5440674c9e498563064c9df9bc0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eff1bd5c546450d99aab3aa6028480148f57f5440674c9e498563064c9df9bc0", kill_on_drop: false }` [INFO] [stdout] eff1bd5c546450d99aab3aa6028480148f57f5440674c9e498563064c9df9bc0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+8a703520e80d87d4423c01f9d4fbc9e5f6533a02" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 97732fbb1ad0d0dc6b01d0984c98d44ac650298e036c1abab426af6708bdd0c7 [INFO] running `Command { std: "docker" "start" "-a" "97732fbb1ad0d0dc6b01d0984c98d44ac650298e036c1abab426af6708bdd0c7", 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 memchr v2.7.4 [INFO] [stderr] Compiling serde v1.0.209 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling serde_json v1.0.127 [INFO] [stderr] Compiling anyhow v1.0.86 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Checking nar_dev_utils v0.42.0 [INFO] [stderr] Compiling thiserror v2.0.0 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking narsese v0.21.2 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking nar_dev_utils v0.40.0 [INFO] [stderr] Checking nar_dev_utils v0.44.0 [INFO] [stderr] Compiling syn v2.0.87 [INFO] [stderr] Checking 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] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Compiling pest v2.7.11 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking 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] Checking navm v0.17.3 [INFO] [stderr] Checking narust-158 v0.3.1 (/opt/rustwide/workdir) [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) -> Option { [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) -> Option> { [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 { [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> { [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 { [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> { [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 { [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> { [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 { [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> { [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) -> Option { [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) -> Option> { [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 { [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> { [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 { [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> { [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; [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 { [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 { [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 { [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 { [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, [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 [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, [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 [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 { [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> { [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:125:29 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn as_compound_type(&self, compound_class: impl AsRef) -> Option { [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) -> Option> { [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 { [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> { [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 { [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> { [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 { [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> { [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 { [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> { [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) -> Option { [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) -> Option> { [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 { [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> { [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 { [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> { [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; [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 { [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 { [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 { [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 { [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, [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 [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, [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 [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 { [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> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 31.54s [INFO] running `Command { std: "docker" "inspect" "97732fbb1ad0d0dc6b01d0984c98d44ac650298e036c1abab426af6708bdd0c7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "97732fbb1ad0d0dc6b01d0984c98d44ac650298e036c1abab426af6708bdd0c7", kill_on_drop: false }` [INFO] [stdout] 97732fbb1ad0d0dc6b01d0984c98d44ac650298e036c1abab426af6708bdd0c7