2025-10-22T14:41:00,718 Created temporary directory: /tmp/pip-ephem-wheel-cache-0htek_6k 2025-10-22T14:41:00,720 Created temporary directory: /tmp/pip-build-tracker-5jejyxtk 2025-10-22T14:41:00,720 Initialized build tracking at /tmp/pip-build-tracker-5jejyxtk 2025-10-22T14:41:00,721 Created build tracker: /tmp/pip-build-tracker-5jejyxtk 2025-10-22T14:41:00,721 Entered build tracker: /tmp/pip-build-tracker-5jejyxtk 2025-10-22T14:41:00,722 Created temporary directory: /tmp/pip-wheel-nsf9ry9k 2025-10-22T14:41:00,725 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-10-22T14:41:00,727 Created temporary directory: /tmp/pip-ephem-wheel-cache-0kxecj2k 2025-10-22T14:41:00,751 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-10-22T14:41:00,755 2 location(s) to search for versions of sli-lib: 2025-10-22T14:41:00,755 * https://pypi.org/simple/sli-lib/ 2025-10-22T14:41:00,755 * https://www.piwheels.org/simple/sli-lib/ 2025-10-22T14:41:00,756 Fetching project page and analyzing links: https://pypi.org/simple/sli-lib/ 2025-10-22T14:41:00,756 Getting page https://pypi.org/simple/sli-lib/ 2025-10-22T14:41:00,758 Found index url https://pypi.org/simple 2025-10-22T14:41:00,893 Fetched page https://pypi.org/simple/sli-lib/ as application/vnd.pypi.simple.v1+json 2025-10-22T14:41:00,896 Skipping link: No binaries permitted for sli-lib: https://files.pythonhosted.org/packages/94/ef/7a48341971e0d5c897bad6b0e8e5be2f6123bfc27b920b64049638d8e8d4/sli_lib-0.1.0-1-cp311-abi3-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:00,896 Skipping link: No binaries permitted for sli-lib: https://files.pythonhosted.org/packages/a0/91/bd44b84ba3e01f3ac44511dae98cdd61fb2512da02461bdc8abec0e537b0/sli_lib-0.1.0-cp311-abi3-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:00,897 Skipping link: No binaries permitted for sli-lib: https://files.pythonhosted.org/packages/40/eb/f65873caa3e2635550b267ff5329cb63d9b450566e11d1bd5be2606d823d/sli_lib-0.1.0-cp311-abi3-win_amd64.whl (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:00,898 Found link https://files.pythonhosted.org/packages/9f/f4/cd3d06d9eccbc34a7abbf1d7a865a3ca27edf0cf2e02056a04a6cb10ee29/sli_lib-0.1.0.tar.gz (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11), version: 0.1.0 2025-10-22T14:41:00,899 Skipping link: No binaries permitted for sli-lib: https://files.pythonhosted.org/packages/f5/2b/8483bedf456a113cce91e9e48489eaa613cc22ac7b248b566b1f3cacaeb5/sli_lib-0.1.1-cp311-abi3-manylinux_2_28_x86_64.whl (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:00,899 Skipping link: No binaries permitted for sli-lib: https://files.pythonhosted.org/packages/7c/01/38f1bdc75d1572360f6a4247a0a7d7f12ff33ba46dec7303076ce6ce8dd9/sli_lib-0.1.1-cp311-abi3-win_amd64.whl (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:00,900 Found link https://files.pythonhosted.org/packages/11/1e/a7b8fe8d8514243328c9c075ee9141c68397b4f066501d4a051c1d709735/sli_lib-0.1.1.tar.gz (from https://pypi.org/simple/sli-lib/) (requires-python:>=3.11), version: 0.1.1 2025-10-22T14:41:00,901 Fetching project page and analyzing links: https://www.piwheels.org/simple/sli-lib/ 2025-10-22T14:41:00,902 Getting page https://www.piwheels.org/simple/sli-lib/ 2025-10-22T14:41:00,903 Found index url https://www.piwheels.org/simple 2025-10-22T14:41:01,062 Fetched page https://www.piwheels.org/simple/sli-lib/ as text/html 2025-10-22T14:41:01,064 Skipping link: No binaries permitted for sli-lib: https://www.piwheels.org/simple/sli-lib/sli_lib-0.1.1-cp311-abi3-linux_armv6l.whl#sha256=562c79058fd29e36c698aa51d9cd4b19a7e16ee49c92b1e915d1921451392e17 (from https://www.piwheels.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:01,065 Skipping link: No binaries permitted for sli-lib: https://www.piwheels.org/simple/sli-lib/sli_lib-0.1.1-cp311-abi3-linux_armv7l.whl#sha256=562c79058fd29e36c698aa51d9cd4b19a7e16ee49c92b1e915d1921451392e17 (from https://www.piwheels.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:01,066 Skipping link: No binaries permitted for sli-lib: https://www.piwheels.org/simple/sli-lib/sli_lib-0.1.0-cp311-abi3-linux_armv6l.whl#sha256=13526b17007611c59551454380bcac1731d6a6f0badd4890e5c14d8c87f10b8b (from https://www.piwheels.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:01,066 Skipping link: No binaries permitted for sli-lib: https://www.piwheels.org/simple/sli-lib/sli_lib-0.1.0-cp311-abi3-linux_armv7l.whl#sha256=13526b17007611c59551454380bcac1731d6a6f0badd4890e5c14d8c87f10b8b (from https://www.piwheels.org/simple/sli-lib/) (requires-python:>=3.11) 2025-10-22T14:41:01,067 Skipping link: not a file: https://www.piwheels.org/simple/sli-lib/ 2025-10-22T14:41:01,067 Skipping link: not a file: https://pypi.org/simple/sli-lib/ 2025-10-22T14:41:01,086 Given no hashes to check 1 links for project 'sli-lib': discarding no candidates 2025-10-22T14:41:01,104 Collecting sli-lib==0.1.1 2025-10-22T14:41:01,106 Created temporary directory: /tmp/pip-unpack-joz86_bu 2025-10-22T14:41:01,315 Downloading sli_lib-0.1.1.tar.gz (329 kB) 2025-10-22T14:41:01,812 Added sli-lib==0.1.1 from https://files.pythonhosted.org/packages/11/1e/a7b8fe8d8514243328c9c075ee9141c68397b4f066501d4a051c1d709735/sli_lib-0.1.1.tar.gz to build tracker '/tmp/pip-build-tracker-5jejyxtk' 2025-10-22T14:41:01,818 Created temporary directory: /tmp/pip-build-env-93curl21 2025-10-22T14:41:01,823 Installing build dependencies: started 2025-10-22T14:41:01,825 Running command pip subprocess to install build dependencies 2025-10-22T14:41:02,966 Using pip 23.0.1 from /usr/lib/python3/dist-packages/pip (python 3.11) 2025-10-22T14:41:03,546 DEPRECATION: --no-binary currently disables reading from the cache of locally built wheels. In the future --no-binary will not influence the wheel cache. pip 23.1 will enforce this behaviour change. A possible replacement is to use the --no-cache-dir option. You can use the flag --use-feature=no-binary-enable-wheel-cache to test the upcoming behaviour. Discussion can be found at https://github.com/pypa/pip/issues/11453 2025-10-22T14:41:03,569 Looking in indexes: https://pypi.org/simple, https://www.piwheels.org/simple 2025-10-22T14:41:05,282 Collecting maturin<2.0,>=1.0 2025-10-22T14:41:05,946 Using cached https://www.piwheels.org/simple/maturin/maturin-1.9.6-cp311-cp311-linux_armv7l.whl (5.8 MB) 2025-10-22T14:41:08,802 Installing collected packages: maturin 2025-10-22T14:41:09,258 Successfully installed maturin-1.9.6 2025-10-22T14:41:09,542 Installing build dependencies: finished with status 'done' 2025-10-22T14:41:09,549 Getting requirements to build wheel: started 2025-10-22T14:41:09,550 Running command Getting requirements to build wheel 2025-10-22T14:41:09,750 Getting requirements to build wheel: finished with status 'done' 2025-10-22T14:41:09,753 Created temporary directory: /tmp/pip-modern-metadata-v8ap1537 2025-10-22T14:41:09,755 Preparing metadata (pyproject.toml): started 2025-10-22T14:41:09,757 Running command Preparing metadata (pyproject.toml) 2025-10-22T14:41:10,926 🍹 Building a mixed python/rust project 2025-10-22T14:41:10,927 🔗 Found pyo3 bindings with abi3 support 2025-10-22T14:41:11,359 🐍 Not using a specific python interpreter 2025-10-22T14:41:11,360 📡 Using build options features from pyproject.toml 2025-10-22T14:41:11,378 sli_lib-0.1.1.dist-info 2025-10-22T14:41:11,379 Checking for Rust toolchain.... 2025-10-22T14:41:11,379 Running `maturin pep517 write-dist-info --metadata-directory /tmp/pip-modern-metadata-v8ap1537 --interpreter /usr/bin/python3` 2025-10-22T14:41:11,402 Preparing metadata (pyproject.toml): finished with status 'done' 2025-10-22T14:41:11,407 Source in /tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e has version 0.1.1, which satisfies requirement sli-lib==0.1.1 from https://files.pythonhosted.org/packages/11/1e/a7b8fe8d8514243328c9c075ee9141c68397b4f066501d4a051c1d709735/sli_lib-0.1.1.tar.gz 2025-10-22T14:41:11,408 Removed sli-lib==0.1.1 from https://files.pythonhosted.org/packages/11/1e/a7b8fe8d8514243328c9c075ee9141c68397b4f066501d4a051c1d709735/sli_lib-0.1.1.tar.gz from build tracker '/tmp/pip-build-tracker-5jejyxtk' 2025-10-22T14:41:11,412 Created temporary directory: /tmp/pip-unpack-sjcdtxg8 2025-10-22T14:41:11,413 Building wheels for collected packages: sli-lib 2025-10-22T14:41:11,417 Created temporary directory: /tmp/pip-wheel-edopqeho 2025-10-22T14:41:11,418 Destination directory: /tmp/pip-wheel-edopqeho 2025-10-22T14:41:11,420 Building wheel for sli-lib (pyproject.toml): started 2025-10-22T14:41:11,421 Running command Building wheel for sli-lib (pyproject.toml) 2025-10-22T14:41:11,589 Running `maturin pep517 build-wheel -i /usr/bin/python3 --compatibility off` 2025-10-22T14:41:12,312 🍹 Building a mixed python/rust project 2025-10-22T14:41:12,313 🔗 Found pyo3 bindings with abi3 support 2025-10-22T14:41:12,720 🐍 Not using a specific python interpreter 2025-10-22T14:41:12,720 📡 Using build options features from pyproject.toml 2025-10-22T14:41:13,654 Compiling proc-macro2 v1.0.86 2025-10-22T14:41:13,655 Compiling unicode-ident v1.0.16 2025-10-22T14:41:13,655 Compiling shlex v1.3.0 2025-10-22T14:41:13,656 Compiling memchr v2.7.4 2025-10-22T14:41:14,104 Compiling glob v0.3.1 2025-10-22T14:41:14,934 Compiling target-lexicon v0.13.3 2025-10-22T14:41:17,421 Compiling clang-sys v1.8.1 2025-10-22T14:41:18,474 Compiling libc v0.2.155 2025-10-22T14:41:19,781 Compiling cc v1.2.21 2025-10-22T14:41:20,862 Compiling quote v1.0.38 2025-10-22T14:41:22,942 Compiling syn v2.0.87 2025-10-22T14:41:23,739 Compiling bitflags v2.6.0 2025-10-22T14:41:23,894 Compiling either v1.13.0 2025-10-22T14:41:25,543 Compiling regex-syntax v0.8.5 2025-10-22T14:41:25,868 Compiling minimal-lexical v0.2.1 2025-10-22T14:41:28,007 Compiling cfg-if v1.0.0 2025-10-22T14:41:28,183 Compiling libloading v0.8.4 2025-10-22T14:41:29,589 Compiling nom v7.1.3 2025-10-22T14:41:37,666 Compiling pyo3-build-config v0.26.0 2025-10-22T14:41:45,016 Compiling regex-automata v0.4.9 2025-10-22T14:41:51,648 Compiling cexpr v0.6.0 2025-10-22T14:42:00,143 Compiling itertools v0.12.1 2025-10-22T14:42:15,657 Compiling regex v1.11.1 2025-10-22T14:42:15,694 Compiling autocfg v1.5.0 2025-10-22T14:42:20,988 Compiling serde v1.0.219 2025-10-22T14:42:22,775 Compiling serde_json v1.0.140 2025-10-22T14:42:23,669 Compiling hashbrown v0.15.2 2025-10-22T14:42:29,394 Compiling equivalent v1.0.1 2025-10-22T14:42:31,023 Compiling indexmap v2.7.1 2025-10-22T14:42:35,568 Compiling ryu v1.0.20 2025-10-22T14:42:36,797 Compiling bindgen v0.72.0 2025-10-22T14:42:38,260 Compiling itoa v1.0.15 2025-10-22T14:42:39,202 Compiling rustix v0.38.34 2025-10-22T14:42:39,902 Compiling prettyplease v0.2.20 2025-10-22T14:42:40,807 Compiling linux-raw-sys v0.4.14 2025-10-22T14:42:41,781 Compiling rustc-hash v2.1.1 2025-10-22T14:43:06,460 Compiling num-traits v0.2.19 2025-10-22T14:43:07,448 Compiling bindgen v0.69.4 2025-10-22T14:43:09,026 Compiling version_check v0.9.4 2025-10-22T14:43:12,014 Compiling pkg-config v0.3.32 2025-10-22T14:43:17,631 Compiling heck v0.5.0 2025-10-22T14:43:19,742 Compiling home v0.5.9 2025-10-22T14:43:20,345 Compiling which v4.4.2 2025-10-22T14:43:22,491 Compiling proc-macro2-diagnostics v0.10.1 2025-10-22T14:43:23,773 Compiling aho-corasick v1.1.3 2025-10-22T14:43:28,083 Compiling tree-sitter v0.25.9 2025-10-22T14:43:39,740 Compiling croaring-sys v4.3.10 2025-10-22T14:43:41,039 Compiling allocator-api2 v0.2.21 2025-10-22T14:43:45,900 Compiling lazy_static v1.5.0 2025-10-22T14:43:46,184 Compiling foldhash v0.1.5 2025-10-22T14:43:47,717 Compiling log v0.4.22 2025-10-22T14:43:49,178 Compiling lazycell v1.3.0 2025-10-22T14:43:49,665 Compiling crossbeam-utils v0.8.21 2025-10-22T14:43:51,029 Compiling rustc-hash v1.1.0 2025-10-22T14:44:07,410 Compiling z3-sys v0.9.8 (https://github.com/prove-rs/z3.rs.git?rev=310b3fe871df77bcd53fcfa2cf3f7e59f90763ab#310b3fe8) 2025-10-22T14:45:13,103 Compiling pyo3-ffi v0.26.0 2025-10-22T14:45:15,235 Compiling pyo3-macros-backend v0.26.0 2025-10-22T14:45:18,510 Compiling yansi v1.0.1 2025-10-22T14:45:22,353 Compiling unicode-segmentation v1.12.0 2025-10-22T14:45:24,265 Compiling paste v1.0.15 2025-10-22T14:45:25,847 Compiling num-integer v0.1.46 2025-10-22T14:45:26,831 Compiling convert_case v0.6.0 2025-10-22T14:45:29,071 Compiling tree-sitter-fodot v0.0.1 (https://gitlab.com/sli-lib/tree-sitter-fodot?rev=8671c0c412ee2a1630def6101c92fa28c7d21590#8671c0c4) 2025-10-22T14:45:37,660 Compiling memoffset v0.9.1 2025-10-22T14:45:39,300 Compiling allocator-api2 v0.3.1 2025-10-22T14:45:41,604 Compiling streaming-iterator v0.1.9 2025-10-22T14:45:44,643 Compiling tree-sitter-language v0.1.5 2025-10-22T14:45:44,896 Compiling unicode-xid v0.2.6 2025-10-22T14:45:45,858 Compiling comp-core v0.1.0 (/tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/sli/comp-core) 2025-10-22T14:45:47,533 Compiling z3-mid v0.13.3 (https://gitlab.com/EAVISE/sli/z3.rs?rev=45bf6cb12e08712ad4d7792c05c2ff416962932d#45bf6cb1) 2025-10-22T14:46:06,145 Compiling const_format_proc_macros v0.2.33 2025-10-22T14:46:09,774 Compiling croaring v2.4.0 2025-10-22T14:46:14,893 Compiling sli-collections v0.1.0 (/tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/sli/sli-collections) 2025-10-22T14:46:27,894 Compiling duplicate v2.0.0 2025-10-22T14:46:38,146 Compiling algebraic-errors v0.1.0 (https://gitlab.com/sli-lib/algebraic-errors?rev=1ee3a1a205628470d9804db417d3678e2b43d6ad#1ee3a1a2) 2025-10-22T14:46:38,193 Compiling num-rational v0.4.2 2025-10-22T14:46:53,310 Compiling pyo3 v0.26.0 2025-10-22T14:46:54,561 Compiling typed-index-collections v3.1.0 2025-10-22T14:46:57,452 Compiling sli-lib v0.1.0 (/tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/sli/sli-lib) 2025-10-22T14:47:03,187 Compiling const_format v0.2.33 2025-10-22T14:47:07,457 Compiling unindent v0.2.4 2025-10-22T14:47:08,777 Compiling indoc v2.0.6 2025-10-22T14:47:09,258 Compiling once_cell v1.21.3 2025-10-22T14:47:11,349 Compiling unicode-width v0.2.1 2025-10-22T14:47:18,206 Compiling pyo3-macros v0.26.0 2025-10-22T14:47:58,063 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,064 --> sli/comp-core/src/comp_core/expression/expressions.rs:211:26 2025-10-22T14:47:58,065 | 2025-10-22T14:47:58,066 211 | pub fn to_expression(&self, start: NodeIndex) -> ExpressionRef { 2025-10-22T14:47:58,067 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:47:58,068 | | 2025-10-22T14:47:58,069 | the lifetime is elided here 2025-10-22T14:47:58,070 | 2025-10-22T14:47:58,071 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,072 = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default 2025-10-22T14:47:58,074 help: use `'_` for type paths 2025-10-22T14:47:58,075 | 2025-10-22T14:47:58,076 211 | pub fn to_expression(&self, start: NodeIndex) -> ExpressionRef<'_> { 2025-10-22T14:47:58,077 | ++++ 2025-10-22T14:47:58,079 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,080 --> sli/comp-core/src/comp_core/expression/expressions.rs:215:19 2025-10-22T14:47:58,082 | 2025-10-22T14:47:58,082 215 | pub fn new_at(&self, start: NodeIndex) -> ExpressionRef { 2025-10-22T14:47:58,083 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:47:58,084 | | 2025-10-22T14:47:58,085 | the lifetime is elided here 2025-10-22T14:47:58,086 | 2025-10-22T14:47:58,087 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,088 help: use `'_` for type paths 2025-10-22T14:47:58,089 | 2025-10-22T14:47:58,090 215 | pub fn new_at(&self, start: NodeIndex) -> ExpressionRef<'_> { 2025-10-22T14:47:58,091 | ++++ 2025-10-22T14:47:58,093 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,094 --> sli/comp-core/src/comp_core/expression/expressions.rs:383:25 2025-10-22T14:47:58,095 | 2025-10-22T14:47:58,096 383 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder { 2025-10-22T14:47:58,097 | ^^^^^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:47:58,098 | | 2025-10-22T14:47:58,107 | the lifetime is elided here 2025-10-22T14:47:58,108 | 2025-10-22T14:47:58,109 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,110 help: use `'_` for type paths 2025-10-22T14:47:58,111 | 2025-10-22T14:47:58,113 383 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder<'_> { 2025-10-22T14:47:58,114 | ++++ 2025-10-22T14:47:58,116 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,117 --> sli/comp-core/src/comp_core/expression/expressions.rs:395:23 2025-10-22T14:47:58,118 | 2025-10-22T14:47:58,120 395 | pub fn aux_pfuncs(&self, index: AuxIndex) -> AuxSymbol { 2025-10-22T14:47:58,121 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:47:58,122 | | 2025-10-22T14:47:58,123 | the lifetime is elided here 2025-10-22T14:47:58,125 | 2025-10-22T14:47:58,126 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,127 help: use `'_` for type paths 2025-10-22T14:47:58,128 | 2025-10-22T14:47:58,129 395 | pub fn aux_pfuncs(&self, index: AuxIndex) -> AuxSymbol<'_> { 2025-10-22T14:47:58,131 | ++++ 2025-10-22T14:47:58,133 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,134 --> sli/comp-core/src/comp_core/expression/expressions.rs:518:25 2025-10-22T14:47:58,135 | 2025-10-22T14:47:58,136 518 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder { 2025-10-22T14:47:58,137 | ^^^^^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:47:58,138 | | 2025-10-22T14:47:58,139 | the lifetime is elided here 2025-10-22T14:47:58,140 | 2025-10-22T14:47:58,141 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,143 help: use `'_` for type paths 2025-10-22T14:47:58,144 | 2025-10-22T14:47:58,145 518 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder<'_> { 2025-10-22T14:47:58,146 | ++++ 2025-10-22T14:47:58,149 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,150 --> sli/comp-core/src/comp_core/expression/expressions.rs:529:22 2025-10-22T14:47:58,151 | 2025-10-22T14:47:58,151 529 | pub fn aux_funcs(&self, index: AuxIndex) -> AuxSymbol { 2025-10-22T14:47:58,152 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:47:58,153 | | 2025-10-22T14:47:58,154 | the lifetime is elided here 2025-10-22T14:47:58,155 | 2025-10-22T14:47:58,156 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,157 help: use `'_` for type paths 2025-10-22T14:47:58,158 | 2025-10-22T14:47:58,159 529 | pub fn aux_funcs(&self, index: AuxIndex) -> AuxSymbol<'_> { 2025-10-22T14:47:58,167 | ++++ 2025-10-22T14:47:58,169 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,170 --> sli/comp-core/src/comp_core/expression/expressions.rs:825:28 2025-10-22T14:47:58,171 | 2025-10-22T14:47:58,172 825 | pub fn first_node_enum(&self) -> NodeEnum { 2025-10-22T14:47:58,173 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,174 | | 2025-10-22T14:47:58,175 | the lifetime is elided here 2025-10-22T14:47:58,176 | 2025-10-22T14:47:58,177 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,178 help: use `'_` for type paths 2025-10-22T14:47:58,179 | 2025-10-22T14:47:58,180 825 | pub fn first_node_enum(&self) -> NodeEnum<'_> { 2025-10-22T14:47:58,181 | ++++ 2025-10-22T14:47:58,184 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,185 --> sli/comp-core/src/comp_core/expression/expressions.rs:830:32 2025-10-22T14:47:58,186 | 2025-10-22T14:47:58,188 830 | pub fn try_first_node_enum(&self) -> Result { 2025-10-22T14:47:58,189 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,190 | | 2025-10-22T14:47:58,191 | the lifetime is elided here 2025-10-22T14:47:58,192 | 2025-10-22T14:47:58,193 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,194 help: use `'_` for type paths 2025-10-22T14:47:58,196 | 2025-10-22T14:47:58,197 830 | pub fn try_first_node_enum(&self) -> Result, ExprType> { 2025-10-22T14:47:58,198 | ++++ 2025-10-22T14:47:58,200 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,201 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:83:26 2025-10-22T14:47:58,202 | 2025-10-22T14:47:58,203 83 | pub fn to_expression(&self, start: NodeIndex) -> TransformedExpressionRef { 2025-10-22T14:47:58,204 | ^^^^^ ------------------------ the same lifetime is hidden here 2025-10-22T14:47:58,206 | | 2025-10-22T14:47:58,207 | the lifetime is elided here 2025-10-22T14:47:58,208 | 2025-10-22T14:47:58,209 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,210 help: use `'_` for type paths 2025-10-22T14:47:58,212 | 2025-10-22T14:47:58,213 83 | pub fn to_expression(&self, start: NodeIndex) -> TransformedExpressionRef<'_> { 2025-10-22T14:47:58,214 | ++++ 2025-10-22T14:47:58,216 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,217 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:87:30 2025-10-22T14:47:58,233 | 2025-10-22T14:47:58,234 87 | pub fn to_mut_expression(&mut self, start: NodeIndex) -> TransformedExpressionMutRef { 2025-10-22T14:47:58,235 | ^^^^^^^^^ --------------------------- the same lifetime is hidden here 2025-10-22T14:47:58,236 | | 2025-10-22T14:47:58,237 | the lifetime is elided here 2025-10-22T14:47:58,238 | 2025-10-22T14:47:58,239 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,240 help: use `'_` for type paths 2025-10-22T14:47:58,241 | 2025-10-22T14:47:58,242 87 | pub fn to_mut_expression(&mut self, start: NodeIndex) -> TransformedExpressionMutRef<'_> { 2025-10-22T14:47:58,243 | ++++ 2025-10-22T14:47:58,245 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,246 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:174:22 2025-10-22T14:47:58,247 | 2025-10-22T14:47:58,248 174 | pub fn aux_funcs(&self, index: AuxIndex) -> AuxSymbol { 2025-10-22T14:47:58,249 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:47:58,250 | | 2025-10-22T14:47:58,251 | the lifetime is elided here 2025-10-22T14:47:58,252 | 2025-10-22T14:47:58,253 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,254 help: use `'_` for type paths 2025-10-22T14:47:58,256 | 2025-10-22T14:47:58,257 174 | pub fn aux_funcs(&self, index: AuxIndex) -> AuxSymbol<'_> { 2025-10-22T14:47:58,258 | ++++ 2025-10-22T14:47:58,260 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,261 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:182:25 2025-10-22T14:47:58,262 | 2025-10-22T14:47:58,263 182 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder { 2025-10-22T14:47:58,264 | ^^^^^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:47:58,266 | | 2025-10-22T14:47:58,267 | the lifetime is elided here 2025-10-22T14:47:58,268 | 2025-10-22T14:47:58,270 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,271 help: use `'_` for type paths 2025-10-22T14:47:58,272 | 2025-10-22T14:47:58,273 182 | pub fn new_aux_from(&mut self, index: PfuncIndex) -> AuxSymbolBuilder<'_> { 2025-10-22T14:47:58,274 | ++++ 2025-10-22T14:47:58,277 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,278 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:250:28 2025-10-22T14:47:58,279 | 2025-10-22T14:47:58,280 250 | pub fn first_node_enum(&self) -> NodeEnum { 2025-10-22T14:47:58,281 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,283 | | 2025-10-22T14:47:58,303 | the lifetime is elided here 2025-10-22T14:47:58,304 | 2025-10-22T14:47:58,306 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,307 help: use `'_` for type paths 2025-10-22T14:47:58,308 | 2025-10-22T14:47:58,309 250 | pub fn first_node_enum(&self) -> NodeEnum<'_> { 2025-10-22T14:47:58,310 | ++++ 2025-10-22T14:47:58,313 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,314 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:286:18 2025-10-22T14:47:58,315 | 2025-10-22T14:47:58,316 286 | pub fn im_at(&self, index: NodeIndex) -> TransformedExpressionRef { 2025-10-22T14:47:58,317 | ^^^^^ ------------------------ the same lifetime is hidden here 2025-10-22T14:47:58,318 | | 2025-10-22T14:47:58,319 | the lifetime is elided here 2025-10-22T14:47:58,320 | 2025-10-22T14:47:58,321 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,322 help: use `'_` for type paths 2025-10-22T14:47:58,323 | 2025-10-22T14:47:58,324 286 | pub fn im_at(&self, index: NodeIndex) -> TransformedExpressionRef<'_> { 2025-10-22T14:47:58,325 | ++++ 2025-10-22T14:47:58,328 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,329 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:290:23 2025-10-22T14:47:58,330 | 2025-10-22T14:47:58,331 290 | pub fn im_at_self(&self) -> TransformedExpressionRef { 2025-10-22T14:47:58,332 | ^^^^^ ------------------------ the same lifetime is hidden here 2025-10-22T14:47:58,333 | | 2025-10-22T14:47:58,334 | the lifetime is elided here 2025-10-22T14:47:58,335 | 2025-10-22T14:47:58,336 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,337 help: use `'_` for type paths 2025-10-22T14:47:58,339 | 2025-10-22T14:47:58,340 290 | pub fn im_at_self(&self) -> TransformedExpressionRef<'_> { 2025-10-22T14:47:58,341 | ++++ 2025-10-22T14:47:58,343 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,344 --> sli/comp-core/src/comp_core/expression/transformed_expressions.rs:348:28 2025-10-22T14:47:58,346 | 2025-10-22T14:47:58,347 348 | pub fn first_node_enum(&self) -> NodeEnum { 2025-10-22T14:47:58,348 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,349 | | 2025-10-22T14:47:58,351 | the lifetime is elided here 2025-10-22T14:47:58,352 | 2025-10-22T14:47:58,353 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,354 help: use `'_` for type paths 2025-10-22T14:47:58,355 | 2025-10-22T14:47:58,356 348 | pub fn first_node_enum(&self) -> NodeEnum<'_> { 2025-10-22T14:47:58,357 | ++++ 2025-10-22T14:47:58,360 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,361 --> sli/comp-core/src/comp_core/node.rs:435:27 2025-10-22T14:47:58,362 | 2025-10-22T14:47:58,363 435 | pub fn quant_node_var(&self) -> Option> { 2025-10-22T14:47:58,364 | ^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:47:58,366 | | 2025-10-22T14:47:58,367 | the lifetime is elided here 2025-10-22T14:47:58,368 | 2025-10-22T14:47:58,369 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,370 help: use `'_` for type paths 2025-10-22T14:47:58,372 | 2025-10-22T14:47:58,373 435 | pub fn quant_node_var(&self) -> Option> { 2025-10-22T14:47:58,374 | +++ 2025-10-22T14:47:58,384 warning: unnecessary transmute 2025-10-22T14:47:58,385 --> sli/comp-core/src/comp_core/node/elements.rs:252:27 2025-10-22T14:47:58,386 | 2025-10-22T14:47:58,387 252 | num: unsafe { std::mem::transmute(value.data[0]) }, 2025-10-22T14:47:58,388 | -------------------^^^^^^^^^^^^^^^ 2025-10-22T14:47:58,389 | | 2025-10-22T14:47:58,390 | help: replace this with: `usize::cast_signed` 2025-10-22T14:47:58,391 | 2025-10-22T14:47:58,391 = note: `#[warn(unnecessary_transmutes)]` on by default 2025-10-22T14:47:58,393 warning: unnecessary transmute 2025-10-22T14:47:58,394 --> sli/comp-core/src/comp_core/node/elements.rs:268:26 2025-10-22T14:47:58,395 | 2025-10-22T14:47:58,397 268 | unsafe { std::mem::transmute::(value.num) }, 2025-10-22T14:47:58,398 | -------------------------------------^^^^^^^^^^^ 2025-10-22T14:47:58,399 | | 2025-10-22T14:47:58,400 | help: replace this with: `isize::cast_unsigned` 2025-10-22T14:47:58,402 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,403 --> sli/comp-core/src/comp_core/node/applied_symb.rs:176:19 2025-10-22T14:47:58,404 | 2025-10-22T14:47:58,405 176 | pub fn symbol(&self) -> Symbol { 2025-10-22T14:47:58,406 | ^^^^^ ------ the same lifetime is hidden here 2025-10-22T14:47:58,407 | | 2025-10-22T14:47:58,408 | the lifetime is elided here 2025-10-22T14:47:58,409 | 2025-10-22T14:47:58,410 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,413 help: use `'_` for type paths 2025-10-22T14:47:58,415 | 2025-10-22T14:47:58,416 176 | pub fn symbol(&self) -> Symbol<'_> { 2025-10-22T14:47:58,418 | ++++ 2025-10-22T14:47:58,420 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,421 --> sli/comp-core/src/comp_core/node/applied_symb.rs:330:19 2025-10-22T14:47:58,423 | 2025-10-22T14:47:58,424 330 | pub fn symbol(&self) -> AuxSymbol { 2025-10-22T14:47:58,425 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:47:58,432 | | 2025-10-22T14:47:58,433 | the lifetime is elided here 2025-10-22T14:47:58,434 | 2025-10-22T14:47:58,435 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,436 help: use `'_` for type paths 2025-10-22T14:47:58,438 | 2025-10-22T14:47:58,439 330 | pub fn symbol(&self) -> AuxSymbol<'_> { 2025-10-22T14:47:58,440 | ++++ 2025-10-22T14:47:58,442 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,443 --> sli/comp-core/src/comp_core/node/node_with_variables.rs:124:48 2025-10-22T14:47:58,444 | 2025-10-22T14:47:58,445 124 | pub fn get_bound_var(loc: NodeIndex, expr: &Expressions) -> Option { 2025-10-22T14:47:58,447 | ^^^^^^^^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:47:58,448 | | 2025-10-22T14:47:58,463 | the lifetime is elided here 2025-10-22T14:47:58,464 | 2025-10-22T14:47:58,466 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,467 help: use `'_` for type paths 2025-10-22T14:47:58,468 | 2025-10-22T14:47:58,469 124 | pub fn get_bound_var(loc: NodeIndex, expr: &Expressions) -> Option> { 2025-10-22T14:47:58,471 | ++++ 2025-10-22T14:47:58,473 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,474 --> sli/comp-core/src/comp_core/node/definition.rs:270:23 2025-10-22T14:47:58,475 | 2025-10-22T14:47:58,476 270 | pub fn iter_rules(&self) -> impl Iterator { 2025-10-22T14:47:58,477 | ^^^^^ ---- the same lifetime is hidden here 2025-10-22T14:47:58,478 | | 2025-10-22T14:47:58,479 | the lifetime is elided here 2025-10-22T14:47:58,480 | 2025-10-22T14:47:58,481 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,482 help: use `'_` for type paths 2025-10-22T14:47:58,483 | 2025-10-22T14:47:58,484 270 | pub fn iter_rules(&self) -> impl Iterator> { 2025-10-22T14:47:58,485 | ++++ 2025-10-22T14:47:58,487 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,493 --> sli/comp-core/src/comp_core/node/definition.rs:275:35 2025-10-22T14:47:58,494 | 2025-10-22T14:47:58,495 275 | pub fn iter_rules_and_indexes(&self) -> impl Iterator { 2025-10-22T14:47:58,496 | ^^^^^ ---- the same lifetime is hidden here 2025-10-22T14:47:58,497 | | 2025-10-22T14:47:58,498 | the lifetime is elided here 2025-10-22T14:47:58,499 | 2025-10-22T14:47:58,500 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,502 help: use `'_` for type paths 2025-10-22T14:47:58,503 | 2025-10-22T14:47:58,504 275 | pub fn iter_rules_and_indexes(&self) -> impl Iterator, NodeIndex)> { 2025-10-22T14:47:58,505 | ++++ 2025-10-22T14:47:58,507 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,508 --> sli/comp-core/src/comp_core/node/definition.rs:292:9 2025-10-22T14:47:58,509 | 2025-10-22T14:47:58,510 292 | &self, 2025-10-22T14:47:58,511 | ^^^^^ the lifetime is elided here 2025-10-22T14:47:58,519 293 | ) -> impl Iterator + '_)> + '_ { 2025-10-22T14:47:58,520 | ---- -- -- the same lifetime is elided here 2025-10-22T14:47:58,521 | | | 2025-10-22T14:47:58,522 | | the same lifetime is elided here 2025-10-22T14:47:58,523 | the same lifetime is hidden here 2025-10-22T14:47:58,524 | 2025-10-22T14:47:58,525 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,527 help: use `'_` for type paths 2025-10-22T14:47:58,528 | 2025-10-22T14:47:58,529 293 | ) -> impl Iterator> + '_)> + '_ { 2025-10-22T14:47:58,530 | ++++ 2025-10-22T14:47:58,532 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,533 --> sli/comp-core/src/comp_core/node/definition.rs:304:9 2025-10-22T14:47:58,534 | 2025-10-22T14:47:58,535 304 | &self, 2025-10-22T14:47:58,536 | ^^^^^ the lifetime is elided here 2025-10-22T14:47:58,538 305 | ) -> impl Iterator + '_)> + '_ { 2025-10-22T14:47:58,539 | ---- -- -- the same lifetime is elided here 2025-10-22T14:47:58,541 | | | 2025-10-22T14:47:58,553 | | the same lifetime is elided here 2025-10-22T14:47:58,554 | the same lifetime is hidden here 2025-10-22T14:47:58,555 | 2025-10-22T14:47:58,556 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,557 help: use `'_` for type paths 2025-10-22T14:47:58,558 | 2025-10-22T14:47:58,559 305 | ) -> impl Iterator> + '_)> + '_ { 2025-10-22T14:47:58,560 | ++++ 2025-10-22T14:47:58,562 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,563 --> sli/comp-core/src/comp_core/structure.rs:259:24 2025-10-22T14:47:58,564 | 2025-10-22T14:47:58,565 259 | pub fn iter_models(&self) -> CompleteModelIter { 2025-10-22T14:47:58,566 | ^^^^^ ----------------- the same lifetime is hidden here 2025-10-22T14:47:58,567 | | 2025-10-22T14:47:58,568 | the lifetime is elided here 2025-10-22T14:47:58,569 | 2025-10-22T14:47:58,569 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,571 help: use `'_` for type paths 2025-10-22T14:47:58,572 | 2025-10-22T14:47:58,573 259 | pub fn iter_models(&self) -> CompleteModelIter<'_> { 2025-10-22T14:47:58,574 | ++++ 2025-10-22T14:47:58,576 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,603 --> sli/comp-core/src/comp_core/structure.rs:525:23 2025-10-22T14:47:58,604 | 2025-10-22T14:47:58,606 525 | fn next_type_enum(&mut self) -> Option<(TypeEnum, TypeFull)> { 2025-10-22T14:47:58,607 | ^^^^^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,608 | | 2025-10-22T14:47:58,609 | the lifetime is elided here 2025-10-22T14:47:58,611 | 2025-10-22T14:47:58,612 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,613 help: use `'_` for type paths 2025-10-22T14:47:58,614 | 2025-10-22T14:47:58,615 525 | fn next_type_enum(&mut self) -> Option<(TypeEnum, TypeFull<'_>)> { 2025-10-22T14:47:58,616 | ++++ 2025-10-22T14:47:58,619 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,620 --> sli/comp-core/src/comp_core/structure.rs:619:23 2025-10-22T14:47:58,621 | 2025-10-22T14:47:58,622 619 | fn next_type_enum(&mut self) -> Option<(TypeEnum, TypeFull)> { 2025-10-22T14:47:58,623 | ^^^^^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:47:58,625 | | 2025-10-22T14:47:58,626 | the lifetime is elided here 2025-10-22T14:47:58,627 | 2025-10-22T14:47:58,628 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,629 help: use `'_` for type paths 2025-10-22T14:47:58,630 | 2025-10-22T14:47:58,631 619 | fn next_type_enum(&mut self) -> Option<(TypeEnum, TypeFull<'_>)> { 2025-10-22T14:47:58,633 | ++++ 2025-10-22T14:47:58,635 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,636 --> sli/comp-core/src/comp_core/structure/type_interps.rs:190:17 2025-10-22T14:47:58,637 | 2025-10-22T14:47:58,638 190 | pub fn iter(&self) -> IntInterpIter { 2025-10-22T14:47:58,638 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:47:58,639 | | 2025-10-22T14:47:58,640 | the lifetime is elided here 2025-10-22T14:47:58,641 | 2025-10-22T14:47:58,642 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,643 help: use `'_` for type paths 2025-10-22T14:47:58,644 | 2025-10-22T14:47:58,645 190 | pub fn iter(&self) -> IntInterpIter<'_> { 2025-10-22T14:47:58,646 | ++++ 2025-10-22T14:47:58,648 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,648 --> sli/comp-core/src/comp_core/structure/type_interps.rs:466:19 2025-10-22T14:47:58,649 | 2025-10-22T14:47:58,650 466 | pub fn pfuncs(&self, index: PfuncIndex) -> SymbolFull { 2025-10-22T14:47:58,651 | ^^^^^ ---------- the same lifetime is hidden here 2025-10-22T14:47:58,652 | | 2025-10-22T14:47:58,653 | the lifetime is elided here 2025-10-22T14:47:58,654 | 2025-10-22T14:47:58,655 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,656 help: use `'_` for type paths 2025-10-22T14:47:58,656 | 2025-10-22T14:47:58,657 466 | pub fn pfuncs(&self, index: PfuncIndex) -> SymbolFull<'_> { 2025-10-22T14:47:58,658 | ++++ 2025-10-22T14:47:58,858 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,859 --> sli/comp-core/src/comp_core/structure/complete.rs:104:17 2025-10-22T14:47:58,860 | 2025-10-22T14:47:58,861 104 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:47:58,862 | ^^^^^ ----------------------- the same lifetime is hidden here 2025-10-22T14:47:58,863 | | 2025-10-22T14:47:58,864 | the lifetime is elided here 2025-10-22T14:47:58,865 | 2025-10-22T14:47:58,866 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,867 help: use `'_` for type paths 2025-10-22T14:47:58,868 | 2025-10-22T14:47:58,869 104 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:47:58,870 | ++++ 2025-10-22T14:47:58,872 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,873 --> sli/comp-core/src/comp_core/structure/complete.rs:114:16 2025-10-22T14:47:58,874 | 2025-10-22T14:47:58,875 114 | pub fn get(&self, index: PfuncIndex) -> immutable::SymbolInterp { 2025-10-22T14:47:58,876 | ^^^^^ ----------------------- the same lifetime is hidden here 2025-10-22T14:47:58,877 | | 2025-10-22T14:47:58,878 | the lifetime is elided here 2025-10-22T14:47:58,879 | 2025-10-22T14:47:58,880 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,881 help: use `'_` for type paths 2025-10-22T14:47:58,882 | 2025-10-22T14:47:58,884 114 | pub fn get(&self, index: PfuncIndex) -> immutable::SymbolInterp<'_> { 2025-10-22T14:47:58,885 | ++++ 2025-10-22T14:47:58,887 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,888 --> sli/comp-core/src/comp_core/structure/complete.rs:119:20 2025-10-22T14:47:58,890 | 2025-10-22T14:47:58,891 119 | pub fn get_mut(&mut self, index: PfuncIndex) -> mutable::SymbolInterp { 2025-10-22T14:47:58,892 | ^^^^^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:47:58,893 | | 2025-10-22T14:47:58,894 | the lifetime is elided here 2025-10-22T14:47:58,895 | 2025-10-22T14:47:58,896 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,897 help: use `'_` for type paths 2025-10-22T14:47:58,899 | 2025-10-22T14:47:58,900 119 | pub fn get_mut(&mut self, index: PfuncIndex) -> mutable::SymbolInterp<'_> { 2025-10-22T14:47:58,901 | ++++ 2025-10-22T14:47:58,903 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,904 --> sli/comp-core/src/comp_core/structure/partial.rs:165:17 2025-10-22T14:47:58,906 | 2025-10-22T14:47:58,907 165 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:47:58,908 | ^^^^^ ----------------------- the same lifetime is hidden here 2025-10-22T14:47:58,913 | | 2025-10-22T14:47:58,914 | the lifetime is elided here 2025-10-22T14:47:58,915 | 2025-10-22T14:47:58,916 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,917 help: use `'_` for type paths 2025-10-22T14:47:58,918 | 2025-10-22T14:47:58,920 165 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:47:58,921 | ++++ 2025-10-22T14:47:58,923 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,924 --> sli/comp-core/src/comp_core/structure/partial.rs:177:23 2025-10-22T14:47:58,925 | 2025-10-22T14:47:58,927 177 | pub fn iter_known(&self) -> impl SIterator { 2025-10-22T14:47:58,928 | ^^^^^ ----------------------- the same lifetime is hidden here 2025-10-22T14:47:58,929 | | 2025-10-22T14:47:58,930 | the lifetime is elided here 2025-10-22T14:47:58,931 | 2025-10-22T14:47:58,932 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,934 help: use `'_` for type paths 2025-10-22T14:47:58,935 | 2025-10-22T14:47:58,936 177 | pub fn iter_known(&self) -> impl SIterator> { 2025-10-22T14:47:58,937 | ++++ 2025-10-22T14:47:58,939 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,940 --> sli/comp-core/src/comp_core/structure/partial.rs:198:26 2025-10-22T14:47:58,941 | 2025-10-22T14:47:58,942 198 | pub fn iter_complete(&self) -> CompleteStructureIter { 2025-10-22T14:47:58,943 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:47:58,945 | | 2025-10-22T14:47:58,946 | the lifetime is elided here 2025-10-22T14:47:58,952 | 2025-10-22T14:47:58,953 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,954 help: use `'_` for type paths 2025-10-22T14:47:58,956 | 2025-10-22T14:47:58,957 198 | pub fn iter_complete(&self) -> CompleteStructureIter> { 2025-10-22T14:47:58,958 | ++++ 2025-10-22T14:47:58,961 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,962 --> sli/comp-core/src/comp_core/structure/partial.rs:235:16 2025-10-22T14:47:58,963 | 2025-10-22T14:47:58,964 235 | pub fn get(&self, index: PfuncIndex) -> immutable::SymbolInterp { 2025-10-22T14:47:58,965 | ^^^^^ ----------------------- the same lifetime is hidden here 2025-10-22T14:47:58,966 | | 2025-10-22T14:47:58,967 | the lifetime is elided here 2025-10-22T14:47:58,968 | 2025-10-22T14:47:58,969 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,970 help: use `'_` for type paths 2025-10-22T14:47:58,971 | 2025-10-22T14:47:58,972 235 | pub fn get(&self, index: PfuncIndex) -> immutable::SymbolInterp<'_> { 2025-10-22T14:47:58,973 | ++++ 2025-10-22T14:47:58,975 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:58,976 --> sli/comp-core/src/comp_core/structure/partial.rs:482:20 2025-10-22T14:47:58,977 | 2025-10-22T14:47:58,978 482 | pub fn get_mut(&mut self, index: PfuncIndex) -> mutable::SymbolInterp { 2025-10-22T14:47:58,980 | ^^^^^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:47:58,981 | | 2025-10-22T14:47:58,982 | the lifetime is elided here 2025-10-22T14:47:58,983 | 2025-10-22T14:47:58,984 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:58,985 help: use `'_` for type paths 2025-10-22T14:47:58,986 | 2025-10-22T14:47:58,987 482 | pub fn get_mut(&mut self, index: PfuncIndex) -> mutable::SymbolInterp<'_> { 2025-10-22T14:47:59,003 | ++++ 2025-10-22T14:47:59,005 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,006 --> sli/comp-core/src/comp_core/vocabulary.rs:163:19 2025-10-22T14:47:59,007 | 2025-10-22T14:47:59,009 163 | pub fn pfuncs(&self, index: PfuncIndex) -> Symbol { 2025-10-22T14:47:59,010 | ^^^^^ ------ the same lifetime is hidden here 2025-10-22T14:47:59,011 | | 2025-10-22T14:47:59,012 | the lifetime is elided here 2025-10-22T14:47:59,013 | 2025-10-22T14:47:59,014 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,015 help: use `'_` for type paths 2025-10-22T14:47:59,016 | 2025-10-22T14:47:59,018 163 | pub fn pfuncs(&self, index: PfuncIndex) -> Symbol<'_> { 2025-10-22T14:47:59,019 | ++++ 2025-10-22T14:47:59,021 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,022 --> sli/comp-core/src/comp_core/vocabulary.rs:246:17 2025-10-22T14:47:59,023 | 2025-10-22T14:47:59,024 246 | pub fn iter(&self) -> Iter { 2025-10-22T14:47:59,025 | ^^^^^ ---------- the same lifetime is hidden here 2025-10-22T14:47:59,026 | | 2025-10-22T14:47:59,027 | the lifetime is elided here 2025-10-22T14:47:59,028 | 2025-10-22T14:47:59,029 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,030 help: use `'_` for type paths 2025-10-22T14:47:59,032 | 2025-10-22T14:47:59,033 246 | pub fn iter(&self) -> Iter<'_, Type> { 2025-10-22T14:47:59,034 | +++ 2025-10-22T14:47:59,037 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,038 --> sli/comp-core/src/comp_core/vocabulary.rs:446:68 2025-10-22T14:47:59,039 | 2025-10-22T14:47:59,040 446 | pub fn with_interps>(self, type_interps: &T) -> TypeFull { 2025-10-22T14:47:59,041 | ^^ -------- the same lifetime is hidden here 2025-10-22T14:47:59,041 | | 2025-10-22T14:47:59,042 | the lifetime is elided here 2025-10-22T14:47:59,043 | 2025-10-22T14:47:59,044 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,045 help: use `'_` for type paths 2025-10-22T14:47:59,046 | 2025-10-22T14:47:59,046 446 | pub fn with_interps>(self, type_interps: &T) -> TypeFull<'_> { 2025-10-22T14:47:59,047 | ++++ 2025-10-22T14:47:59,049 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,050 --> sli/comp-core/src/solver/z3.rs:193:27 2025-10-22T14:47:59,051 | 2025-10-22T14:47:59,052 193 | pub fn get_statistics(&mut self) -> z3::Statistics { 2025-10-22T14:47:59,053 | ^^^^^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:47:59,054 | | 2025-10-22T14:47:59,054 | the lifetime is elided here 2025-10-22T14:47:59,055 | 2025-10-22T14:47:59,056 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,057 help: use `'_` for type paths 2025-10-22T14:47:59,058 | 2025-10-22T14:47:59,059 193 | pub fn get_statistics(&mut self) -> z3::Statistics<'_> { 2025-10-22T14:47:59,060 | ++++ 2025-10-22T14:47:59,104 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,105 --> sli/comp-core/src/interp_structures/layout.rs:329:18 2025-10-22T14:47:59,106 | 2025-10-22T14:47:59,107 329 | pub fn index(&mut self, index: DomainEnum) -> DomainEnumIter { 2025-10-22T14:47:59,108 | ^^^^^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:47:59,109 | | 2025-10-22T14:47:59,111 | the lifetime is elided here 2025-10-22T14:47:59,111 | 2025-10-22T14:47:59,113 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,114 help: use `'_` for type paths 2025-10-22T14:47:59,115 | 2025-10-22T14:47:59,116 329 | pub fn index(&mut self, index: DomainEnum) -> DomainEnumIter<'_> { 2025-10-22T14:47:59,117 | ++++ 2025-10-22T14:47:59,123 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,124 --> sli/comp-core/src/interp_structures/btree_func.rs:56:17 2025-10-22T14:47:59,125 | 2025-10-22T14:47:59,126 56 | pub fn iter(&self) -> btree_map::Iter { 2025-10-22T14:47:59,127 | ^^^^^ ------------------------------ the same lifetime is hidden here 2025-10-22T14:47:59,128 | | 2025-10-22T14:47:59,129 | the lifetime is elided here 2025-10-22T14:47:59,130 | 2025-10-22T14:47:59,131 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,132 help: use `'_` for type paths 2025-10-22T14:47:59,134 | 2025-10-22T14:47:59,135 56 | pub fn iter(&self) -> btree_map::Iter<'_, DomainEnum, I> { 2025-10-22T14:47:59,136 | +++ 2025-10-22T14:47:59,138 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:47:59,139 --> sli/comp-core/src/interp_structures/btree_func.rs:60:21 2025-10-22T14:47:59,140 | 2025-10-22T14:47:59,141 60 | pub fn iter_mut(&mut self) -> btree_map::IterMut { 2025-10-22T14:47:59,142 | ^^^^^^^^^ --------------------------------- the same lifetime is hidden here 2025-10-22T14:47:59,143 | | 2025-10-22T14:47:59,144 | the lifetime is elided here 2025-10-22T14:47:59,145 | 2025-10-22T14:47:59,145 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:47:59,146 help: use `'_` for type paths 2025-10-22T14:47:59,147 | 2025-10-22T14:47:59,148 60 | pub fn iter_mut(&mut self) -> btree_map::IterMut<'_, DomainEnum, I> { 2025-10-22T14:47:59,149 | +++ 2025-10-22T14:49:29,268 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,269 --> sli/sli-lib/src/ast/mod.rs:179:19 2025-10-22T14:49:29,270 | 2025-10-22T14:49:29,271 179 | fn iter_decls(&self) -> impl Iterator>; 2025-10-22T14:49:29,272 | ^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:49:29,273 | | 2025-10-22T14:49:29,274 | the lifetime is elided here 2025-10-22T14:49:29,275 | 2025-10-22T14:49:29,275 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,276 = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default 2025-10-22T14:49:29,277 help: use `'_` for type paths 2025-10-22T14:49:29,278 | 2025-10-22T14:49:29,279 179 | fn iter_decls(&self) -> impl Iterator>; 2025-10-22T14:49:29,280 | +++ 2025-10-22T14:49:29,320 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,321 --> sli/sli-lib/src/ast/tree_sitter.rs:316:19 2025-10-22T14:49:29,322 | 2025-10-22T14:49:29,324 316 | fn iter_decls(&self) -> impl Iterator> { 2025-10-22T14:49:29,325 | ^^^^^ ------------------- the same lifetime is hidden here 2025-10-22T14:49:29,326 | | 2025-10-22T14:49:29,327 | the lifetime is elided here 2025-10-22T14:49:29,328 | 2025-10-22T14:49:29,329 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,330 help: use `'_` for type paths 2025-10-22T14:49:29,332 | 2025-10-22T14:49:29,333 316 | fn iter_decls(&self) -> impl Iterator> { 2025-10-22T14:49:29,334 | +++ 2025-10-22T14:49:29,336 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,338 --> sli/sli-lib/src/ast/tree_sitter.rs:343:17 2025-10-22T14:49:29,339 | 2025-10-22T14:49:29,340 343 | fn get_root(&self) -> tree_sitter::Node { 2025-10-22T14:49:29,341 | ^^^^^ ----------------- the same lifetime is hidden here 2025-10-22T14:49:29,342 | | 2025-10-22T14:49:29,343 | the lifetime is elided here 2025-10-22T14:49:29,344 | 2025-10-22T14:49:29,345 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,346 help: use `'_` for type paths 2025-10-22T14:49:29,348 | 2025-10-22T14:49:29,349 343 | fn get_root(&self) -> tree_sitter::Node<'_> { 2025-10-22T14:49:29,350 | ++++ 2025-10-22T14:49:29,352 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,353 --> sli/sli-lib/src/ast/tree_sitter.rs:371:17 2025-10-22T14:49:29,355 | 2025-10-22T14:49:29,356 371 | fn get_root(&self) -> tree_sitter::Node { 2025-10-22T14:49:29,357 | ^^^^^ ----------------- the same lifetime is hidden here 2025-10-22T14:49:29,358 | | 2025-10-22T14:49:29,359 | the lifetime is elided here 2025-10-22T14:49:29,360 | 2025-10-22T14:49:29,361 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,362 help: use `'_` for type paths 2025-10-22T14:49:29,363 | 2025-10-22T14:49:29,364 371 | fn get_root(&self) -> tree_sitter::Node<'_> { 2025-10-22T14:49:29,365 | ++++ 2025-10-22T14:49:29,367 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,368 --> sli/sli-lib/src/ast/tree_sitter.rs:399:17 2025-10-22T14:49:29,369 | 2025-10-22T14:49:29,370 399 | fn get_root(&self) -> tree_sitter::Node { 2025-10-22T14:49:29,371 | ^^^^^ ----------------- the same lifetime is hidden here 2025-10-22T14:49:29,372 | | 2025-10-22T14:49:29,373 | the lifetime is elided here 2025-10-22T14:49:29,374 | 2025-10-22T14:49:29,375 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,376 help: use `'_` for type paths 2025-10-22T14:49:29,377 | 2025-10-22T14:49:29,378 399 | fn get_root(&self) -> tree_sitter::Node<'_> { 2025-10-22T14:49:29,393 | ++++ 2025-10-22T14:49:29,406 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,407 --> sli/sli-lib/src/fodot/collections/set.rs:114:17 2025-10-22T14:49:29,408 | 2025-10-22T14:49:29,410 114 | pub fn iter(&self) -> Iter { 2025-10-22T14:49:29,411 | ^^^^^ ---- the same lifetime is hidden here 2025-10-22T14:49:29,412 | | 2025-10-22T14:49:29,413 | the lifetime is elided here 2025-10-22T14:49:29,414 | 2025-10-22T14:49:29,415 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,416 help: use `'_` for type paths 2025-10-22T14:49:29,417 | 2025-10-22T14:49:29,418 114 | pub fn iter(&self) -> Iter<'_> { 2025-10-22T14:49:29,420 | ++++ 2025-10-22T14:49:29,580 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,581 --> sli/sli-lib/src/fodot/structure/mod.rs:332:9 2025-10-22T14:49:29,582 | 2025-10-22T14:49:29,583 332 | &self, 2025-10-22T14:49:29,584 | ^^^^^ the lifetime is elided here 2025-10-22T14:49:29,586 333 | pfunc_decl: PfuncRef, 2025-10-22T14:49:29,587 334 | ) -> Result { 2025-10-22T14:49:29,588 | --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,589 | 2025-10-22T14:49:29,590 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,591 help: use `'_` for type paths 2025-10-22T14:49:29,592 | 2025-10-22T14:49:29,593 334 | ) -> Result, MissingTypeInterpsError> { 2025-10-22T14:49:29,594 | ++++ 2025-10-22T14:49:29,596 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,598 --> sli/sli-lib/src/fodot/structure/mod.rs:377:9 2025-10-22T14:49:29,599 | 2025-10-22T14:49:29,600 377 | &mut self, 2025-10-22T14:49:29,601 | ^^^^^^^^^ the lifetime is elided here 2025-10-22T14:49:29,602 378 | pfunc_decl: PfuncRef, 2025-10-22T14:49:29,604 379 | ) -> Result { 2025-10-22T14:49:29,605 | ------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,606 | 2025-10-22T14:49:29,607 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,608 help: use `'_` for type paths 2025-10-22T14:49:29,609 | 2025-10-22T14:49:29,610 379 | ) -> Result, MissingTypeInterpsError> { 2025-10-22T14:49:29,611 | ++++ 2025-10-22T14:49:29,613 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,614 --> sli/sli-lib/src/fodot/structure/mod.rs:395:17 2025-10-22T14:49:29,615 | 2025-10-22T14:49:29,616 395 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:29,617 | ^^^^^ --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,618 | | 2025-10-22T14:49:29,619 | the lifetime is elided here 2025-10-22T14:49:29,620 | 2025-10-22T14:49:29,621 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,622 help: use `'_` for type paths 2025-10-22T14:49:29,623 | 2025-10-22T14:49:29,624 395 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:29,625 | ++++ 2025-10-22T14:49:29,627 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,628 --> sli/sli-lib/src/fodot/structure/mod.rs:401:23 2025-10-22T14:49:29,629 | 2025-10-22T14:49:29,630 401 | pub fn iter_known(&self) -> impl SIterator { 2025-10-22T14:49:29,631 | ^^^^^ --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,632 | | 2025-10-22T14:49:29,633 | the lifetime is elided here 2025-10-22T14:49:29,634 | 2025-10-22T14:49:29,635 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,637 help: use `'_` for type paths 2025-10-22T14:49:29,639 | 2025-10-22T14:49:29,640 401 | pub fn iter_known(&self) -> impl SIterator> { 2025-10-22T14:49:29,641 | ++++ 2025-10-22T14:49:29,644 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,645 --> sli/sli-lib/src/fodot/structure/mod.rs:607:16 2025-10-22T14:49:29,646 | 2025-10-22T14:49:29,647 607 | pub fn get(&self, pfunc_decl: PfuncRef) -> pfunc::partial::immutable::SymbolInterp { 2025-10-22T14:49:29,648 | ^^^^^ --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,649 | | 2025-10-22T14:49:29,650 | the lifetime is elided here 2025-10-22T14:49:29,653 | 2025-10-22T14:49:29,654 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,655 help: use `'_` for type paths 2025-10-22T14:49:29,656 | 2025-10-22T14:49:29,657 607 | pub fn get(&self, pfunc_decl: PfuncRef) -> pfunc::partial::immutable::SymbolInterp<'_> { 2025-10-22T14:49:29,659 | ++++ 2025-10-22T14:49:29,661 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,662 --> sli/sli-lib/src/fodot/structure/mod.rs:617:20 2025-10-22T14:49:29,664 | 2025-10-22T14:49:29,665 617 | pub fn get_mut(&mut self, pfunc_decl: PfuncRef) -> pfunc::partial::mutable::SymbolInterp { 2025-10-22T14:49:29,666 | ^^^^^^^^^ ------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,668 | | 2025-10-22T14:49:29,668 | the lifetime is elided here 2025-10-22T14:49:29,669 | 2025-10-22T14:49:29,670 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,671 help: use `'_` for type paths 2025-10-22T14:49:29,672 | 2025-10-22T14:49:29,673 617 | pub fn get_mut(&mut self, pfunc_decl: PfuncRef) -> pfunc::partial::mutable::SymbolInterp<'_> { 2025-10-22T14:49:29,679 | ++++ 2025-10-22T14:49:29,681 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,682 --> sli/sli-lib/src/fodot/structure/mod.rs:628:17 2025-10-22T14:49:29,683 | 2025-10-22T14:49:29,684 628 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:29,685 | ^^^^^ --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,685 | | 2025-10-22T14:49:29,686 | the lifetime is elided here 2025-10-22T14:49:29,687 | 2025-10-22T14:49:29,688 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,689 help: use `'_` for type paths 2025-10-22T14:49:29,690 | 2025-10-22T14:49:29,691 628 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:29,692 | ++++ 2025-10-22T14:49:29,694 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,695 --> sli/sli-lib/src/fodot/structure/mod.rs:634:23 2025-10-22T14:49:29,696 | 2025-10-22T14:49:29,697 634 | pub fn iter_known(&self) -> impl SIterator { 2025-10-22T14:49:29,698 | ^^^^^ --------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,700 | | 2025-10-22T14:49:29,701 | the lifetime is elided here 2025-10-22T14:49:29,702 | 2025-10-22T14:49:29,703 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,704 help: use `'_` for type paths 2025-10-22T14:49:29,706 | 2025-10-22T14:49:29,707 634 | pub fn iter_known(&self) -> impl SIterator> { 2025-10-22T14:49:29,708 | ++++ 2025-10-22T14:49:29,710 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,712 --> sli/sli-lib/src/fodot/structure/mod.rs:653:26 2025-10-22T14:49:29,713 | 2025-10-22T14:49:29,714 653 | pub fn iter_complete(&self) -> IterCompleteStructure { 2025-10-22T14:49:29,715 | ^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:49:29,716 | | 2025-10-22T14:49:29,717 | the lifetime is elided here 2025-10-22T14:49:29,718 | 2025-10-22T14:49:29,719 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,721 help: use `'_` for type paths 2025-10-22T14:49:29,722 | 2025-10-22T14:49:29,723 653 | pub fn iter_complete(&self) -> IterCompleteStructure<'_> { 2025-10-22T14:49:29,724 | ++++ 2025-10-22T14:49:29,727 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,728 --> sli/sli-lib/src/fodot/structure/mod.rs:770:16 2025-10-22T14:49:29,729 | 2025-10-22T14:49:29,730 770 | pub fn get(&self, pfunc_decl: PfuncRef) -> pfunc::complete::immutable::SymbolInterp { 2025-10-22T14:49:29,731 | ^^^^^ ---------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,732 | | 2025-10-22T14:49:29,733 | the lifetime is elided here 2025-10-22T14:49:29,734 | 2025-10-22T14:49:29,735 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,736 help: use `'_` for type paths 2025-10-22T14:49:29,737 | 2025-10-22T14:49:29,740 770 | pub fn get(&self, pfunc_decl: PfuncRef) -> pfunc::complete::immutable::SymbolInterp<'_> { 2025-10-22T14:49:29,741 | ++++ 2025-10-22T14:49:29,743 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,744 --> sli/sli-lib/src/fodot/structure/mod.rs:780:20 2025-10-22T14:49:29,746 | 2025-10-22T14:49:29,747 780 | pub fn get_mut(&mut self, pfunc_decl: PfuncRef) -> pfunc::complete::mutable::SymbolInterp { 2025-10-22T14:49:29,748 | ^^^^^^^^^ -------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,749 | | 2025-10-22T14:49:29,763 | the lifetime is elided here 2025-10-22T14:49:29,764 | 2025-10-22T14:49:29,765 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,766 help: use `'_` for type paths 2025-10-22T14:49:29,767 | 2025-10-22T14:49:29,769 780 | pub fn get_mut(&mut self, pfunc_decl: PfuncRef) -> pfunc::complete::mutable::SymbolInterp<'_> { 2025-10-22T14:49:29,770 | ++++ 2025-10-22T14:49:29,773 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,774 --> sli/sli-lib/src/fodot/structure/mod.rs:788:17 2025-10-22T14:49:29,775 | 2025-10-22T14:49:29,776 788 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:29,778 | ^^^^^ ---------------------------------------- the same lifetime is hidden here 2025-10-22T14:49:29,779 | | 2025-10-22T14:49:29,780 | the lifetime is elided here 2025-10-22T14:49:29,781 | 2025-10-22T14:49:29,782 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,783 help: use `'_` for type paths 2025-10-22T14:49:29,784 | 2025-10-22T14:49:29,786 788 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:29,787 | ++++ 2025-10-22T14:49:29,789 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,790 --> sli/sli-lib/src/fodot/structure/mod.rs:1045:24 2025-10-22T14:49:29,791 | 2025-10-22T14:49:29,792 1045 | pub fn iter_models(&self) -> IterCompleteModel { 2025-10-22T14:49:29,793 | ^^^^^ ----------------- the same lifetime is hidden here 2025-10-22T14:49:29,794 | | 2025-10-22T14:49:29,795 | the lifetime is elided here 2025-10-22T14:49:29,796 | 2025-10-22T14:49:29,797 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,799 help: use `'_` for type paths 2025-10-22T14:49:29,800 | 2025-10-22T14:49:29,801 1045 | pub fn iter_models(&self) -> IterCompleteModel<'_> { 2025-10-22T14:49:29,802 | ++++ 2025-10-22T14:49:29,804 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,805 --> sli/sli-lib/src/fodot/structure/mod.rs:1358:16 2025-10-22T14:49:29,806 | 2025-10-22T14:49:29,807 1358 | pub fn get(&self, index: usize) -> TypeElement { 2025-10-22T14:49:29,808 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:49:29,809 | | 2025-10-22T14:49:29,810 | the lifetime is elided here 2025-10-22T14:49:29,811 | 2025-10-22T14:49:29,812 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,813 help: use `'_` for type paths 2025-10-22T14:49:29,814 | 2025-10-22T14:49:29,815 1358 | pub fn get(&self, index: usize) -> TypeElement<'_> { 2025-10-22T14:49:29,816 | ++++ 2025-10-22T14:49:29,818 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,820 --> sli/sli-lib/src/fodot/structure/mod.rs:1367:17 2025-10-22T14:49:29,821 | 2025-10-22T14:49:29,821 1367 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:29,823 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:49:29,824 | | 2025-10-22T14:49:29,825 | the lifetime is elided here 2025-10-22T14:49:29,826 | 2025-10-22T14:49:29,827 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,828 help: use `'_` for type paths 2025-10-22T14:49:29,829 | 2025-10-22T14:49:29,830 1367 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:29,831 | ++++ 2025-10-22T14:49:29,833 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,834 --> sli/sli-lib/src/fodot/structure/mod.rs:1534:28 2025-10-22T14:49:29,835 | 2025-10-22T14:49:29,836 1534 | pub(crate) fn _dom_ref(&self) -> DomainRef { 2025-10-22T14:49:29,837 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:29,838 | | 2025-10-22T14:49:29,839 | the lifetime is elided here 2025-10-22T14:49:29,840 | 2025-10-22T14:49:29,841 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,842 help: use `'_` for type paths 2025-10-22T14:49:29,843 | 2025-10-22T14:49:29,844 1534 | pub(crate) fn _dom_ref(&self) -> DomainRef<'_> { 2025-10-22T14:49:29,845 | ++++ 2025-10-22T14:49:29,855 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,894 --> sli/sli-lib/src/fodot/structure/mod.rs:1538:22 2025-10-22T14:49:29,895 | 2025-10-22T14:49:29,896 1538 | pub fn iter_args(&self) -> impl SIterator + '_ { 2025-10-22T14:49:29,898 | ^^^^^ ------- -- the same lifetime is elided here 2025-10-22T14:49:29,899 | | | 2025-10-22T14:49:29,900 | | the same lifetime is hidden here 2025-10-22T14:49:29,901 | the lifetime is elided here 2025-10-22T14:49:29,902 | 2025-10-22T14:49:29,903 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,905 help: use `'_` for type paths 2025-10-22T14:49:29,906 | 2025-10-22T14:49:29,907 1538 | pub fn iter_args(&self) -> impl SIterator> + '_ { 2025-10-22T14:49:29,908 | ++++ 2025-10-22T14:49:29,910 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,911 --> sli/sli-lib/src/fodot/structure/mod.rs:1542:16 2025-10-22T14:49:29,912 | 2025-10-22T14:49:29,913 1542 | pub fn get(&self, index: usize) -> TypeFull { 2025-10-22T14:49:29,914 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:49:29,915 | | 2025-10-22T14:49:29,916 | the lifetime is elided here 2025-10-22T14:49:29,917 | 2025-10-22T14:49:29,918 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,920 help: use `'_` for type paths 2025-10-22T14:49:29,921 | 2025-10-22T14:49:29,922 1542 | pub fn get(&self, index: usize) -> TypeFull<'_> { 2025-10-22T14:49:29,923 | ++++ 2025-10-22T14:49:29,925 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,926 --> sli/sli-lib/src/fodot/structure/mod.rs:1546:17 2025-10-22T14:49:29,927 | 2025-10-22T14:49:29,928 1546 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:29,929 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:49:29,930 | | 2025-10-22T14:49:29,931 | the lifetime is elided here 2025-10-22T14:49:29,932 | 2025-10-22T14:49:29,933 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,934 help: use `'_` for type paths 2025-10-22T14:49:29,936 | 2025-10-22T14:49:29,937 1546 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:29,938 | ++++ 2025-10-22T14:49:29,940 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:29,941 --> sli/sli-lib/src/fodot/structure/mod.rs:1564:22 2025-10-22T14:49:29,942 | 2025-10-22T14:49:29,943 1564 | pub fn as_domain(&self) -> DomainRef { 2025-10-22T14:49:29,944 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:29,945 | | 2025-10-22T14:49:29,946 | the lifetime is elided here 2025-10-22T14:49:29,947 | 2025-10-22T14:49:29,949 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:29,950 help: use `'_` for type paths 2025-10-22T14:49:29,951 | 2025-10-22T14:49:29,952 1564 | pub fn as_domain(&self) -> DomainRef<'_> { 2025-10-22T14:49:29,953 | ++++ 2025-10-22T14:49:30,050 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,051 --> sli/sli-lib/src/fodot/structure/pfunc/symbol_interp.rs:818:24 2025-10-22T14:49:30,052 | 2025-10-22T14:49:30,053 818 | pub fn get(&self) -> Option { 2025-10-22T14:49:30,054 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:49:30,056 | | 2025-10-22T14:49:30,057 | the lifetime is elided here 2025-10-22T14:49:30,058 ... 2025-10-22T14:49:30,059 1124 | / create_big_enum! { 2025-10-22T14:49:30,060 1125 | | SymbolInterp, 2025-10-22T14:49:30,061 1126 | | SymbolInterp, 2025-10-22T14:49:30,062 1127 | | NullaryInterp, 2025-10-22T14:49:30,063 ... | 2025-10-22T14:49:30,065 1216 | | ], 2025-10-22T14:49:30,066 1217 | | } 2025-10-22T14:49:30,067 | |_- in this macro invocation 2025-10-22T14:49:30,068 | 2025-10-22T14:49:30,069 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,070 = note: this warning originates in the macro `create_big_enum` (in Nightly builds, run with -Z macro-backtrace for more info) 2025-10-22T14:49:30,071 help: use `'_` for type paths 2025-10-22T14:49:30,072 | 2025-10-22T14:49:30,073 818 | pub fn get(&self) -> Option> { 2025-10-22T14:49:30,074 | ++++ 2025-10-22T14:49:30,090 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,091 --> sli/sli-lib/src/fodot/structure/pfunc/symbol_interp.rs:1052:24 2025-10-22T14:49:30,092 | 2025-10-22T14:49:30,093 1052 | pub fn get(&self) -> TypeElement { 2025-10-22T14:49:30,094 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:49:30,095 | | 2025-10-22T14:49:30,096 | the lifetime is elided here 2025-10-22T14:49:30,097 ... 2025-10-22T14:49:30,098 1124 | / create_big_enum! { 2025-10-22T14:49:30,099 1125 | | SymbolInterp, 2025-10-22T14:49:30,100 1126 | | SymbolInterp, 2025-10-22T14:49:30,101 1127 | | NullaryInterp, 2025-10-22T14:49:30,102 ... | 2025-10-22T14:49:30,103 1216 | | ], 2025-10-22T14:49:30,104 1217 | | } 2025-10-22T14:49:30,105 | |_- in this macro invocation 2025-10-22T14:49:30,106 | 2025-10-22T14:49:30,107 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,108 = note: this warning originates in the macro `create_big_enum` (in Nightly builds, run with -Z macro-backtrace for more info) 2025-10-22T14:49:30,109 help: use `'_` for type paths 2025-10-22T14:49:30,110 | 2025-10-22T14:49:30,111 1052 | pub fn get(&self) -> TypeElement<'_> { 2025-10-22T14:49:30,112 | ++++ 2025-10-22T14:49:30,160 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,161 --> sli/sli-lib/src/fodot/structure/type_interps.rs:727:38 2025-10-22T14:49:30,162 | 2025-10-22T14:49:30,164 727 | pub(crate) fn ensured_get_interp(&self, custom_type: CustomTypeRef) -> _TypeInterpRef { 2025-10-22T14:49:30,165 | ^^^^^ the lifetime is elided here -------------- the same lifetime is hidden here 2025-10-22T14:49:30,166 | 2025-10-22T14:49:30,167 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,168 help: use `'_` for type paths 2025-10-22T14:49:30,170 | 2025-10-22T14:49:30,171 727 | pub(crate) fn ensured_get_interp(&self, custom_type: CustomTypeRef) -> _TypeInterpRef<'_> { 2025-10-22T14:49:30,172 | ++++ 2025-10-22T14:49:30,174 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,175 --> sli/sli-lib/src/fodot/structure/type_interps.rs:731:31 2025-10-22T14:49:30,176 | 2025-10-22T14:49:30,177 731 | pub(crate) fn _get_interp(&self, custom_type: CustomTypeRef) -> Option<_TypeInterpRef> { 2025-10-22T14:49:30,178 | ^^^^^ the lifetime is elided here -------------- the same lifetime is hidden here 2025-10-22T14:49:30,179 | 2025-10-22T14:49:30,180 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,182 help: use `'_` for type paths 2025-10-22T14:49:30,183 | 2025-10-22T14:49:30,184 731 | pub(crate) fn _get_interp(&self, custom_type: CustomTypeRef) -> Option<_TypeInterpRef<'_>> { 2025-10-22T14:49:30,185 | ++++ 2025-10-22T14:49:30,188 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,189 --> sli/sli-lib/src/fodot/structure/type_interps.rs:838:9 2025-10-22T14:49:30,190 | 2025-10-22T14:49:30,191 838 | &self, 2025-10-22T14:49:30,192 | ^^^^^ the lifetime is elided here 2025-10-22T14:49:30,193 839 | type_name: &str, 2025-10-22T14:49:30,194 840 | ) -> Result, TypeInterpFromStrError> { 2025-10-22T14:49:30,195 | ------------- the same lifetime is hidden here 2025-10-22T14:49:30,196 | 2025-10-22T14:49:30,197 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,198 help: use `'_` for type paths 2025-10-22T14:49:30,199 | 2025-10-22T14:49:30,200 840 | ) -> Result>, TypeInterpFromStrError> { 2025-10-22T14:49:30,201 | ++++ 2025-10-22T14:49:30,203 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,204 --> sli/sli-lib/src/fodot/structure/type_interps.rs:977:17 2025-10-22T14:49:30,205 | 2025-10-22T14:49:30,206 977 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:30,207 | ^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:49:30,208 | | 2025-10-22T14:49:30,209 | the lifetime is elided here 2025-10-22T14:49:30,210 | 2025-10-22T14:49:30,211 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,212 help: use `'_` for type paths 2025-10-22T14:49:30,213 | 2025-10-22T14:49:30,214 977 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:30,215 | ++++ 2025-10-22T14:49:30,217 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,218 --> sli/sli-lib/src/fodot/structure/type_interps.rs:1086:9 2025-10-22T14:49:30,219 | 2025-10-22T14:49:30,233 1086 | &self, 2025-10-22T14:49:30,234 | ^^^^^ the lifetime is elided here 2025-10-22T14:49:30,235 1087 | type_name: &str, 2025-10-22T14:49:30,237 1088 | ) -> Result { 2025-10-22T14:49:30,238 | ------------- the same lifetime is hidden here 2025-10-22T14:49:30,239 | 2025-10-22T14:49:30,240 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,241 help: use `'_` for type paths 2025-10-22T14:49:30,242 | 2025-10-22T14:49:30,243 1088 | ) -> Result, TypeInterpFromStrError> { 2025-10-22T14:49:30,244 | ++++ 2025-10-22T14:49:30,246 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,247 --> sli/sli-lib/src/fodot/structure/type_interps.rs:1099:17 2025-10-22T14:49:30,248 | 2025-10-22T14:49:30,249 1099 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:30,250 | ^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:49:30,251 | | 2025-10-22T14:49:30,252 | the lifetime is elided here 2025-10-22T14:49:30,253 | 2025-10-22T14:49:30,254 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,255 help: use `'_` for type paths 2025-10-22T14:49:30,256 | 2025-10-22T14:49:30,258 1099 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:30,259 | ++++ 2025-10-22T14:49:30,272 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,273 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:470:21 2025-10-22T14:49:30,275 | 2025-10-22T14:49:30,276 470 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,277 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,278 | | 2025-10-22T14:49:30,279 | the lifetime is elided here 2025-10-22T14:49:30,280 | 2025-10-22T14:49:30,281 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,282 help: use `'_` for type paths 2025-10-22T14:49:30,283 | 2025-10-22T14:49:30,284 470 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,285 | ++++ 2025-10-22T14:49:30,287 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,288 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:489:25 2025-10-22T14:49:30,289 | 2025-10-22T14:49:30,290 489 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,291 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,292 | | 2025-10-22T14:49:30,293 | the lifetime is elided here 2025-10-22T14:49:30,294 | 2025-10-22T14:49:30,295 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,296 help: use `'_` for type paths 2025-10-22T14:49:30,297 | 2025-10-22T14:49:30,298 489 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,299 | ++++ 2025-10-22T14:49:30,301 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,302 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:508:19 2025-10-22T14:49:30,303 | 2025-10-22T14:49:30,304 508 | pub fn as_ref(&self) -> ExprRef { 2025-10-22T14:49:30,305 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,306 | | 2025-10-22T14:49:30,307 | the lifetime is elided here 2025-10-22T14:49:30,308 | 2025-10-22T14:49:30,309 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,310 help: use `'_` for type paths 2025-10-22T14:49:30,311 | 2025-10-22T14:49:30,311 508 | pub fn as_ref(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,312 | ++++ 2025-10-22T14:49:30,314 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,315 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:791:21 2025-10-22T14:49:30,316 | 2025-10-22T14:49:30,317 791 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,318 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,319 | | 2025-10-22T14:49:30,320 | the lifetime is elided here 2025-10-22T14:49:30,321 | 2025-10-22T14:49:30,322 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,323 help: use `'_` for type paths 2025-10-22T14:49:30,324 | 2025-10-22T14:49:30,325 791 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,326 | ++++ 2025-10-22T14:49:30,329 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,330 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:864:21 2025-10-22T14:49:30,331 | 2025-10-22T14:49:30,332 864 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,333 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,334 | | 2025-10-22T14:49:30,335 | the lifetime is elided here 2025-10-22T14:49:30,336 | 2025-10-22T14:49:30,337 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,338 help: use `'_` for type paths 2025-10-22T14:49:30,339 | 2025-10-22T14:49:30,340 864 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,341 | ++++ 2025-10-22T14:49:30,343 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,344 --> sli/sli-lib/src/fodot/theory/expr/mod.rs:971:21 2025-10-22T14:49:30,345 | 2025-10-22T14:49:30,346 971 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,347 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,348 | | 2025-10-22T14:49:30,349 | the lifetime is elided here 2025-10-22T14:49:30,350 | 2025-10-22T14:49:30,351 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,352 help: use `'_` for type paths 2025-10-22T14:49:30,353 | 2025-10-22T14:49:30,354 971 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,355 | ++++ 2025-10-22T14:49:30,357 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,358 --> sli/sli-lib/src/fodot/theory/expr/aggregate.rs:146:21 2025-10-22T14:49:30,359 | 2025-10-22T14:49:30,359 146 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,361 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,361 | | 2025-10-22T14:49:30,362 | the lifetime is elided here 2025-10-22T14:49:30,363 | 2025-10-22T14:49:30,364 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,365 help: use `'_` for type paths 2025-10-22T14:49:30,366 | 2025-10-22T14:49:30,367 146 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,368 | ++++ 2025-10-22T14:49:30,370 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,371 --> sli/sli-lib/src/fodot/theory/expr/aggregate.rs:180:25 2025-10-22T14:49:30,372 | 2025-10-22T14:49:30,373 180 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,374 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,375 | | 2025-10-22T14:49:30,376 | the lifetime is elided here 2025-10-22T14:49:30,377 | 2025-10-22T14:49:30,378 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,379 help: use `'_` for type paths 2025-10-22T14:49:30,380 | 2025-10-22T14:49:30,381 180 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,382 | ++++ 2025-10-22T14:49:30,384 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,385 --> sli/sli-lib/src/fodot/theory/expr/applied_symbol.rs:94:21 2025-10-22T14:49:30,386 | 2025-10-22T14:49:30,387 94 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,388 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,389 | | 2025-10-22T14:49:30,390 | the lifetime is elided here 2025-10-22T14:49:30,392 | 2025-10-22T14:49:30,392 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,394 help: use `'_` for type paths 2025-10-22T14:49:30,395 | 2025-10-22T14:49:30,396 94 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,398 | ++++ 2025-10-22T14:49:30,400 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,401 --> sli/sli-lib/src/fodot/theory/expr/applied_symbol.rs:98:25 2025-10-22T14:49:30,402 | 2025-10-22T14:49:30,403 98 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,403 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,404 | | 2025-10-22T14:49:30,405 | the lifetime is elided here 2025-10-22T14:49:30,406 | 2025-10-22T14:49:30,406 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,407 help: use `'_` for type paths 2025-10-22T14:49:30,408 | 2025-10-22T14:49:30,409 98 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,410 | ++++ 2025-10-22T14:49:30,411 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,412 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:164:21 2025-10-22T14:49:30,413 | 2025-10-22T14:49:30,413 164 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,414 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,415 | | 2025-10-22T14:49:30,416 | the lifetime is elided here 2025-10-22T14:49:30,416 | 2025-10-22T14:49:30,417 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,418 help: use `'_` for type paths 2025-10-22T14:49:30,418 | 2025-10-22T14:49:30,419 164 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,420 | ++++ 2025-10-22T14:49:30,421 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,422 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:386:21 2025-10-22T14:49:30,423 | 2025-10-22T14:49:30,424 386 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,425 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,426 | | 2025-10-22T14:49:30,426 | the lifetime is elided here 2025-10-22T14:49:30,427 | 2025-10-22T14:49:30,428 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,429 help: use `'_` for type paths 2025-10-22T14:49:30,430 | 2025-10-22T14:49:30,431 386 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,432 | ++++ 2025-10-22T14:49:30,434 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,435 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:630:21 2025-10-22T14:49:30,435 | 2025-10-22T14:49:30,436 630 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,437 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,438 | | 2025-10-22T14:49:30,439 | the lifetime is elided here 2025-10-22T14:49:30,440 | 2025-10-22T14:49:30,440 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,441 help: use `'_` for type paths 2025-10-22T14:49:30,442 | 2025-10-22T14:49:30,443 630 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,444 | ++++ 2025-10-22T14:49:30,446 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,447 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:820:21 2025-10-22T14:49:30,448 | 2025-10-22T14:49:30,449 820 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,450 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,451 | | 2025-10-22T14:49:30,452 | the lifetime is elided here 2025-10-22T14:49:30,452 | 2025-10-22T14:49:30,453 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,454 help: use `'_` for type paths 2025-10-22T14:49:30,454 | 2025-10-22T14:49:30,455 820 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,456 | ++++ 2025-10-22T14:49:30,457 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,458 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:964:21 2025-10-22T14:49:30,459 | 2025-10-22T14:49:30,460 964 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,460 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,461 | | 2025-10-22T14:49:30,462 | the lifetime is elided here 2025-10-22T14:49:30,462 | 2025-10-22T14:49:30,463 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,464 help: use `'_` for type paths 2025-10-22T14:49:30,465 | 2025-10-22T14:49:30,466 964 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,467 | ++++ 2025-10-22T14:49:30,469 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,470 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:974:16 2025-10-22T14:49:30,471 | 2025-10-22T14:49:30,472 974 | pub fn lhs(&self) -> ExprRef { 2025-10-22T14:49:30,473 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,474 | | 2025-10-22T14:49:30,475 | the lifetime is elided here 2025-10-22T14:49:30,476 | 2025-10-22T14:49:30,477 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,478 help: use `'_` for type paths 2025-10-22T14:49:30,479 | 2025-10-22T14:49:30,480 974 | pub fn lhs(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,481 | ++++ 2025-10-22T14:49:30,483 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,484 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:979:16 2025-10-22T14:49:30,484 | 2025-10-22T14:49:30,485 979 | pub fn rhs(&self) -> ExprRef { 2025-10-22T14:49:30,486 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,487 | | 2025-10-22T14:49:30,488 | the lifetime is elided here 2025-10-22T14:49:30,489 | 2025-10-22T14:49:30,490 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,491 help: use `'_` for type paths 2025-10-22T14:49:30,492 | 2025-10-22T14:49:30,493 979 | pub fn rhs(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,494 | ++++ 2025-10-22T14:49:30,496 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,497 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:1155:21 2025-10-22T14:49:30,498 | 2025-10-22T14:49:30,499 1155 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,500 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,501 | | 2025-10-22T14:49:30,503 | the lifetime is elided here 2025-10-22T14:49:30,504 | 2025-10-22T14:49:30,505 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,506 help: use `'_` for type paths 2025-10-22T14:49:30,507 | 2025-10-22T14:49:30,508 1155 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,510 | ++++ 2025-10-22T14:49:30,511 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,512 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:1169:16 2025-10-22T14:49:30,513 | 2025-10-22T14:49:30,514 1169 | pub fn lhs(&self) -> ExprRef { 2025-10-22T14:49:30,515 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,516 | | 2025-10-22T14:49:30,517 | the lifetime is elided here 2025-10-22T14:49:30,517 | 2025-10-22T14:49:30,518 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,519 help: use `'_` for type paths 2025-10-22T14:49:30,520 | 2025-10-22T14:49:30,521 1169 | pub fn lhs(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,521 | ++++ 2025-10-22T14:49:30,523 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,524 --> sli/sli-lib/src/fodot/theory/expr/bin_op.rs:1174:16 2025-10-22T14:49:30,525 | 2025-10-22T14:49:30,526 1174 | pub fn rhs(&self) -> ExprRef { 2025-10-22T14:49:30,527 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,528 | | 2025-10-22T14:49:30,529 | the lifetime is elided here 2025-10-22T14:49:30,530 | 2025-10-22T14:49:30,531 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,532 help: use `'_` for type paths 2025-10-22T14:49:30,533 | 2025-10-22T14:49:30,534 1174 | pub fn rhs(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,535 | ++++ 2025-10-22T14:49:30,537 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,538 --> sli/sli-lib/src/fodot/theory/expr/cardinality_aggregate.rs:95:21 2025-10-22T14:49:30,539 | 2025-10-22T14:49:30,540 95 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,541 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,542 | | 2025-10-22T14:49:30,543 | the lifetime is elided here 2025-10-22T14:49:30,544 | 2025-10-22T14:49:30,545 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,546 help: use `'_` for type paths 2025-10-22T14:49:30,547 | 2025-10-22T14:49:30,548 95 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,549 | ++++ 2025-10-22T14:49:30,552 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,552 --> sli/sli-lib/src/fodot/theory/expr/cardinality_aggregate.rs:111:25 2025-10-22T14:49:30,553 | 2025-10-22T14:49:30,555 111 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,556 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,557 | | 2025-10-22T14:49:30,558 | the lifetime is elided here 2025-10-22T14:49:30,559 | 2025-10-22T14:49:30,560 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,561 help: use `'_` for type paths 2025-10-22T14:49:30,561 | 2025-10-22T14:49:30,562 111 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,564 | ++++ 2025-10-22T14:49:30,566 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,567 --> sli/sli-lib/src/fodot/theory/expr/chained_cmp.rs:228:17 2025-10-22T14:49:30,568 | 2025-10-22T14:49:30,569 228 | pub fn iter(&self) -> Iter { 2025-10-22T14:49:30,571 | ^^^^^ ---- the same lifetime is hidden here 2025-10-22T14:49:30,572 | | 2025-10-22T14:49:30,573 | the lifetime is elided here 2025-10-22T14:49:30,574 | 2025-10-22T14:49:30,575 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,576 help: use `'_` for type paths 2025-10-22T14:49:30,576 | 2025-10-22T14:49:30,577 228 | pub fn iter(&self) -> Iter<'_> { 2025-10-22T14:49:30,578 | ++++ 2025-10-22T14:49:30,580 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,581 --> sli/sli-lib/src/fodot/theory/expr/chained_cmp.rs:236:21 2025-10-22T14:49:30,582 | 2025-10-22T14:49:30,582 236 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,583 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,584 | | 2025-10-22T14:49:30,585 | the lifetime is elided here 2025-10-22T14:49:30,586 | 2025-10-22T14:49:30,587 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,589 help: use `'_` for type paths 2025-10-22T14:49:30,590 | 2025-10-22T14:49:30,591 236 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,591 | ++++ 2025-10-22T14:49:30,593 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,594 --> sli/sli-lib/src/fodot/theory/expr/chained_cmp.rs:240:25 2025-10-22T14:49:30,595 | 2025-10-22T14:49:30,596 240 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,597 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,598 | | 2025-10-22T14:49:30,599 | the lifetime is elided here 2025-10-22T14:49:30,600 | 2025-10-22T14:49:30,601 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,602 help: use `'_` for type paths 2025-10-22T14:49:30,603 | 2025-10-22T14:49:30,604 240 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,606 | ++++ 2025-10-22T14:49:30,608 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,609 --> sli/sli-lib/src/fodot/theory/expr/formula.rs:74:19 2025-10-22T14:49:30,611 | 2025-10-22T14:49:30,612 74 | pub fn as_ref(&self) -> ExprRef { 2025-10-22T14:49:30,613 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,614 | | 2025-10-22T14:49:30,615 | the lifetime is elided here 2025-10-22T14:49:30,616 | 2025-10-22T14:49:30,617 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,618 help: use `'_` for type paths 2025-10-22T14:49:30,619 | 2025-10-22T14:49:30,620 74 | pub fn as_ref(&self) -> ExprRef<'_> { 2025-10-22T14:49:30,621 | ++++ 2025-10-22T14:49:30,623 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,624 --> sli/sli-lib/src/fodot/theory/expr/formula.rs:78:25 2025-10-22T14:49:30,625 | 2025-10-22T14:49:30,626 78 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,627 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,628 | | 2025-10-22T14:49:30,629 | the lifetime is elided here 2025-10-22T14:49:30,630 | 2025-10-22T14:49:30,631 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,632 help: use `'_` for type paths 2025-10-22T14:49:30,633 | 2025-10-22T14:49:30,634 78 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,635 | ++++ 2025-10-22T14:49:30,637 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,637 --> sli/sli-lib/src/fodot/theory/expr/guards.rs:118:21 2025-10-22T14:49:30,638 | 2025-10-22T14:49:30,639 118 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,640 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,641 | | 2025-10-22T14:49:30,642 | the lifetime is elided here 2025-10-22T14:49:30,643 | 2025-10-22T14:49:30,644 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,645 help: use `'_` for type paths 2025-10-22T14:49:30,646 | 2025-10-22T14:49:30,647 118 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,648 | ++++ 2025-10-22T14:49:30,650 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,651 --> sli/sli-lib/src/fodot/theory/expr/guards.rs:196:21 2025-10-22T14:49:30,651 | 2025-10-22T14:49:30,652 196 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,653 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,654 | | 2025-10-22T14:49:30,655 | the lifetime is elided here 2025-10-22T14:49:30,656 | 2025-10-22T14:49:30,657 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,658 help: use `'_` for type paths 2025-10-22T14:49:30,659 | 2025-10-22T14:49:30,660 196 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,661 | ++++ 2025-10-22T14:49:30,663 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,664 --> sli/sli-lib/src/fodot/theory/expr/guards.rs:311:21 2025-10-22T14:49:30,665 | 2025-10-22T14:49:30,666 311 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,667 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,668 | | 2025-10-22T14:49:30,669 | the lifetime is elided here 2025-10-22T14:49:30,670 | 2025-10-22T14:49:30,671 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,672 help: use `'_` for type paths 2025-10-22T14:49:30,673 | 2025-10-22T14:49:30,674 311 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,675 | ++++ 2025-10-22T14:49:30,677 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,678 --> sli/sli-lib/src/fodot/theory/expr/guards.rs:316:25 2025-10-22T14:49:30,679 | 2025-10-22T14:49:30,680 316 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,681 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,683 | | 2025-10-22T14:49:30,684 | the lifetime is elided here 2025-10-22T14:49:30,685 | 2025-10-22T14:49:30,686 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,687 help: use `'_` for type paths 2025-10-22T14:49:30,688 | 2025-10-22T14:49:30,689 316 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,690 | ++++ 2025-10-22T14:49:30,692 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,693 --> sli/sli-lib/src/fodot/theory/expr/in_enumeration.rs:159:21 2025-10-22T14:49:30,694 | 2025-10-22T14:49:30,695 159 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,696 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,697 | | 2025-10-22T14:49:30,698 | the lifetime is elided here 2025-10-22T14:49:30,699 | 2025-10-22T14:49:30,700 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,701 help: use `'_` for type paths 2025-10-22T14:49:30,701 | 2025-10-22T14:49:30,703 159 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,704 | ++++ 2025-10-22T14:49:30,705 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,706 --> sli/sli-lib/src/fodot/theory/expr/in_enumeration.rs:163:25 2025-10-22T14:49:30,707 | 2025-10-22T14:49:30,708 163 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,709 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,710 | | 2025-10-22T14:49:30,711 | the lifetime is elided here 2025-10-22T14:49:30,712 | 2025-10-22T14:49:30,712 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,713 help: use `'_` for type paths 2025-10-22T14:49:30,714 | 2025-10-22T14:49:30,715 163 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,716 | ++++ 2025-10-22T14:49:30,719 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,720 --> sli/sli-lib/src/fodot/theory/expr/ite.rs:135:21 2025-10-22T14:49:30,721 | 2025-10-22T14:49:30,722 135 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,724 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,725 | | 2025-10-22T14:49:30,726 | the lifetime is elided here 2025-10-22T14:49:30,727 | 2025-10-22T14:49:30,728 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,729 help: use `'_` for type paths 2025-10-22T14:49:30,730 | 2025-10-22T14:49:30,731 135 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,732 | ++++ 2025-10-22T14:49:30,735 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,736 --> sli/sli-lib/src/fodot/theory/expr/ite.rs:158:25 2025-10-22T14:49:30,737 | 2025-10-22T14:49:30,738 158 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,739 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,740 | | 2025-10-22T14:49:30,741 | the lifetime is elided here 2025-10-22T14:49:30,742 | 2025-10-22T14:49:30,743 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,744 help: use `'_` for type paths 2025-10-22T14:49:30,745 | 2025-10-22T14:49:30,746 158 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,747 | ++++ 2025-10-22T14:49:30,749 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,750 --> sli/sli-lib/src/fodot/theory/expr/negation.rs:90:21 2025-10-22T14:49:30,751 | 2025-10-22T14:49:30,752 90 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,753 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,755 | | 2025-10-22T14:49:30,755 | the lifetime is elided here 2025-10-22T14:49:30,756 | 2025-10-22T14:49:30,757 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,758 help: use `'_` for type paths 2025-10-22T14:49:30,758 | 2025-10-22T14:49:30,759 90 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,760 | ++++ 2025-10-22T14:49:30,761 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,762 --> sli/sli-lib/src/fodot/theory/expr/negation.rs:103:25 2025-10-22T14:49:30,763 | 2025-10-22T14:49:30,764 103 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,765 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,765 | | 2025-10-22T14:49:30,766 | the lifetime is elided here 2025-10-22T14:49:30,767 | 2025-10-22T14:49:30,767 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,768 help: use `'_` for type paths 2025-10-22T14:49:30,769 | 2025-10-22T14:49:30,770 103 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,771 | ++++ 2025-10-22T14:49:30,772 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,773 --> sli/sli-lib/src/fodot/theory/expr/quantification.rs:116:21 2025-10-22T14:49:30,774 | 2025-10-22T14:49:30,775 116 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,776 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,777 | | 2025-10-22T14:49:30,778 | the lifetime is elided here 2025-10-22T14:49:30,779 | 2025-10-22T14:49:30,780 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,781 help: use `'_` for type paths 2025-10-22T14:49:30,782 | 2025-10-22T14:49:30,783 116 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,784 | ++++ 2025-10-22T14:49:30,786 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,787 --> sli/sli-lib/src/fodot/theory/expr/quantification.rs:136:25 2025-10-22T14:49:30,788 | 2025-10-22T14:49:30,789 136 | pub fn collect_wdcs(&self) -> Vec { 2025-10-22T14:49:30,790 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:49:30,791 | | 2025-10-22T14:49:30,792 | the lifetime is elided here 2025-10-22T14:49:30,793 | 2025-10-22T14:49:30,794 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,795 help: use `'_` for type paths 2025-10-22T14:49:30,796 | 2025-10-22T14:49:30,797 136 | pub fn collect_wdcs(&self) -> Vec> { 2025-10-22T14:49:30,798 | ++++ 2025-10-22T14:49:30,800 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,801 --> sli/sli-lib/src/fodot/theory/expr/variables.rs:87:21 2025-10-22T14:49:30,802 | 2025-10-22T14:49:30,803 87 | pub fn var_type(&self) -> TypeRef { 2025-10-22T14:49:30,804 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,805 | | 2025-10-22T14:49:30,806 | the lifetime is elided here 2025-10-22T14:49:30,807 | 2025-10-22T14:49:30,809 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,810 help: use `'_` for type paths 2025-10-22T14:49:30,810 | 2025-10-22T14:49:30,811 87 | pub fn var_type(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,812 | ++++ 2025-10-22T14:49:30,814 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,815 --> sli/sli-lib/src/fodot/theory/expr/variables.rs:367:21 2025-10-22T14:49:30,815 | 2025-10-22T14:49:30,816 367 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:30,817 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,818 | | 2025-10-22T14:49:30,819 | the lifetime is elided here 2025-10-22T14:49:30,819 | 2025-10-22T14:49:30,820 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,821 help: use `'_` for type paths 2025-10-22T14:49:30,822 | 2025-10-22T14:49:30,823 367 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,824 | ++++ 2025-10-22T14:49:30,826 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,827 --> sli/sli-lib/src/fodot/theory/expr/variables.rs:629:28 2025-10-22T14:49:30,827 | 2025-10-22T14:49:30,828 629 | fn iter_free_variables(&self) -> FreeVariableIter; 2025-10-22T14:49:30,829 | ^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:49:30,830 | | 2025-10-22T14:49:30,831 | the lifetime is elided here 2025-10-22T14:49:30,832 | 2025-10-22T14:49:30,832 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,833 help: use `'_` for type paths 2025-10-22T14:49:30,834 | 2025-10-22T14:49:30,835 629 | fn iter_free_variables(&self) -> FreeVariableIter<'_>; 2025-10-22T14:49:30,836 | ++++ 2025-10-22T14:49:30,838 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,839 --> sli/sli-lib/src/fodot/theory/expr/variables.rs:638:28 2025-10-22T14:49:30,840 | 2025-10-22T14:49:30,841 638 | fn iter_free_variables(&self) -> FreeVariableIter { 2025-10-22T14:49:30,842 | ^^^^^ ---------------- the same lifetime is hidden here 2025-10-22T14:49:30,842 | | 2025-10-22T14:49:30,843 | the lifetime is elided here 2025-10-22T14:49:30,844 | 2025-10-22T14:49:30,845 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,846 help: use `'_` for type paths 2025-10-22T14:49:30,847 | 2025-10-22T14:49:30,848 638 | fn iter_free_variables(&self) -> FreeVariableIter<'_> { 2025-10-22T14:49:30,849 | ++++ 2025-10-22T14:49:30,851 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,851 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:193:25 2025-10-22T14:49:30,852 | 2025-10-22T14:49:30,853 193 | pub fn parse_symbol(&self, name: &str) -> Result { 2025-10-22T14:49:30,854 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:30,855 | | 2025-10-22T14:49:30,856 | the lifetime is elided here 2025-10-22T14:49:30,857 | 2025-10-22T14:49:30,858 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,859 help: use `'_` for type paths 2025-10-22T14:49:30,860 | 2025-10-22T14:49:30,861 193 | pub fn parse_symbol(&self, name: &str) -> Result, MissingSymbolError> { 2025-10-22T14:49:30,862 | ++++ 2025-10-22T14:49:30,864 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,864 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:289:29 2025-10-22T14:49:30,865 | 2025-10-22T14:49:30,866 289 | pub(super) fn _get_type(&self, type_index: TypeSymbolIndex) -> CustomTypeRef { 2025-10-22T14:49:30,867 | ^^^^^ the lifetime is elided here ------------- the same lifetime is hidden here 2025-10-22T14:49:30,867 | 2025-10-22T14:49:30,868 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,869 help: use `'_` for type paths 2025-10-22T14:49:30,870 | 2025-10-22T14:49:30,871 289 | pub(super) fn _get_type(&self, type_index: TypeSymbolIndex) -> CustomTypeRef<'_> { 2025-10-22T14:49:30,871 | ++++ 2025-10-22T14:49:30,873 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,874 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:294:23 2025-10-22T14:49:30,875 | 2025-10-22T14:49:30,876 294 | pub fn parse_type(&self, name: &str) -> Result { 2025-10-22T14:49:30,876 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,877 | | 2025-10-22T14:49:30,878 | the lifetime is elided here 2025-10-22T14:49:30,879 | 2025-10-22T14:49:30,880 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,881 help: use `'_` for type paths 2025-10-22T14:49:30,882 | 2025-10-22T14:49:30,883 294 | pub fn parse_type(&self, name: &str) -> Result, ParseSymbolError> { 2025-10-22T14:49:30,884 | ++++ 2025-10-22T14:49:30,886 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,887 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:298:30 2025-10-22T14:49:30,888 | 2025-10-22T14:49:30,889 298 | pub fn parse_custom_type(&self, name: &str) -> Result { 2025-10-22T14:49:30,890 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:49:30,891 | | 2025-10-22T14:49:30,892 | the lifetime is elided here 2025-10-22T14:49:30,893 | 2025-10-22T14:49:30,894 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,895 help: use `'_` for type paths 2025-10-22T14:49:30,896 | 2025-10-22T14:49:30,897 298 | pub fn parse_custom_type(&self, name: &str) -> Result, ParseSymbolError> { 2025-10-22T14:49:30,898 | ++++ 2025-10-22T14:49:30,899 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,900 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:317:24 2025-10-22T14:49:30,901 | 2025-10-22T14:49:30,902 317 | pub fn parse_pfunc(&self, name: &str) -> Result { 2025-10-22T14:49:30,903 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:49:30,904 | | 2025-10-22T14:49:30,905 | the lifetime is elided here 2025-10-22T14:49:30,906 | 2025-10-22T14:49:30,907 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,908 help: use `'_` for type paths 2025-10-22T14:49:30,909 | 2025-10-22T14:49:30,910 317 | pub fn parse_pfunc(&self, name: &str) -> Result, ParseSymbolError> { 2025-10-22T14:49:30,911 | ++++ 2025-10-22T14:49:30,913 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,913 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:375:23 2025-10-22T14:49:30,914 | 2025-10-22T14:49:30,915 375 | pub fn iter_types(&self) -> impl SIterator { 2025-10-22T14:49:30,915 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:49:30,916 | | 2025-10-22T14:49:30,917 | the lifetime is elided here 2025-10-22T14:49:30,918 | 2025-10-22T14:49:30,918 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,919 help: use `'_` for type paths 2025-10-22T14:49:30,920 | 2025-10-22T14:49:30,921 375 | pub fn iter_types(&self) -> impl SIterator> { 2025-10-22T14:49:30,921 | ++++ 2025-10-22T14:49:30,923 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,924 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:385:24 2025-10-22T14:49:30,924 | 2025-10-22T14:49:30,925 385 | pub fn iter_pfuncs(&self) -> impl SIterator + Clone { 2025-10-22T14:49:30,926 | ^^^^^ -------- the same lifetime is hidden here 2025-10-22T14:49:30,927 | | 2025-10-22T14:49:30,928 | the lifetime is elided here 2025-10-22T14:49:30,928 | 2025-10-22T14:49:30,929 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,930 help: use `'_` for type paths 2025-10-22T14:49:30,931 | 2025-10-22T14:49:30,932 385 | pub fn iter_pfuncs(&self) -> impl SIterator> + Clone { 2025-10-22T14:49:30,933 | ++++ 2025-10-22T14:49:30,935 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,936 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:795:16 2025-10-22T14:49:30,937 | 2025-10-22T14:49:30,938 795 | pub fn get(&self, index: usize) -> TypeRef { 2025-10-22T14:49:30,939 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,940 | | 2025-10-22T14:49:30,941 | the lifetime is elided here 2025-10-22T14:49:30,942 | 2025-10-22T14:49:30,943 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,944 help: use `'_` for type paths 2025-10-22T14:49:30,945 | 2025-10-22T14:49:30,946 795 | pub fn get(&self, index: usize) -> TypeRef<'_> { 2025-10-22T14:49:30,947 | ++++ 2025-10-22T14:49:30,949 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,950 --> sli/sli-lib/src/fodot/vocabulary/mod.rs:799:17 2025-10-22T14:49:30,951 | 2025-10-22T14:49:30,952 799 | pub fn iter(&self) -> impl SIterator { 2025-10-22T14:49:30,953 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,954 | | 2025-10-22T14:49:30,955 | the lifetime is elided here 2025-10-22T14:49:30,956 | 2025-10-22T14:49:30,957 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,957 help: use `'_` for type paths 2025-10-22T14:49:30,958 | 2025-10-22T14:49:30,960 799 | pub fn iter(&self) -> impl SIterator> { 2025-10-22T14:49:30,961 | ++++ 2025-10-22T14:49:30,963 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,963 --> sli/sli-lib/src/fodot/vocabulary/types.rs:502:19 2025-10-22T14:49:30,964 | 2025-10-22T14:49:30,965 502 | pub fn as_ref(&self) -> TypeRef { 2025-10-22T14:49:30,966 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:30,967 | | 2025-10-22T14:49:30,967 | the lifetime is elided here 2025-10-22T14:49:30,968 | 2025-10-22T14:49:30,969 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,970 help: use `'_` for type paths 2025-10-22T14:49:30,971 | 2025-10-22T14:49:30,972 502 | pub fn as_ref(&self) -> TypeRef<'_> { 2025-10-22T14:49:30,973 | ++++ 2025-10-22T14:49:30,975 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,976 --> sli/sli-lib/src/fodot/vocabulary/types.rs:701:19 2025-10-22T14:49:30,977 | 2025-10-22T14:49:30,977 701 | pub fn as_ref(&self) -> CustomTypeRef { 2025-10-22T14:49:30,978 | ^^^^^ ------------- the same lifetime is hidden here 2025-10-22T14:49:30,979 | | 2025-10-22T14:49:30,980 | the lifetime is elided here 2025-10-22T14:49:30,981 | 2025-10-22T14:49:30,982 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,983 help: use `'_` for type paths 2025-10-22T14:49:30,984 | 2025-10-22T14:49:30,985 701 | pub fn as_ref(&self) -> CustomTypeRef<'_> { 2025-10-22T14:49:30,986 | ++++ 2025-10-22T14:49:30,987 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:30,988 --> sli/sli-lib/src/fodot/vocabulary/types.rs:789:19 2025-10-22T14:49:30,989 | 2025-10-22T14:49:30,990 789 | pub fn as_ref(&self) -> IntTypeRef { 2025-10-22T14:49:30,991 | ^^^^^ ---------- the same lifetime is hidden here 2025-10-22T14:49:30,992 | | 2025-10-22T14:49:30,993 | the lifetime is elided here 2025-10-22T14:49:30,994 | 2025-10-22T14:49:30,995 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:30,996 help: use `'_` for type paths 2025-10-22T14:49:30,997 | 2025-10-22T14:49:30,998 789 | pub fn as_ref(&self) -> IntTypeRef<'_> { 2025-10-22T14:49:30,999 | ++++ 2025-10-22T14:49:31,001 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,001 --> sli/sli-lib/src/fodot/vocabulary/types.rs:879:19 2025-10-22T14:49:31,002 | 2025-10-22T14:49:31,003 879 | pub fn as_ref(&self) -> RealTypeRef { 2025-10-22T14:49:31,004 | ^^^^^ ----------- the same lifetime is hidden here 2025-10-22T14:49:31,005 | | 2025-10-22T14:49:31,006 | the lifetime is elided here 2025-10-22T14:49:31,007 | 2025-10-22T14:49:31,008 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,009 help: use `'_` for type paths 2025-10-22T14:49:31,010 | 2025-10-22T14:49:31,011 879 | pub fn as_ref(&self) -> RealTypeRef<'_> { 2025-10-22T14:49:31,012 | ++++ 2025-10-22T14:49:31,014 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,014 --> sli/sli-lib/src/fodot/vocabulary/types.rs:969:19 2025-10-22T14:49:31,016 | 2025-10-22T14:49:31,017 969 | pub fn as_ref(&self) -> StrTypeRef { 2025-10-22T14:49:31,018 | ^^^^^ ---------- the same lifetime is hidden here 2025-10-22T14:49:31,019 | | 2025-10-22T14:49:31,020 | the lifetime is elided here 2025-10-22T14:49:31,021 | 2025-10-22T14:49:31,022 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,023 help: use `'_` for type paths 2025-10-22T14:49:31,023 | 2025-10-22T14:49:31,024 969 | pub fn as_ref(&self) -> StrTypeRef<'_> { 2025-10-22T14:49:31,025 | ++++ 2025-10-22T14:49:31,027 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,027 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:154:19 2025-10-22T14:49:31,028 | 2025-10-22T14:49:31,029 154 | pub fn domain(&self) -> ExtendedDomain { 2025-10-22T14:49:31,030 | ^^^^^ -------------- the same lifetime is hidden here 2025-10-22T14:49:31,031 | | 2025-10-22T14:49:31,031 | the lifetime is elided here 2025-10-22T14:49:31,032 | 2025-10-22T14:49:31,033 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,034 help: use `'_` for type paths 2025-10-22T14:49:31,035 | 2025-10-22T14:49:31,036 154 | pub fn domain(&self) -> ExtendedDomain<'_> { 2025-10-22T14:49:31,037 | ++++ 2025-10-22T14:49:31,038 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,039 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:162:21 2025-10-22T14:49:31,040 | 2025-10-22T14:49:31,041 162 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:31,042 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:31,043 | | 2025-10-22T14:49:31,044 | the lifetime is elided here 2025-10-22T14:49:31,045 | 2025-10-22T14:49:31,046 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,047 help: use `'_` for type paths 2025-10-22T14:49:31,048 | 2025-10-22T14:49:31,049 162 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:31,050 | ++++ 2025-10-22T14:49:31,051 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,052 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:258:27 2025-10-22T14:49:31,053 | 2025-10-22T14:49:31,054 258 | pub(crate) fn _domain(&self) -> DomainRef { 2025-10-22T14:49:31,055 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:31,056 | | 2025-10-22T14:49:31,057 | the lifetime is elided here 2025-10-22T14:49:31,058 | 2025-10-22T14:49:31,059 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,060 help: use `'_` for type paths 2025-10-22T14:49:31,061 | 2025-10-22T14:49:31,062 258 | pub(crate) fn _domain(&self) -> DomainRef<'_> { 2025-10-22T14:49:31,063 | ++++ 2025-10-22T14:49:31,065 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,066 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:266:29 2025-10-22T14:49:31,067 | 2025-10-22T14:49:31,068 266 | pub(crate) fn _codomain(&self) -> TypeRef { 2025-10-22T14:49:31,069 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:31,071 | | 2025-10-22T14:49:31,072 | the lifetime is elided here 2025-10-22T14:49:31,073 | 2025-10-22T14:49:31,074 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,075 help: use `'_` for type paths 2025-10-22T14:49:31,076 | 2025-10-22T14:49:31,078 266 | pub(crate) fn _codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:31,078 | ++++ 2025-10-22T14:49:31,080 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,081 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:311:19 2025-10-22T14:49:31,082 | 2025-10-22T14:49:31,083 311 | pub fn domain(&self) -> DomainRef { 2025-10-22T14:49:31,084 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:31,085 | | 2025-10-22T14:49:31,086 | the lifetime is elided here 2025-10-22T14:49:31,086 | 2025-10-22T14:49:31,087 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,088 help: use `'_` for type paths 2025-10-22T14:49:31,089 | 2025-10-22T14:49:31,090 311 | pub fn domain(&self) -> DomainRef<'_> { 2025-10-22T14:49:31,091 | ++++ 2025-10-22T14:49:31,093 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,094 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:321:21 2025-10-22T14:49:31,095 | 2025-10-22T14:49:31,096 321 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:31,097 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:31,098 | | 2025-10-22T14:49:31,099 | the lifetime is elided here 2025-10-22T14:49:31,100 | 2025-10-22T14:49:31,101 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,102 help: use `'_` for type paths 2025-10-22T14:49:31,103 | 2025-10-22T14:49:31,104 321 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:31,106 | ++++ 2025-10-22T14:49:31,108 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,109 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:406:27 2025-10-22T14:49:31,109 | 2025-10-22T14:49:31,111 406 | pub(crate) fn _domain(&self) -> DomainRef { 2025-10-22T14:49:31,112 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:31,113 | | 2025-10-22T14:49:31,114 | the lifetime is elided here 2025-10-22T14:49:31,115 | 2025-10-22T14:49:31,116 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,117 help: use `'_` for type paths 2025-10-22T14:49:31,118 | 2025-10-22T14:49:31,120 406 | pub(crate) fn _domain(&self) -> DomainRef<'_> { 2025-10-22T14:49:31,121 | ++++ 2025-10-22T14:49:31,123 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,124 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:410:29 2025-10-22T14:49:31,125 | 2025-10-22T14:49:31,126 410 | pub(crate) fn _codomain(&self) -> TypeRef { 2025-10-22T14:49:31,127 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:31,128 | | 2025-10-22T14:49:31,129 | the lifetime is elided here 2025-10-22T14:49:31,130 | 2025-10-22T14:49:31,131 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,132 help: use `'_` for type paths 2025-10-22T14:49:31,133 | 2025-10-22T14:49:31,134 410 | pub(crate) fn _codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:31,135 | ++++ 2025-10-22T14:49:31,137 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,138 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:464:19 2025-10-22T14:49:31,139 | 2025-10-22T14:49:31,141 464 | pub fn domain(&self) -> DomainRef { 2025-10-22T14:49:31,142 | ^^^^^ --------- the same lifetime is hidden here 2025-10-22T14:49:31,143 | | 2025-10-22T14:49:31,144 | the lifetime is elided here 2025-10-22T14:49:31,145 | 2025-10-22T14:49:31,145 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,146 help: use `'_` for type paths 2025-10-22T14:49:31,147 | 2025-10-22T14:49:31,148 464 | pub fn domain(&self) -> DomainRef<'_> { 2025-10-22T14:49:31,149 | ++++ 2025-10-22T14:49:31,151 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:49:31,152 --> sli/sli-lib/src/fodot/vocabulary/symbols.rs:468:21 2025-10-22T14:49:31,153 | 2025-10-22T14:49:31,154 468 | pub fn codomain(&self) -> TypeRef { 2025-10-22T14:49:31,155 | ^^^^^ ------- the same lifetime is hidden here 2025-10-22T14:49:31,156 | | 2025-10-22T14:49:31,157 | the lifetime is elided here 2025-10-22T14:49:31,158 | 2025-10-22T14:49:31,159 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:49:31,160 help: use `'_` for type paths 2025-10-22T14:49:31,160 | 2025-10-22T14:49:31,161 468 | pub fn codomain(&self) -> TypeRef<'_> { 2025-10-22T14:49:31,162 | ++++ 2025-10-22T14:49:42,684 warning: `comp-core` (lib) generated 46 warnings (run `cargo fix --lib -p comp-core` to apply 2 suggestions) 2025-10-22T14:50:33,668 warning: `sli-lib` (lib) generated 103 warnings (2 duplicates) 2025-10-22T14:50:33,668 Compiling pysli-lib v0.1.1 (/tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/sli/pysli-lib) 2025-10-22T14:50:44,991 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:44,992 --> sli/pysli-lib/src/fodot/mod.rs:7:22 2025-10-22T14:50:44,993 | 2025-10-22T14:50:44,994 7 | pub fn submodule(py: Python) -> PyResult> { 2025-10-22T14:50:44,994 | ^^^^^^ -- the same lifetime is elided here 2025-10-22T14:50:44,995 | | 2025-10-22T14:50:44,996 | the lifetime is hidden here 2025-10-22T14:50:44,997 | 2025-10-22T14:50:44,998 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:44,999 = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default 2025-10-22T14:50:44,999 help: consistently use `'_` 2025-10-22T14:50:45,000 | 2025-10-22T14:50:45,001 7 | pub fn submodule(py: Python<'_>) -> PyResult> { 2025-10-22T14:50:45,001 | ++++ 2025-10-22T14:50:45,032 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,033 --> sli/pysli-lib/src/fodot/structure/mod.rs:1178:22 2025-10-22T14:50:45,034 | 2025-10-22T14:50:45,034 1178 | pub fn submodule(py: Python) -> PyResult> { 2025-10-22T14:50:45,035 | ^^^^^^ -- the same lifetime is elided here 2025-10-22T14:50:45,036 | | 2025-10-22T14:50:45,037 | the lifetime is hidden here 2025-10-22T14:50:45,037 | 2025-10-22T14:50:45,038 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,039 help: consistently use `'_` 2025-10-22T14:50:45,040 | 2025-10-22T14:50:45,040 1178 | pub fn submodule(py: Python<'_>) -> PyResult> { 2025-10-22T14:50:45,041 | ++++ 2025-10-22T14:50:45,052 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,053 --> sli/pysli-lib/src/fodot/theory/mod.rs:111:22 2025-10-22T14:50:45,054 | 2025-10-22T14:50:45,054 111 | pub fn submodule(py: Python) -> PyResult> { 2025-10-22T14:50:45,055 | ^^^^^^ -- the same lifetime is elided here 2025-10-22T14:50:45,055 | | 2025-10-22T14:50:45,056 | the lifetime is hidden here 2025-10-22T14:50:45,056 | 2025-10-22T14:50:45,057 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,057 help: consistently use `'_` 2025-10-22T14:50:45,058 | 2025-10-22T14:50:45,058 111 | pub fn submodule(py: Python<'_>) -> PyResult> { 2025-10-22T14:50:45,059 | ++++ 2025-10-22T14:50:45,069 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,070 --> sli/pysli-lib/src/fodot/vocabulary/mod.rs:482:22 2025-10-22T14:50:45,070 | 2025-10-22T14:50:45,071 482 | pub fn submodule(py: Python) -> PyResult> { 2025-10-22T14:50:45,071 | ^^^^^^ -- the same lifetime is elided here 2025-10-22T14:50:45,072 | | 2025-10-22T14:50:45,072 | the lifetime is hidden here 2025-10-22T14:50:45,073 | 2025-10-22T14:50:45,074 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,074 help: consistently use `'_` 2025-10-22T14:50:45,075 | 2025-10-22T14:50:45,075 482 | pub fn submodule(py: Python<'_>) -> PyResult> { 2025-10-22T14:50:45,076 | ++++ 2025-10-22T14:50:45,090 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,091 --> sli/pysli-lib/src/interior_mut/mod.rs:95:22 2025-10-22T14:50:45,092 | 2025-10-22T14:50:45,093 95 | pub fn get(this: &Self) -> InnerMutReadGuard { 2025-10-22T14:50:45,093 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:50:45,094 | | 2025-10-22T14:50:45,095 | the lifetime is elided here 2025-10-22T14:50:45,096 | 2025-10-22T14:50:45,097 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,098 help: use `'_` for type paths 2025-10-22T14:50:45,098 | 2025-10-22T14:50:45,099 95 | pub fn get(this: &Self) -> InnerMutReadGuard<'_, T> { 2025-10-22T14:50:45,100 | +++ 2025-10-22T14:50:45,102 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,103 --> sli/pysli-lib/src/interior_mut/mod.rs:103:26 2025-10-22T14:50:45,104 | 2025-10-22T14:50:45,104 103 | pub fn get_mut(this: &Self) -> InnerMutWriteGuard { 2025-10-22T14:50:45,105 | ^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:50:45,106 | | 2025-10-22T14:50:45,106 | the lifetime is elided here 2025-10-22T14:50:45,107 | 2025-10-22T14:50:45,108 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,108 help: use `'_` for type paths 2025-10-22T14:50:45,109 | 2025-10-22T14:50:45,110 103 | pub fn get_mut(this: &Self) -> InnerMutWriteGuard<'_, T> { 2025-10-22T14:50:45,111 | +++ 2025-10-22T14:50:45,112 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,113 --> sli/pysli-lib/src/interior_mut/mod.rs:150:16 2025-10-22T14:50:45,114 | 2025-10-22T14:50:45,115 150 | fn read_py(&self, py: Python) -> InnerMutReadGuard { 2025-10-22T14:50:45,115 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:50:45,116 | | 2025-10-22T14:50:45,117 | the lifetime is elided here 2025-10-22T14:50:45,118 | 2025-10-22T14:50:45,118 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,119 help: use `'_` for type paths 2025-10-22T14:50:45,119 | 2025-10-22T14:50:45,120 150 | fn read_py(&self, py: Python) -> InnerMutReadGuard<'_, T> { 2025-10-22T14:50:45,120 | +++ 2025-10-22T14:50:45,121 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,122 --> sli/pysli-lib/src/interior_mut/mod.rs:168:17 2025-10-22T14:50:45,122 | 2025-10-22T14:50:45,123 168 | fn write_py(&self, py: Python) -> InnerMutWriteGuard { 2025-10-22T14:50:45,123 | ^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:50:45,124 | | 2025-10-22T14:50:45,124 | the lifetime is elided here 2025-10-22T14:50:45,125 | 2025-10-22T14:50:45,125 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,126 help: use `'_` for type paths 2025-10-22T14:50:45,126 | 2025-10-22T14:50:45,127 168 | fn write_py(&self, py: Python) -> InnerMutWriteGuard<'_, T> { 2025-10-22T14:50:45,127 | +++ 2025-10-22T14:50:45,128 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,129 --> sli/pysli-lib/src/interior_mut/mod.rs:186:19 2025-10-22T14:50:45,129 | 2025-10-22T14:50:45,130 186 | pub fn get_py(&self, py: Python) -> InnerMutReadGuard { 2025-10-22T14:50:45,131 | ^^^^^ -------------------- the same lifetime is hidden here 2025-10-22T14:50:45,132 | | 2025-10-22T14:50:45,132 | the lifetime is elided here 2025-10-22T14:50:45,133 | 2025-10-22T14:50:45,134 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,135 help: use `'_` for type paths 2025-10-22T14:50:45,135 | 2025-10-22T14:50:45,136 186 | pub fn get_py(&self, py: Python) -> InnerMutReadGuard<'_, T> { 2025-10-22T14:50:45,137 | +++ 2025-10-22T14:50:45,139 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,139 --> sli/pysli-lib/src/interior_mut/mod.rs:207:23 2025-10-22T14:50:45,140 | 2025-10-22T14:50:45,141 207 | pub fn get_mut_py(&self, py: Python) -> InnerMutWriteGuard { 2025-10-22T14:50:45,141 | ^^^^^ --------------------- the same lifetime is hidden here 2025-10-22T14:50:45,142 | | 2025-10-22T14:50:45,143 | the lifetime is elided here 2025-10-22T14:50:45,143 | 2025-10-22T14:50:45,144 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,144 help: use `'_` for type paths 2025-10-22T14:50:45,145 | 2025-10-22T14:50:45,146 207 | pub fn get_mut_py(&self, py: Python) -> InnerMutWriteGuard<'_, T> { 2025-10-22T14:50:45,146 | +++ 2025-10-22T14:50:45,148 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,148 --> sli/pysli-lib/src/interior_mut/mod.rs:813:22 2025-10-22T14:50:45,149 | 2025-10-22T14:50:45,150 813 | pub fn inner_mut(&self) -> MutexGuard> { 2025-10-22T14:50:45,151 | ^^^^^ ------------------------ the same lifetime is hidden here 2025-10-22T14:50:45,151 | | 2025-10-22T14:50:45,152 | the lifetime is elided here 2025-10-22T14:50:45,153 | 2025-10-22T14:50:45,153 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,154 help: use `'_` for type paths 2025-10-22T14:50:45,155 | 2025-10-22T14:50:45,156 813 | pub fn inner_mut(&self) -> MutexGuard<'_, Option> { 2025-10-22T14:50:45,156 | +++ 2025-10-22T14:50:45,158 warning: hiding a lifetime that's elided elsewhere is confusing 2025-10-22T14:50:45,158 --> sli/pysli-lib/src/solver.rs:262:22 2025-10-22T14:50:45,159 | 2025-10-22T14:50:45,160 262 | pub fn submodule(py: Python) -> PyResult> { 2025-10-22T14:50:45,161 | ^^^^^^ -- the same lifetime is elided here 2025-10-22T14:50:45,161 | | 2025-10-22T14:50:45,162 | the lifetime is hidden here 2025-10-22T14:50:45,163 | 2025-10-22T14:50:45,163 = help: the same lifetime is referred to in inconsistent ways, making the signature confusing 2025-10-22T14:50:45,164 help: consistently use `'_` 2025-10-22T14:50:45,164 | 2025-10-22T14:50:45,165 262 | pub fn submodule(py: Python<'_>) -> PyResult> { 2025-10-22T14:50:45,165 | ++++ 2025-10-22T14:51:10,428 warning: `pysli-lib` (lib) generated 12 warnings 2025-10-22T14:51:10,429 Finished `release` profile [optimized] target(s) in 9m 57s 2025-10-22T14:51:12,163 📦 Built wheel for abi3 Python ≥ 3.11 to /tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/target/wheels/sli_lib-0.1.1-cp311-abi3-linux_armv7l.whl 2025-10-22T14:51:12,166 /tmp/pip-wheel-nsf9ry9k/sli-lib_ed92dea7c4194c0ea75ec3dc4e862a7e/target/wheels/sli_lib-0.1.1-cp311-abi3-linux_armv7l.whl 2025-10-22T14:51:12,227 Building wheel for sli-lib (pyproject.toml): finished with status 'done' 2025-10-22T14:51:12,246 Created wheel for sli-lib: filename=sli_lib-0.1.1-cp311-abi3-linux_armv7l.whl size=1377609 sha256=985812a1766230dfa0b82afb69b77746bdf5c7ffb4f0f9fcb261153ff1bb1cef 2025-10-22T14:51:12,247 Stored in directory: /tmp/pip-ephem-wheel-cache-0kxecj2k/wheels/5a/1e/68/f05b3276944c4836ba9812babce4cd1b0b1f0af9ca92ef010c 2025-10-22T14:51:12,259 Successfully built sli-lib 2025-10-22T14:51:12,295 Removed build tracker: '/tmp/pip-build-tracker-5jejyxtk'