[INFO] fetching crate dryadsynth-bv 0.1.3...
[INFO] checking dryadsynth-bv-0.1.3 against try#66388cc165a6c4ac98c074dc9f0281ff23528c55 for pr-150727
[INFO] extracting crate dryadsynth-bv 0.1.3 into /workspace/builds/worker-6-tc2/source
[INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate dryadsynth-bv 0.1.3
[INFO] finished tweaking crates.io crate dryadsynth-bv 0.1.3
[INFO] tweaked toml for crates.io crate dryadsynth-bv 0.1.3 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate dryadsynth-bv 0.1.3 on toolchain 66388cc165a6c4ac98c074dc9f0281ff23528c55
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate dryadsynth-bv 0.1.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 61124f97d5ca6872ad9676054c8c9cc400a1f0458bfe08ec8ae8ee8e6d7c362b
[INFO] running `Command { std: "docker" "start" "-a" "61124f97d5ca6872ad9676054c8c9cc400a1f0458bfe08ec8ae8ee8e6d7c362b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "61124f97d5ca6872ad9676054c8c9cc400a1f0458bfe08ec8ae8ee8e6d7c362b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61124f97d5ca6872ad9676054c8c9cc400a1f0458bfe08ec8ae8ee8e6d7c362b", kill_on_drop: false }`
[INFO] [stdout] 61124f97d5ca6872ad9676054c8c9cc400a1f0458bfe08ec8ae8ee8e6d7c362b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+66388cc165a6c4ac98c074dc9f0281ff23528c55" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9970901828dfff44e8563b609280b1348f6642d5b8742666ec4ed59cad574d94
[INFO] running `Command { std: "docker" "start" "-a" "9970901828dfff44e8563b609280b1348f6642d5b8742666ec4ed59cad574d94", kill_on_drop: false }`
[INFO] [stderr]    Compiling cc v1.2.17
[INFO] [stderr]     Checking once_cell v1.21.1
[INFO] [stderr]     Checking parking_lot_core v0.9.10
[INFO] [stderr]     Checking signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling openssl-macros v0.1.1
[INFO] [stderr]     Checking serde v1.0.219
[INFO] [stderr]    Compiling darling_core v0.20.10
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking miniz_oxide v0.8.5
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking icu_locid_transform v1.5.0
[INFO] [stderr]    Compiling you-can-build-macros v0.0.14
[INFO] [stderr]    Compiling uncased v0.9.10
[INFO] [stderr]    Compiling pest v2.7.15
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking parking_lot v0.12.3
[INFO] [stderr]     Checking winnow v0.7.4
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0
[INFO] [stderr]    Compiling anyhow v1.0.97
[INFO] [stderr]     Checking tokio v1.44.1
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking eventsource-stream v0.2.3
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]    Compiling figment v0.10.19
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking clap_builder v4.5.32
[INFO] [stderr]    Compiling clap_derive v4.5.32
[INFO] [stderr]     Checking futures-executor v0.3.31
[INFO] [stderr]    Compiling ruint-macro v1.2.1
[INFO] [stderr]    Compiling convert_case v0.4.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking thousands v0.2.0
[INFO] [stderr]     Checking icu_properties v1.5.1
[INFO] [stderr]     Checking mintex v0.1.3
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling pest_meta v2.7.15
[INFO] [stderr]    Compiling derive_more v0.99.19
[INFO] [stderr]     Checking ruint v1.13.1
[INFO] [stderr]    Compiling openssl-sys v0.9.106
[INFO] [stderr]    Compiling tree-sitter v0.20.10
[INFO] [stderr]    Compiling dryadsynth-bv v0.1.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking addr2line v0.24.2
[INFO] [stderr]    Compiling pest_generator v2.7.15
[INFO] [stderr]    Compiling openssl v0.10.71
[INFO] [stderr]    Compiling native-tls v0.2.14
[INFO] [stderr]     Checking futures v0.3.31
[INFO] [stderr]     Checking aligned-array v1.0.1
[INFO] [stderr]     Checking integer-cbrt v0.1.2
[INFO] [stderr]     Checking integer-sqrt v0.1.5
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]    Compiling extension-trait v1.0.2
[INFO] [stderr]     Checking join-lazy-fmt v0.9.2
[INFO] [stderr]     Checking bumpalo v3.17.0
[INFO] [stderr]     Checking sdset v0.4.0
[INFO] [stderr]     Checking clone_all v0.1.1
[INFO] [stderr]     Checking toml_datetime v0.6.8
[INFO] [stderr]     Checking serde_spanned v0.6.8
[INFO] [stderr]     Checking serde_json v1.0.140
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking iter_fixed v0.3.1
[INFO] [stderr]     Checking nohash-hasher v0.2.0
[INFO] [stderr]    Compiling darling_macro v0.20.10
[INFO] [stderr]     Checking itertools v0.4.19
[INFO] [stderr]     Checking toml_edit v0.22.24
[INFO] [stderr]     Checking toml_edit v0.19.15
[INFO] [stderr]     Checking clap v4.5.32
[INFO] [stderr]     Checking hash_hasher v2.0.3
[INFO] [stderr]     Checking separator v0.4.1
[INFO] [stderr]     Checking icu_normalizer v1.5.0
[INFO] [stderr]    Compiling darling v0.20.10
[INFO] [stderr]    Compiling derive_builder_core v0.20.2
[INFO] [stderr]    Compiling pest_derive v2.7.15
[INFO] [stderr]     Checking idna_adapter v1.2.0
[INFO] [stderr]     Checking idna v1.0.3
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]     Checking url v2.5.4
[INFO] [stderr]    Compiling derive_builder_macro v0.20.2
[INFO] [stderr]     Checking dhat v0.3.3
[INFO] [stderr]     Checking rsmt2 v0.16.2
[INFO] [stderr]     Checking derive_builder v0.20.2
[INFO] [stderr]     Checking hyper v1.6.0
[INFO] [stderr]     Checking tower v0.5.2
[INFO] [stderr]     Checking tokio-util v0.7.14
[INFO] [stderr]     Checking toml v0.8.20
[INFO] [stderr]     Checking toml v0.7.8
[INFO] [stderr]     Checking hyper-util v0.1.10
[INFO] [stderr]     Checking you-can v0.0.14
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from tree-sitter/tree-sitter-python/parser.c:1:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-python/parser.c: In function 'ts_lex_keywords':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-python/tree_sitter/parser.h:136:8: warning: variable 'eof' set but not used [-Wunused-but-set-variable]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   136 |   bool eof = false;             \
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |        ^~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-python/parser.c:8962:3: note: in expansion of macro 'START_LEXER'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  8962 |   START_LEXER();
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from tree-sitter/tree-sitter-markdown/parser.c:1:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/parser.c: In function 'ts_lex':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/tree_sitter/parser.h:136:11: warning: variable 'lookahead' set but not used [-Wunused-but-set-variable]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   136 |   int32_t lookahead;            \
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |           ^~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/parser.c:1756:3: note: in expansion of macro 'START_LEXER'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1756 |   START_LEXER();
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from tree-sitter/tree-sitter-markdown/scanner.cc:17:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc: In function 'tree_sitter_markdown::BlockScanResult tree_sitter_markdown::scn_blk_hsh(Lexer&, BlockDelimiterList&, LexedColumn, bool, bool)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:577:105: warning: unused parameter 'is_pas_all_blk_ctx' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   577 | BlockScanResult scn_blk_hsh(Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:577:136: warning: unused parameter 'is_pgh_cont_ln' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   577 | BlockScanResult scn_blk_hsh(Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                                             ~~~~~~~~~~~^~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc: In function 'tree_sitter_markdown::BlockScanResult tree_sitter_markdown::scn_blk_rng(Lexer&, BlockDelimiterList&, LexedColumn, bool, bool)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:708:105: warning: unused parameter 'is_pas_all_blk_ctx' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   708 | BlockScanResult scn_blk_rng(Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:708:136: warning: unused parameter 'is_pgh_cont_ln' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   708 | BlockScanResult scn_blk_rng(Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                                             ~~~~~~~~~~~^~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc: In function 'tree_sitter_markdown::BlockScanResult tree_sitter_markdown::scn_fen_cod(LexedCharacter, Symbol, LexedLength, bool, bool, Lexer&, BlockDelimiterList&, LexedColumn, bool, bool)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:727:79: warning: unused parameter 'is_pas_all_blk_ctx' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   727 |   Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                    ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/block_scan.cc:727:110: warning: unused parameter 'is_pgh_cont_ln' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   727 |   Lexer &lxr, BlockDelimiterList &blk_dlms, const LexedColumn ind, const bool is_pas_all_blk_ctx, const bool is_pgh_cont_ln
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                   ~~~~~~~~~~~^~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from tree-sitter/tree-sitter-markdown/scanner.cc:21:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_blk_txt(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:174:51: warning: unused parameter 'inl_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   174 | bool scn_blk_txt(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                              ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:174:81: warning: unused parameter 'inl_ctx_stk' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   174 | bool scn_blk_txt(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_ext_aut_lnk(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:354:118: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   354 | bool scn_ext_aut_lnk(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                  ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_amp(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:508:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   508 | bool scn_inl_amp(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_bng(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:558:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   558 | bool scn_inl_bng(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_btk(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:644:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   644 | bool scn_inl_btk(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_cln(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:666:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   666 | bool scn_inl_cln(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_eql(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:708:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   708 | bool scn_inl_eql(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_hsh(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:721:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   721 | bool scn_inl_hsh(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_hyp(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:732:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   732 | bool scn_inl_hyp(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_lbt(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:763:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   763 | bool scn_inl_lbt(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_lng(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:809:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   809 | bool scn_inl_lng(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_pip(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&, LexedIndex&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:907:81: warning: unused parameter 'inl_ctx_stk' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   907 | bool scn_inl_pip(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr, LexedIndex &end_idx) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                             ~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:907:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   907 | bool scn_inl_pip(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr, LexedIndex &end_idx) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_qus(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:920:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   920 | bool scn_inl_qus(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_rng(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1017:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1017 | bool scn_inl_rng(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_slh(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1110:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1110 | bool scn_inl_slh(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_inl_tld(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1138:114: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1138 | bool scn_inl_tld(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                              ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_aut_lnk_htm_opn_tag_txt(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1378:36: warning: unused parameter 'inl_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1378 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |               ~~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1378:99: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1378 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                               ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1378:128: warning: unused parameter 'blk_ctx_stk' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1378 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                             ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1378:178: warning: unused parameter 'nxt_inl_dlm_itr' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1378 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_dlm_run(LexedCharacter, Symbol, Symbol, bool (*)(LexedCharacter, LexedCharacter), bool (*)(LexedCharacter, LexedCharacter), bool (InlineContext::*)() const, Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1436:99: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1436 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                               ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_lnk_tit_bgn(LexedCharacter, Symbol, Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1575:99: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1575 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                               ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_htm_atr_val_bgn(LexedCharacter, Symbol, Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1635:99: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1635 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                               ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'bool tree_sitter_markdown::scn_htm_atr_val_end(LexedCharacter, Symbol, Symbol, Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&, const InlineDelimiterList::Iterator&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1650:99: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1650 |   Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk, const InlineDelimiterList::Iterator &nxt_inl_dlm_itr
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                               ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc: In function 'void tree_sitter_markdown::hdl_paired_lnk_ref_def(Lexer&, InlineDelimiterList&, InlineContextStack&, BlockDelimiterList&, BlockContextStack&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1753:36: warning: unused parameter 'lxr' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1753 | void hdl_paired_lnk_ref_def(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                             ~~~~~~~^~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1753:125: warning: unused parameter 'blk_dlms' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1753 | void hdl_paired_lnk_ref_def(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                         ~~~~~~~~~~~~~~~~~~~~^~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/inline_scan.cc:1753:154: warning: unused parameter 'blk_ctx_stk' [-Wunused-parameter]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:  1753 | void hdl_paired_lnk_ref_def(Lexer &lxr, InlineDelimiterList &inl_dlms, InlineContextStack &inl_ctx_stk, BlockDelimiterList &blk_dlms, BlockContextStack &blk_ctx_stk) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                                                                                                                                       ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from tree-sitter/tree-sitter-markdown/scanner.cc:23:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc: In member function 'void tree_sitter_markdown::Lexer::adv(bool)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:106:37: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   106 |     if (cur_idx_ - buf_bgn_idx_ + 1 >= chr_buf_.size()) {
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: In file included from /usr/include/c++/13/cassert:44,
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:                  from tree-sitter/tree-sitter-markdown/scanner.cc:2:
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc: In member function 'void tree_sitter_markdown::Lexer::jmp_pos(const tree_sitter_markdown::LexedPosition&)':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:174:56: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   174 |   TREE_SITTER_MARKDOWN_ASSERT(pos.idx() - buf_bgn_idx_ < chr_buf_.size() - 1);
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                               ~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:174:3: note: in expansion of macro 'TREE_SITTER_MARKDOWN_ASSERT'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   174 |   TREE_SITTER_MARKDOWN_ASSERT(pos.idx() - buf_bgn_idx_ < chr_buf_.size() - 1);
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc: In member function 'bool tree_sitter_markdown::Lexer::has_chr_at_idx(tree_sitter_markdown::LexedCharacter, tree_sitter_markdown::LexedIndex) const':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:185:50: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   185 |   TREE_SITTER_MARKDOWN_ASSERT(idx - buf_bgn_idx_ < chr_buf_.size());
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                               ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:185:3: note: in expansion of macro 'TREE_SITTER_MARKDOWN_ASSERT'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   185 |   TREE_SITTER_MARKDOWN_ASSERT(idx - buf_bgn_idx_ < chr_buf_.size());
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:186:14: warning: comparison is always false due to limited range of data type [-Wtype-limits]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   186 |   return idx < 0 ? false : chr_buf_[idx - buf_bgn_idx_] == chr;
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |          ~~~~^~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc: In member function 'bool tree_sitter_markdown::Lexer::has_chr_at_idx(bool (*)(tree_sitter_markdown::LexedCharacter), tree_sitter_markdown::LexedIndex) const':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:190:50: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   190 |   TREE_SITTER_MARKDOWN_ASSERT(idx - buf_bgn_idx_ < chr_buf_.size());
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                               ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:190:3: note: in expansion of macro 'TREE_SITTER_MARKDOWN_ASSERT'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   190 |   TREE_SITTER_MARKDOWN_ASSERT(idx - buf_bgn_idx_ < chr_buf_.size());
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:191:14: warning: comparison is always false due to limited range of data type [-Wtype-limits]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   191 |   return idx < 0 ? false : is_chr(chr_buf_[idx - buf_bgn_idx_]);
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |          ~~~~^~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc: In member function 'bool tree_sitter_markdown::Lexer::has_chr_in_rng(bool (*)(tree_sitter_markdown::LexedCharacter), tree_sitter_markdown::LexedIndex, tree_sitter_markdown::LexedIndex) const':
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:196:54: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   196 |   TREE_SITTER_MARKDOWN_ASSERT(end_idx - buf_bgn_idx_ < chr_buf_.size() - 1);
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |                               ~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: dryadsynth-bv@0.1.3: tree-sitter/tree-sitter-markdown/./tree_sitter_markdown/lexer.cc:196:3: note: in expansion of macro 'TREE_SITTER_MARKDOWN_ASSERT'
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:   196 |   TREE_SITTER_MARKDOWN_ASSERT(end_idx - buf_bgn_idx_ < chr_buf_.size() - 1);
[INFO] [stderr] warning: dryadsynth-bv@0.1.3:       |   ^~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr]     Checking tokio-native-tls v0.3.1
[INFO] [stderr]     Checking hyper-tls v0.6.0
[INFO] [stderr]     Checking reqwest v0.12.15
[INFO] [stderr]     Checking reqwest-eventsource v0.6.0
[INFO] [stderr]     Checking openai v1.0.0
[INFO] [stdout] warning: the feature `inherent_associated_types` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]   --> src/main.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | #![feature(inherent_associated_types)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see issue #8995 <https://github.com/rust-lang/rust/issues/8995> for more information
[INFO] [stdout]    = note: `#[warn(incomplete_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `core_intrinsics` is internal to the compiler or standard library
[INFO] [stdout]  --> src/main.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | #![feature(core_intrinsics)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: using it is strongly discouraged
[INFO] [stdout]   = note: `#[warn(internal_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `openai::set_key`
[INFO] [stdout]   --> src/main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use openai::set_key;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `openai::set_key`: use the `Credentials` struct instead
[INFO] [stdout]   --> src/main.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | use openai::set_key;
[INFO] [stdout]    |             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `return_position_impl_trait_in_trait` has been stable since 1.75.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | #![feature(return_position_impl_trait_in_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `local_key_cell_methods` has been stable since 1.73.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(local_key_cell_methods)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `unchecked_math` has been stable since 1.79.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(unchecked_math)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `inherent_associated_types` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]   --> src/main.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | #![feature(inherent_associated_types)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: see issue #8995 <https://github.com/rust-lang/rust/issues/8995> for more information
[INFO] [stdout]    = note: `#[warn(incomplete_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `core_intrinsics` is internal to the compiler or standard library
[INFO] [stdout]  --> src/main.rs:8:12
[INFO] [stdout]   |
[INFO] [stdout] 8 | #![feature(core_intrinsics)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: using it is strongly discouraged
[INFO] [stdout]   = note: `#[warn(internal_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `openai::set_key`
[INFO] [stdout]   --> src/main.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use openai::set_key;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated function `openai::set_key`: use the `Credentials` struct instead
[INFO] [stdout]   --> src/main.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | use openai::set_key;
[INFO] [stdout]    |             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `return_position_impl_trait_in_trait` has been stable since 1.75.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:9:12
[INFO] [stdout]   |
[INFO] [stdout] 9 | #![feature(return_position_impl_trait_in_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `local_key_cell_methods` has been stable since 1.73.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(local_key_cell_methods)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `unchecked_math` has been stable since 1.79.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #![feature(unchecked_math)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `futures::FutureExt`
[INFO] [stdout]  --> src/enumerate/utils.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use futures::FutureExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::slice::SlicePattern`
[INFO] [stdout]  --> src/solutions.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use core::slice::SlicePattern;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BorrowMut`
[INFO] [stdout]  --> src/tree_learning/mod.rs:1:43
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cell::RefCell, borrow::{Borrow, BorrowMut}};
[INFO] [stdout]   |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Borrow`
[INFO] [stdout]  --> src/tree_learning/mod.rs:1:35
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cell::RefCell, borrow::{Borrow, BorrowMut}};
[INFO] [stdout]   |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `futures::FutureExt`
[INFO] [stdout]  --> src/enumerate/utils.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use futures::FutureExt;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `core::slice::SlicePattern`
[INFO] [stdout]  --> src/solutions.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use core::slice::SlicePattern;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `BorrowMut`
[INFO] [stdout]  --> src/tree_learning/mod.rs:1:43
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cell::RefCell, borrow::{Borrow, BorrowMut}};
[INFO] [stdout]   |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Borrow`
[INFO] [stdout]  --> src/tree_learning/mod.rs:1:35
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{cell::RefCell, borrow::{Borrow, BorrowMut}};
[INFO] [stdout]   |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/enumerate/expr.rs:140:65
[INFO] [stdout]     |
[INFO] [stdout] 140 |             if let Some((i, _)) = env.iter().enumerate().find(|(i, x)| x == &v) {
[INFO] [stdout]     |                                                                 ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/enumerate/expr.rs:139:36
[INFO] [stdout]     |
[INFO] [stdout] 139 |         } else if let SExpr::Id(v, span) = sexpr {
[INFO] [stdout]     |                                    ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/enumerate/expr.rs:180:31
[INFO] [stdout]     |
[INFO] [stdout] 180 |         if let OwnedExpr::Var(i) = self { return () }
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/enumerate/expr.rs:181:33
[INFO] [stdout]     |
[INFO] [stdout] 181 |         if let OwnedExpr::Const(c) = self { return () }
[INFO] [stdout]     |                                 ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:31
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:34
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:37
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                                     ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/enumerate/expr.rs:140:65
[INFO] [stdout]     |
[INFO] [stdout] 140 |             if let Some((i, _)) = env.iter().enumerate().find(|(i, x)| x == &v) {
[INFO] [stdout]     |                                                                 ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/enumerate/expr.rs:139:36
[INFO] [stdout]     |
[INFO] [stdout] 139 |         } else if let SExpr::Id(v, span) = sexpr {
[INFO] [stdout]     |                                    ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/enumerate/expr.rs:180:31
[INFO] [stdout]     |
[INFO] [stdout] 180 |         if let OwnedExpr::Var(i) = self { return () }
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/enumerate/expr.rs:181:33
[INFO] [stdout]     |
[INFO] [stdout] 181 |         if let OwnedExpr::Const(c) = self { return () }
[INFO] [stdout]     |                                 ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:31
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                               ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `b`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:34
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_b`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `c`
[INFO] [stdout]    --> src/enumerate/expr.rs:182:37
[INFO] [stdout]     |
[INFO] [stdout] 182 |         if let OwnedExpr::Ite(a, b, c) = self { return () }
[INFO] [stdout]     |                                     ^ help: if this is intentional, prefix it with an underscore: `_c`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `partial_solution`
[INFO] [stdout]    --> src/enumerate/config.rs:145:53
[INFO] [stdout]     |
[INFO] [stdout] 145 |     pub fn from_problem(problem: &SynthProblem<'_>, partial_solution: bool) -> parse::Result<Self> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_partial_solution`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/enumerate/config.rs:166:25
[INFO] [stdout]     |
[INFO] [stdout] 166 |                     let v = literals::u64_constant(v, span.clone())?;
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/enumerate/config.rs:180:80
[INFO] [stdout]     |
[INFO] [stdout] 180 |                 } else if let Some(("smol", [SExpr::Id(nt1, sp1), SExpr::Const(v, span)])) = r.call() {
[INFO] [stdout]     |                                                                                ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/enumerate/config.rs:180:83
[INFO] [stdout]     |
[INFO] [stdout] 180 |                 } else if let Some(("smol", [SExpr::Id(nt1, sp1), SExpr::Const(v, span)])) = r.call() {
[INFO] [stdout]     |                                                                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `partial_solution`
[INFO] [stdout]    --> src/enumerate/config.rs:145:53
[INFO] [stdout]     |
[INFO] [stdout] 145 |     pub fn from_problem(problem: &SynthProblem<'_>, partial_solution: bool) -> parse::Result<Self> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_partial_solution`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/enumerate/config.rs:166:25
[INFO] [stdout]     |
[INFO] [stdout] 166 |                     let v = literals::u64_constant(v, span.clone())?;
[INFO] [stdout]     |                         ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]    --> src/enumerate/config.rs:180:80
[INFO] [stdout]     |
[INFO] [stdout] 180 |                 } else if let Some(("smol", [SExpr::Id(nt1, sp1), SExpr::Const(v, span)])) = r.call() {
[INFO] [stdout]     |                                                                                ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]    --> src/enumerate/config.rs:180:83
[INFO] [stdout]     |
[INFO] [stdout] 180 |                 } else if let Some(("smol", [SExpr::Id(nt1, sp1), SExpr::Const(v, span)])) = r.call() {
[INFO] [stdout]     |                                                                                   ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo3.rs:251:17
[INFO] [stdout]     |
[INFO] [stdout] 251 |             let stop = algo.run_size_dyn(size - 2, subset, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_stop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout] help: `stop` is captured in macro and introduced a unused variable
[INFO] [stdout]    --> src/enumerate/algo2.rs:77:33
[INFO] [stdout]     |
[INFO] [stdout]  77 |                             let stop = algo.run_size_dyn(size - 2, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                                 ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 167 |                 generate_rules_matching!(rule);
[INFO] [stdout]     |                 ------------------------------ in this macro invocation
[INFO] [stdout]     = note: this warning originates in the macro `generate_op` which comes from the expansion of the macro `generate_rules_matching` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo4.rs:254:17
[INFO] [stdout]     |
[INFO] [stdout] 254 |             let stop = algo.run_size_dyn(size - 2, subset, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_stop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/parse/sexpr.rs:29:28
[INFO] [stdout]    |
[INFO] [stdout] 29 |                         if let Ok(r) = (&vec[1..]).try_into() {
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/parse/sexpr.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 if let Ok(r) = (&vec[..]).try_into() {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo3.rs:251:17
[INFO] [stdout]     |
[INFO] [stdout] 251 |             let stop = algo.run_size_dyn(size - 2, subset, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_stop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]   --> src/parse/cfg.rs:14:29
[INFO] [stdout]    |
[INFO] [stdout] 14 |         if let Some((name, [ty, options])) = sexpr.call() {
[INFO] [stdout]    |                             ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/parse/constraint/pbe.rs:39:35
[INFO] [stdout]    |
[INFO] [stdout] 39 | ...                   for ((i, arg), vec) in args.iter().enumerate().zip(input.iter_mut()) {
[INFO] [stdout]    |                             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `stop`
[INFO] [stdout]    --> src/enumerate/algo4.rs:254:17
[INFO] [stdout]     |
[INFO] [stdout] 254 |             let stop = algo.run_size_dyn(size - 2, subset, Box::new(|algo, e1, v1: Bv<N>| {
[INFO] [stdout]     |                 ^^^^ help: if this is intentional, prefix it with an underscore: `_stop`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `args` is never read
[INFO] [stdout]   --> src/parse/constraint/refimpl.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub args: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/parse/constraint/refimpl.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 |             if let Some(("define-fun", [name, args, _, body])) = e.call() {
[INFO] [stdout]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parse/literals.rs:31:20
[INFO] [stdout]    |
[INFO] [stdout] 31 |     res.ok().map(|(x, y)| y)
[INFO] [stdout]    |                    ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `cfg` is never read
[INFO] [stdout]   --> src/parse/problem.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pub cfg: Cfg<'i>,
[INFO] [stdout]    |         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]   --> src/parse/problem.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub span: Span<'i>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `description` is never read
[INFO] [stdout]   --> src/parse/problem.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub description: String,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `chatgpt_exprs` is never read
[INFO] [stdout]   --> src/parse/problem.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub chatgpt_exprs: Vec<OwnedExpr>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `bits` is never read
[INFO] [stdout]   --> src/parse/problem.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     pub bits: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expr` is never read
[INFO] [stdout]   --> src/parse/deffun.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub expr: OwnedExpr,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/parse/deffun.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |         if let SExpr::List(l, span) = sexpr {
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]   --> src/parse/deffun.rs:34:74
[INFO] [stdout]    |
[INFO] [stdout] 34 |                 if let Some(("define-fun", [SExpr::Id(name, span), args, ret, expr])) = e.call() {
[INFO] [stdout]    |                                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/parse/sexpr.rs:29:28
[INFO] [stdout]    |
[INFO] [stdout] 29 |                         if let Ok(r) = (&vec[1..]).try_into() {
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout]    = note: `#[warn(irrefutable_let_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: irrefutable `if let` pattern
[INFO] [stdout]   --> src/parse/sexpr.rs:41:20
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 if let Ok(r) = (&vec[..]).try_into() {
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this pattern will always match, so the `if let` is useless
[INFO] [stdout]    = help: consider replacing the `if let` with a `let`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]   --> src/tree_learning/mod.rs:20:34
[INFO] [stdout]    |
[INFO] [stdout] 20 |         if let SubProblem::Ite { expr, entropy, t, f } = self {
[INFO] [stdout]    |                                  ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]   --> src/tree_learning/mod.rs:20:40
[INFO] [stdout]    |
[INFO] [stdout] 20 |         if let SubProblem::Ite { expr, entropy, t, f } = self {
[INFO] [stdout]    |                                        ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/tree_learning/mod.rs:63:37
[INFO] [stdout]    |
[INFO] [stdout] 63 |         if let SubProblem::Unsolved(a, entropy) = &mut *this.root.borrow_mut() {
[INFO] [stdout]    |                                     ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/tree_learning/mod.rs:125:28
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 .map(|(i, (e, cb))| {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:163:37
[INFO] [stdout]     |
[INFO] [stdout] 163 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/tree_learning/mod.rs:175:34
[INFO] [stdout]     |
[INFO] [stdout] 175 |             SubProblem::Unsolved(bits, entropy) => 1,
[INFO] [stdout]     |                                  ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:175:40
[INFO] [stdout]     |
[INFO] [stdout] 175 |             SubProblem::Unsolved(bits, entropy) => 1,
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/tree_learning/mod.rs:176:32
[INFO] [stdout]     |
[INFO] [stdout] 176 |             SubProblem::Accept(i) => 1,
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/tree_learning/mod.rs:177:31
[INFO] [stdout]     |
[INFO] [stdout] 177 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => 1 + self.size_recursive(tb) + self.size_recursive(fb),
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:177:37
[INFO] [stdout]     |
[INFO] [stdout] 177 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => 1 + self.size_recursive(tb) + self.size_recursive(fb),
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:182:40
[INFO] [stdout]     |
[INFO] [stdout] 182 |             SubProblem::Unsolved(bits, entropy) => bits.clone(),
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:184:37
[INFO] [stdout]     |
[INFO] [stdout] 184 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ty`
[INFO] [stdout]   --> src/parse/cfg.rs:14:29
[INFO] [stdout]    |
[INFO] [stdout] 14 |         if let Some((name, [ty, options])) = sexpr.call() {
[INFO] [stdout]    |                             ^^ help: if this is intentional, prefix it with an underscore: `_ty`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/tree_learning/mod.rs:197:34
[INFO] [stdout]     |
[INFO] [stdout] 197 |             SubProblem::Unsolved(bits, entropy) => panic!("Still subproblem remain."),
[INFO] [stdout]     |                                  ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:197:40
[INFO] [stdout]     |
[INFO] [stdout] 197 |             SubProblem::Unsolved(bits, entropy) => panic!("Still subproblem remain."),
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:199:37
[INFO] [stdout]     |
[INFO] [stdout] 199 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/parse/constraint/pbe.rs:39:35
[INFO] [stdout]    |
[INFO] [stdout] 39 | ...                   for ((i, arg), vec) in args.iter().enumerate().zip(input.iter_mut()) {
[INFO] [stdout]    |                             ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `args` is never read
[INFO] [stdout]   --> src/parse/constraint/refimpl.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub args: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout]    = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/parse/constraint/refimpl.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 |             if let Some(("define-fun", [name, args, _, body])) = e.call() {
[INFO] [stdout]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consts`
[INFO] [stdout]   --> src/search/sample.rs:46:13
[INFO] [stdout]    |
[INFO] [stdout] 46 |         let consts = config.iter().flat_map(|x| if let Rule::Const(c) = x { Some(c) } else { None }).collect_vec();
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_consts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> src/parse/literals.rs:31:20
[INFO] [stdout]    |
[INFO] [stdout] 31 |     res.ok().map(|(x, y)| y)
[INFO] [stdout]    |                    ^ help: if this is intentional, prefix it with an underscore: `_x`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/search/search.rs:58:17
[INFO] [stdout]    |
[INFO] [stdout] 58 |             let l = log::log_level();
[INFO] [stdout]    |                 ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `cfg` is never read
[INFO] [stdout]   --> src/parse/problem.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     pub cfg: Cfg<'i>,
[INFO] [stdout]    |         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `span` is never read
[INFO] [stdout]   --> src/parse/problem.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     pub span: Span<'i>,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `description` is never read
[INFO] [stdout]   --> src/parse/problem.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub description: String,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `chatgpt_exprs` is never read
[INFO] [stdout]   --> src/parse/problem.rs:16:9
[INFO] [stdout]    |
[INFO] [stdout] 16 |     pub chatgpt_exprs: Vec<OwnedExpr>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `bits` is never read
[INFO] [stdout]   --> src/parse/problem.rs:17:9
[INFO] [stdout]    |
[INFO] [stdout] 17 |     pub bits: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `expr` is never read
[INFO] [stdout]   --> src/parse/deffun.rs:15:9
[INFO] [stdout]    |
[INFO] [stdout] 15 |     pub expr: OwnedExpr,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe it is overwritten before being read?
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `span`
[INFO] [stdout]   --> src/parse/deffun.rs:31:31
[INFO] [stdout]    |
[INFO] [stdout] 31 |         if let SExpr::List(l, span) = sexpr {
[INFO] [stdout]    |                               ^^^^ help: if this is intentional, prefix it with an underscore: `_span`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ret`
[INFO] [stdout]   --> src/parse/deffun.rs:34:74
[INFO] [stdout]    |
[INFO] [stdout] 34 |                 if let Some(("define-fun", [SExpr::Id(name, span), args, ret, expr])) = e.call() {
[INFO] [stdout]    |                                                                          ^^^ help: if this is intentional, prefix it with an underscore: `_ret`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]   --> src/tree_learning/mod.rs:20:34
[INFO] [stdout]    |
[INFO] [stdout] 20 |         if let SubProblem::Ite { expr, entropy, t, f } = self {
[INFO] [stdout]    |                                  ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]   --> src/tree_learning/mod.rs:20:40
[INFO] [stdout]    |
[INFO] [stdout] 20 |         if let SubProblem::Ite { expr, entropy, t, f } = self {
[INFO] [stdout]    |                                        ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/tree_learning/mod.rs:63:37
[INFO] [stdout]    |
[INFO] [stdout] 63 |         if let SubProblem::Unsolved(a, entropy) = &mut *this.root.borrow_mut() {
[INFO] [stdout]    |                                     ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/tree_learning/mod.rs:125:28
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 .map(|(i, (e, cb))| {
[INFO] [stdout]     |                            ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cursor`
[INFO] [stdout]    --> src/chatgpt/parsing.rs:170:13
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let cursor = root_node.walk();
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cursor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:163:37
[INFO] [stdout]     |
[INFO] [stdout] 163 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]    --> src/chatgpt/parsing.rs:172:19
[INFO] [stdout]     |
[INFO] [stdout] 172 |         if let Ok(r) = env.parse_md(&root_node) {
[INFO] [stdout]     |                   ^ help: if this is intentional, prefix it with an underscore: `_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/tree_learning/mod.rs:175:34
[INFO] [stdout]     |
[INFO] [stdout] 175 |             SubProblem::Unsolved(bits, entropy) => 1,
[INFO] [stdout]     |                                  ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:175:40
[INFO] [stdout]     |
[INFO] [stdout] 175 |             SubProblem::Unsolved(bits, entropy) => 1,
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/tree_learning/mod.rs:176:32
[INFO] [stdout]     |
[INFO] [stdout] 176 |             SubProblem::Accept(i) => 1,
[INFO] [stdout]     |                                ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `expr`
[INFO] [stdout]    --> src/tree_learning/mod.rs:177:31
[INFO] [stdout]     |
[INFO] [stdout] 177 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => 1 + self.size_recursive(tb) + self.size_recursive(fb),
[INFO] [stdout]     |                               ^^^^ help: try ignoring the field: `expr: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:177:37
[INFO] [stdout]     |
[INFO] [stdout] 177 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => 1 + self.size_recursive(tb) + self.size_recursive(fb),
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:182:40
[INFO] [stdout]     |
[INFO] [stdout] 182 |             SubProblem::Unsolved(bits, entropy) => bits.clone(),
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:184:37
[INFO] [stdout]     |
[INFO] [stdout] 184 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/tree_learning/mod.rs:197:34
[INFO] [stdout]     |
[INFO] [stdout] 197 |             SubProblem::Unsolved(bits, entropy) => panic!("Still subproblem remain."),
[INFO] [stdout]     |                                  ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:197:40
[INFO] [stdout]     |
[INFO] [stdout] 197 |             SubProblem::Unsolved(bits, entropy) => panic!("Still subproblem remain."),
[INFO] [stdout]     |                                        ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_entropy`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `entropy`
[INFO] [stdout]    --> src/tree_learning/mod.rs:199:37
[INFO] [stdout]     |
[INFO] [stdout] 199 |             SubProblem::Ite { expr, entropy, t: tb, f: fb } => {
[INFO] [stdout]     |                                     ^^^^^^^ help: try ignoring the field: `entropy: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `NTid` is never used
[INFO] [stdout]  --> src/enumerate/config.rs:8:6
[INFO] [stdout]   |
[INFO] [stdout] 8 | type NTid = usize;
[INFO] [stdout]   |      ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `AShrC` is never constructed
[INFO] [stdout]   --> src/enumerate/config.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub enum Rule<const N: usize>  {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 20 |     AShrC(u64),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Rule` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo2.rs:11:11
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo3.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `frange` and `flt` are never used
[INFO] [stdout]   --> src/enumerate/algo4.rs:24:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl Point {
[INFO] [stdout]    | ---------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 24 |     pub fn frange(self, other: Point) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |     fn flt(self, other: Self) -> bool {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo4.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `OnePosIter` is never constructed
[INFO] [stdout]   --> src/enumerate/utils.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct OnePosIter(u64);
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TSubsetIter` is never constructed
[INFO] [stdout]   --> src/enumerate/utils.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 51 | pub struct TSubsetIter(u64, u64);
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/enumerate/utils.rs:54:12
[INFO] [stdout]    |
[INFO] [stdout] 53 | impl TSubsetIter {
[INFO] [stdout]    | ---------------- associated function in this implementation
[INFO] [stdout] 54 |     pub fn new(i: u64) -> Self {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `spawn` is never used
[INFO] [stdout]    --> src/enumerate/utils.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn spawn<T: Send + 'static>(f: impl FnOnce() -> T + Send + 'static) -> JoinHandle<T> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `indent` is never used
[INFO] [stdout]   --> src/log.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub fn indent() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dedent` is never used
[INFO] [stdout]   --> src/log.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn dedent() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_pbe` is never used
[INFO] [stdout]   --> src/parse/mod.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn parse_pbe<'i>(input: &'i str) -> Result<(SynthProblem<'i>, PbeConstraint)> {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `add_solution2` and `add_solution_unchecked` are never used
[INFO] [stdout]   --> src/solutions.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> Solutions<'a> {
[INFO] [stdout]    | ---------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 72 |     pub fn add_solution2<const N: usize>(&mut self, sol: & Expr<'_>, args: &[Bv<N>], v: & Bv<N>) -> bool  {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93 |     pub fn add_solution_unchecked(&mut self, sol: & Expr<'_>) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `add_subproblems` is never used
[INFO] [stdout]   --> src/tree_learning/mod.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> SubProblem<'a> {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] 18 |     #[inline]
[INFO] [stdout] 19 |     pub fn add_subproblems(&self, subproblem: &mut Vec<(SubProb<'a>, bool)>) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `size` is never read
[INFO] [stdout]   --> src/tree_learning/mod.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct TreeLearning<'a, 'b> {
[INFO] [stdout]    |            ------------ field in this struct
[INFO] [stdout] 30 |     pub size: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `size_recursive`, `cover_recursive`, and `result_size` are never used
[INFO] [stdout]    --> src/tree_learning/mod.rs:173:8
[INFO] [stdout]     |
[INFO] [stdout]  47 | impl<'a, 'b> TreeLearning<'a, 'b> {
[INFO] [stdout]     | --------------------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 173 |     fn size_recursive(&self, node: SubProb<'a>) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     fn cover_recursive(&self, node: SubProb<'a>) -> Bits {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 211 |     pub fn result_size(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zeros` and `union_assign` are never used
[INFO] [stdout]  --> src/tree_learning/bits.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub trait BoxSliceExt {
[INFO] [stdout]   |           ----------- associated items in this trait
[INFO] [stdout] 4 |     fn from_bit_iter(t: impl Iterator<Item = usize>, len: usize) -> Self;
[INFO] [stdout] 5 |     fn zeros(len: usize) -> Self;
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 8 |     fn union_assign(&mut self, other: &Self);
[INFO] [stdout]   |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `args` is never read
[INFO] [stdout]   --> src/search/filter.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 54 | pub struct FilterState<'a ,const N: usize>  {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 61 |     args: Vec<Bv<N>>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tree_sitter_python` is never used
[INFO] [stdout]   --> src/chatgpt/mod.rs:13:17
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern "C" { fn tree_sitter_python() -> Language; }
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `consts`
[INFO] [stdout]   --> src/search/sample.rs:46:13
[INFO] [stdout]    |
[INFO] [stdout] 46 |         let consts = config.iter().flat_map(|x| if let Rule::Const(c) = x { Some(c) } else { None }).collect_vec();
[INFO] [stdout]    |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_consts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |             algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 60 |             let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:67:17
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:73:17
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 80 |             let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/chatgpt/parsing.rs:160:66
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn parse_response(text: &'a str, nargs: usize) -> Result<Env, ParsingError> {
[INFO] [stdout]     |                                  -- the lifetime is named here   ^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn parse_response(text: &'a str, nargs: usize) -> Result<Env<'a>, ParsingError> {
[INFO] [stdout]     |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `l`
[INFO] [stdout]   --> src/search/search.rs:58:17
[INFO] [stdout]    |
[INFO] [stdout] 58 |             let l = log::log_level();
[INFO] [stdout]    |                 ^ help: if this is intentional, prefix it with an underscore: `_l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cursor`
[INFO] [stdout]    --> src/chatgpt/parsing.rs:170:13
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let cursor = root_node.walk();
[INFO] [stdout]     |             ^^^^^^ help: if this is intentional, prefix it with an underscore: `_cursor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]    --> src/chatgpt/parsing.rs:172:19
[INFO] [stdout]     |
[INFO] [stdout] 172 |         if let Ok(r) = env.parse_md(&root_node) {
[INFO] [stdout]     |                   ^ help: if this is intentional, prefix it with an underscore: `_r`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `NTid` is never used
[INFO] [stdout]  --> src/enumerate/config.rs:8:6
[INFO] [stdout]   |
[INFO] [stdout] 8 | type NTid = usize;
[INFO] [stdout]   |      ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `AShrC` is never constructed
[INFO] [stdout]   --> src/enumerate/config.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub enum Rule<const N: usize>  {
[INFO] [stdout]    |          ---- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 20 |     AShrC(u64),
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Rule` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo2.rs:11:11
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo3.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `frange` and `flt` are never used
[INFO] [stdout]   --> src/enumerate/algo4.rs:24:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl Point {
[INFO] [stdout]    | ---------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 24 |     pub fn frange(self, other: Point) -> bool {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |     fn flt(self, other: Self) -> bool {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `FilterOwn` is never used
[INFO] [stdout]   --> src/enumerate/algo4.rs:47:11
[INFO] [stdout]    |
[INFO] [stdout] 47 | pub trait FilterOwn<'a, const N: usize, A: super::Algo<'a, N>> : FnMut(&mut A, Expr<'a>, Bv<N>) ->  Result<(), ()> {}
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `OnePosIter` is never constructed
[INFO] [stdout]   --> src/enumerate/utils.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct OnePosIter(u64);
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `spawn` is never used
[INFO] [stdout]    --> src/enumerate/utils.rs:245:8
[INFO] [stdout]     |
[INFO] [stdout] 245 | pub fn spawn<T: Send + 'static>(f: impl FnOnce() -> T + Send + 'static) -> JoinHandle<T> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `indent` is never used
[INFO] [stdout]   --> src/log.rs:19:8
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub fn indent() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dedent` is never used
[INFO] [stdout]   --> src/log.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn dedent() {
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_pbe` is never used
[INFO] [stdout]   --> src/parse/mod.rs:17:8
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub fn parse_pbe<'i>(input: &'i str) -> Result<(SynthProblem<'i>, PbeConstraint)> {
[INFO] [stdout]    |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `add_solution2` and `add_solution_unchecked` are never used
[INFO] [stdout]   --> src/solutions.rs:72:12
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> Solutions<'a> {
[INFO] [stdout]    | ---------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 72 |     pub fn add_solution2<const N: usize>(&mut self, sol: & Expr<'_>, args: &[Bv<N>], v: & Bv<N>) -> bool  {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93 |     pub fn add_solution_unchecked(&mut self, sol: & Expr<'_>) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `add_subproblems` is never used
[INFO] [stdout]   --> src/tree_learning/mod.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> SubProblem<'a> {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] 18 |     #[inline]
[INFO] [stdout] 19 |     pub fn add_subproblems(&self, subproblem: &mut Vec<(SubProb<'a>, bool)>) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `size` is never read
[INFO] [stdout]   --> src/tree_learning/mod.rs:30:9
[INFO] [stdout]    |
[INFO] [stdout] 29 | pub struct TreeLearning<'a, 'b> {
[INFO] [stdout]    |            ------------ field in this struct
[INFO] [stdout] 30 |     pub size: usize,
[INFO] [stdout]    |         ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `size_recursive`, `cover_recursive`, and `result_size` are never used
[INFO] [stdout]    --> src/tree_learning/mod.rs:173:8
[INFO] [stdout]     |
[INFO] [stdout]  47 | impl<'a, 'b> TreeLearning<'a, 'b> {
[INFO] [stdout]     | --------------------------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 173 |     fn size_recursive(&self, node: SubProb<'a>) -> usize {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 180 |     fn cover_recursive(&self, node: SubProb<'a>) -> Bits {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 211 |     pub fn result_size(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `zeros` and `union_assign` are never used
[INFO] [stdout]  --> src/tree_learning/bits.rs:5:8
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub trait BoxSliceExt {
[INFO] [stdout]   |           ----------- associated items in this trait
[INFO] [stdout] 4 |     fn from_bit_iter(t: impl Iterator<Item = usize>, len: usize) -> Self;
[INFO] [stdout] 5 |     fn zeros(len: usize) -> Self;
[INFO] [stdout]   |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 8 |     fn union_assign(&mut self, other: &Self);
[INFO] [stdout]   |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `args` is never read
[INFO] [stdout]   --> src/search/filter.rs:61:5
[INFO] [stdout]    |
[INFO] [stdout] 54 | pub struct FilterState<'a ,const N: usize>  {
[INFO] [stdout]    |            ----------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 61 |     args: Vec<Bv<N>>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `tree_sitter_python` is never used
[INFO] [stdout]   --> src/chatgpt/mod.rs:13:17
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern "C" { fn tree_sitter_python() -> Language; }
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |             algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 60 |             let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:67:17
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 67 |                 let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:73:17
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/search/sample.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 80 |             let _ = algo.run_until(|algo, e, v| filter.filter(algo, e, v, sol));
[INFO] [stdout]    |             +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's named elsewhere is confusing
[INFO] [stdout]    --> src/chatgpt/parsing.rs:160:66
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn parse_response(text: &'a str, nargs: usize) -> Result<Env, ParsingError> {
[INFO] [stdout]     |                                  -- the lifetime is named here   ^^^ the same lifetime is hidden here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: consistently use `'a`
[INFO] [stdout]     |
[INFO] [stdout] 160 |     pub fn parse_response(text: &'a str, nargs: usize) -> Result<Env<'a>, ParsingError> {
[INFO] [stdout]     |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 28.15s
[INFO] running `Command { std: "docker" "inspect" "9970901828dfff44e8563b609280b1348f6642d5b8742666ec4ed59cad574d94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9970901828dfff44e8563b609280b1348f6642d5b8742666ec4ed59cad574d94", kill_on_drop: false }`
[INFO] [stdout] 9970901828dfff44e8563b609280b1348f6642d5b8742666ec4ed59cad574d94
