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