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