[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::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::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::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::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::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 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 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 { [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 { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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| { [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, [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, [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 { [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) -> 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) -> 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) -> 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(f: impl FnOnce() -> T + Send + 'static) -> JoinHandle { [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(&mut self, sol: & Expr<'_>, args: &[Bv], v: & Bv) -> 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, 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>, [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 { [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, 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 { [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) -> 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) -> 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) -> 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(f: impl FnOnce() -> T + Send + 'static) -> JoinHandle { [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(&mut self, sol: & Expr<'_>, args: &[Bv], v: & Bv) -> 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, 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>, [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 { [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, 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