[INFO] cloning repository https://github.com/digama0/isabelle-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/digama0/isabelle-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fisabelle-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fisabelle-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1362f2c72f4f875acb488355f58b6ca242ddcbe6 [INFO] checking digama0/isabelle-rs against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fisabelle-rs" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/digama0/isabelle-rs on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/digama0/isabelle-rs [INFO] finished tweaking git repo https://github.com/digama0/isabelle-rs [INFO] tweaked toml for git repo https://github.com/digama0/isabelle-rs written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/digama0/isabelle-rs 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded dbg-pls v0.4.3 [INFO] [stderr] Downloaded dbg-pls-derive v0.4.0 [INFO] [stderr] Downloaded stylish-core v0.1.1 [INFO] [stderr] Downloaded stylish-ansi v0.1.1 [INFO] [stderr] Downloaded stylish v0.1.0 [INFO] [stderr] Downloaded bit-set v0.8.0 [INFO] [stderr] Downloaded stack_dst v0.6.1 [INFO] [stderr] Downloaded stylish-style v0.1.0 [INFO] [stderr] Downloaded bit-vec v0.8.0 [INFO] [stderr] Downloaded quick-xml v0.32.0 [INFO] [stderr] Downloaded plist v1.7.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 85d33112bd5ffbcbf236f58960380adf6c53f8174e8bc94f0658c19579b25741 [INFO] running `Command { std: "docker" "start" "-a" "85d33112bd5ffbcbf236f58960380adf6c53f8174e8bc94f0658c19579b25741", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "85d33112bd5ffbcbf236f58960380adf6c53f8174e8bc94f0658c19579b25741", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "85d33112bd5ffbcbf236f58960380adf6c53f8174e8bc94f0658c19579b25741", kill_on_drop: false }` [INFO] [stdout] 85d33112bd5ffbcbf236f58960380adf6c53f8174e8bc94f0658c19579b25741 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 508fd30e1b7de0060d7349b71bce1d266997c40e7a27b3a96474c8059a50ef3b [INFO] running `Command { std: "docker" "start" "-a" "508fd30e1b7de0060d7349b71bce1d266997c40e7a27b3a96474c8059a50ef3b", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling serde v1.0.208 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Compiling syn v2.0.75 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Compiling cc v1.1.13 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Checking unicode-ident v1.0.12 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling indexmap v2.4.0 [INFO] [stderr] Checking deranged v0.3.11 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling zstd-sys v2.0.13+zstd.1.5.6 [INFO] [stderr] Compiling onig_sys v69.8.1 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Compiling serde_json v1.0.125 [INFO] [stderr] Compiling thiserror v1.0.63 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Checking stylish-style v0.1.0 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Checking time-core v0.1.2 [INFO] [stderr] Checking stack_dst v0.6.1 [INFO] [stderr] Checking miniz_oxide v0.7.4 [INFO] [stderr] Checking time v0.3.36 [INFO] [stderr] Checking stylish-core v0.1.1 [INFO] [stderr] Compiling thiserror-impl v1.0.63 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling lalrpop-util v0.20.2 [INFO] [stderr] Compiling regex v1.10.6 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling libsqlite3-sys v0.30.1 [INFO] [stderr] Compiling petgraph v0.6.5 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking quick-xml v0.32.0 [INFO] [stderr] Checking crc32fast v1.4.2 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling zstd-safe v7.2.1 [INFO] [stderr] Compiling prettyplease v0.2.20 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Compiling unicode-xid v0.2.5 [INFO] [stderr] Checking base64 v0.22.1 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Checking plist v1.7.0 [INFO] [stderr] Compiling lalrpop v0.20.2 [INFO] [stderr] Checking stylish-ansi v0.1.1 [INFO] [stderr] Checking flate2 v1.0.31 [INFO] [stderr] Compiling serde_derive v1.0.208 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking unicode-width v0.1.13 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Compiling ref-cast v1.0.23 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Checking textwrap v0.16.1 [INFO] [stderr] Checking stylish v0.1.0 [INFO] [stderr] Compiling dbg-pls-derive v0.4.0 [INFO] [stderr] Compiling ref-cast-impl v1.0.23 [INFO] [stderr] Checking hashlink v0.9.1 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking fallible-streaming-iterator v0.1.9 [INFO] [stderr] Checking fallible-iterator v0.3.0 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking bumpalo v3.16.0 [INFO] [stderr] Checking onig v6.4.0 [INFO] [stderr] Checking syntect v5.2.0 [INFO] [stderr] Checking dbg-pls v0.4.3 [INFO] [stderr] Checking zstd v0.13.2 [INFO] [stderr] Compiling isabelle-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking rusqlite v0.32.1 [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1313:8 [INFO] [stdout] | [INFO] [stdout] 1313 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/main.rs:1315:11 [INFO] [stdout] | [INFO] [stdout] 1315 | let i = i as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `j` [INFO] [stdout] --> src/main.rs:1317:13 [INFO] [stdout] | [INFO] [stdout] 1317 | let j = j as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1323:8 [INFO] [stdout] | [INFO] [stdout] 1323 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1313:8 [INFO] [stdout] | [INFO] [stdout] 1313 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/main.rs:1315:11 [INFO] [stdout] | [INFO] [stdout] 1315 | let i = i as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `j` [INFO] [stdout] --> src/main.rs:1317:13 [INFO] [stdout] | [INFO] [stdout] 1317 | let j = j as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1323:8 [INFO] [stdout] | [INFO] [stdout] 1323 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `indexname` is never used [INFO] [stdout] --> src/main.rs:116:6 [INFO] [stdout] | [INFO] [stdout] 106 | impl<'a> VectorIter<'a> { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 116 | fn indexname(mut self) -> (String, usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Hyp`, `OfClass`, and `Oracle` are never constructed [INFO] [stdout] --> src/main.rs:556:3 [INFO] [stdout] | [INFO] [stdout] 549 | enum Proof { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 556 | Hyp(Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 557 | Axiom(String, Vec), [INFO] [stdout] 558 | OfClass(Box, String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 559 | Oracle(String, Box, Vec), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs` and `args` are never read [INFO] [stdout] --> src/main.rs:711:3 [INFO] [stdout] | [INFO] [stdout] 710 | struct Prop { [INFO] [stdout] | ---- fields in this struct [INFO] [stdout] 711 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 712 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Prop` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `prop` and `proof` are never read [INFO] [stdout] --> src/main.rs:724:3 [INFO] [stdout] | [INFO] [stdout] 723 | struct ProofBox { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 724 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] 725 | proof: Box, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProofBox` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `name` and `as_node_n` are never used [INFO] [stdout] --> src/main.rs:742:6 [INFO] [stdout] | [INFO] [stdout] 734 | impl<'a> Tree<'a> { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 742 | fn name(&self) -> &'a [u8] { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 757 | fn as_node_n(&self) -> &[Tree<'a>; N] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `xname`, `pos`, `label`, `file`, and `id` are never read [INFO] [stdout] --> src/main.rs:802:3 [INFO] [stdout] | [INFO] [stdout] 800 | struct Entity { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 801 | name: String, [INFO] [stdout] 802 | xname: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 803 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 804 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 805 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 806 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `Entity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `delim` is never read [INFO] [stdout] --> src/main.rs:839:12 [INFO] [stdout] | [INFO] [stdout] 839 | Prefix { delim: String }, [INFO] [stdout] | ------ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `assoc`, `delim`, and `prio` are never read [INFO] [stdout] --> src/main.rs:840:11 [INFO] [stdout] | [INFO] [stdout] 840 | Infix { assoc: Assoc, delim: String, prio: usize }, [INFO] [stdout] | ----- ^^^^^ ^^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, and `abbrev` are never read [INFO] [stdout] --> src/main.rs:862:3 [INFO] [stdout] | [INFO] [stdout] 861 | struct TypeEntry { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 862 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 863 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 864 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, `ty`, `abbrev`, and `propositional` are never read [INFO] [stdout] --> src/main.rs:875:3 [INFO] [stdout] | [INFO] [stdout] 874 | struct ConstEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 875 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 876 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 877 | ty: Type, [INFO] [stdout] | ^^ [INFO] [stdout] 878 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 879 | propositional: bool, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `proof` and `deps` are never read [INFO] [stdout] --> src/main.rs:919:3 [INFO] [stdout] | [INFO] [stdout] 918 | struct ThmEntry { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 919 | proof: ProofBox, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 920 | deps: Vec<(String, usize)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ThmEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:931:11 [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(Vec), [INFO] [stdout] | ------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:933:13 [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(Vec), [INFO] [stdout] | --------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:953:14 [INFO] [stdout] | [INFO] [stdout] 953 | Equational(Recursion), [INFO] [stdout] | ---------- ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RoughClassification` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 953 | Equational(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:974:3 [INFO] [stdout] | [INFO] [stdout] 972 | struct SpecRule { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 973 | name: String, [INFO] [stdout] 974 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 975 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 976 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 977 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 978 | class: RoughClassification, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 979 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 980 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 981 | terms: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 982 | rules: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SpecRule` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `params` and `axioms` are never read [INFO] [stdout] --> src/main.rs:996:3 [INFO] [stdout] | [INFO] [stdout] 995 | struct ClassEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 996 | params: Vec<(String, Box)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 997 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `prop` is never read [INFO] [stdout] --> src/main.rs:1010:3 [INFO] [stdout] | [INFO] [stdout] 1007 | struct ClassRelEntry { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 1010 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassRelEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `domain`, `codomain`, and `prop` are never read [INFO] [stdout] --> src/main.rs:1022:3 [INFO] [stdout] | [INFO] [stdout] 1020 | struct Arity { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1021 | type_name: String, [INFO] [stdout] 1022 | domain: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1023 | codomain: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 1024 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Arity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `ty`, and `syntax` are never read [INFO] [stdout] --> src/main.rs:1035:3 [INFO] [stdout] | [INFO] [stdout] 1034 | struct LocaleArg { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 1035 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1036 | ty: Box, [INFO] [stdout] | ^^ [INFO] [stdout] 1037 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs`, `args`, and `axioms` are never read [INFO] [stdout] --> src/main.rs:1048:3 [INFO] [stdout] | [INFO] [stdout] 1047 | struct LocaleEntry { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 1048 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1049 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1050 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `source`, `target`, `prefix`, `subst_types`, and `subst_terms` are never read [INFO] [stdout] --> src/main.rs:1061:3 [INFO] [stdout] | [INFO] [stdout] 1060 | struct LocaleDepEntry { [INFO] [stdout] | -------------- fields in this struct [INFO] [stdout] 1061 | source: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1062 | target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1063 | prefix: Vec<(String, bool)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1064 | subst_types: Vec<((String, Sort), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 1065 | subst_terms: Vec<((String, Box), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleDepEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `rep_ty`, `abs_ty`, `rep`, `abs`, and `axiom` are never read [INFO] [stdout] --> src/main.rs:1089:3 [INFO] [stdout] | [INFO] [stdout] 1087 | struct TypeDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 1088 | name: String, [INFO] [stdout] 1089 | rep_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1090 | abs_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1091 | rep: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1092 | abs: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1093 | axiom: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:1105:3 [INFO] [stdout] | [INFO] [stdout] 1103 | struct Datatype { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 1104 | name: String, [INFO] [stdout] 1105 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 1106 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 1107 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1108 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 1109 | co: bool, [INFO] [stdout] | ^^ [INFO] [stdout] 1110 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1111 | typ: Box, [INFO] [stdout] | ^^^ [INFO] [stdout] 1112 | ctors: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Datatype` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `sess`, `i`, and `j` are never read [INFO] [stdout] --> src/main.rs:1142:3 [INFO] [stdout] | [INFO] [stdout] 1141 | struct Axiom { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1142 | sess: &'static str, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1143 | i: u32, [INFO] [stdout] | ^ [INFO] [stdout] 1144 | j: u32, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `g` is never read [INFO] [stdout] --> src/kernel.rs:486:3 [INFO] [stdout] | [INFO] [stdout] 481 | pub struct Checker<'a> { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 486 | g: &'a Global, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `apply_hyp` and `apply_hyps` are never used [INFO] [stdout] --> src/kernel.rs:861:6 [INFO] [stdout] | [INFO] [stdout] 860 | impl> Mapper { [INFO] [stdout] | -------------------------------------- methods in this implementation [INFO] [stdout] 861 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h: HypId) -> HypId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 870 | fn apply_hyps(&mut self, ck: &mut Checker<'_>, hs: HypsId) -> HypsId { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply_hyp` is never used [INFO] [stdout] --> src/kernel.rs:1187:6 [INFO] [stdout] | [INFO] [stdout] 1186 | impl> Comparer { [INFO] [stdout] | -------------------------------------------- method in this implementation [INFO] [stdout] 1187 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h1: HypId, h2: HypId) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `indexname` is never used [INFO] [stdout] --> src/main.rs:116:6 [INFO] [stdout] | [INFO] [stdout] 106 | impl<'a> VectorIter<'a> { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 116 | fn indexname(mut self) -> (String, usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Hyp`, `OfClass`, and `Oracle` are never constructed [INFO] [stdout] --> src/main.rs:556:3 [INFO] [stdout] | [INFO] [stdout] 549 | enum Proof { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 556 | Hyp(Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 557 | Axiom(String, Vec), [INFO] [stdout] 558 | OfClass(Box, String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 559 | Oracle(String, Box, Vec), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs` and `args` are never read [INFO] [stdout] --> src/main.rs:711:3 [INFO] [stdout] | [INFO] [stdout] 710 | struct Prop { [INFO] [stdout] | ---- fields in this struct [INFO] [stdout] 711 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 712 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Prop` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `prop` and `proof` are never read [INFO] [stdout] --> src/main.rs:724:3 [INFO] [stdout] | [INFO] [stdout] 723 | struct ProofBox { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 724 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] 725 | proof: Box, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProofBox` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `name` and `as_node_n` are never used [INFO] [stdout] --> src/main.rs:742:6 [INFO] [stdout] | [INFO] [stdout] 734 | impl<'a> Tree<'a> { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 742 | fn name(&self) -> &'a [u8] { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 757 | fn as_node_n(&self) -> &[Tree<'a>; N] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `xname`, `pos`, `label`, `file`, and `id` are never read [INFO] [stdout] --> src/main.rs:802:3 [INFO] [stdout] | [INFO] [stdout] 800 | struct Entity { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 801 | name: String, [INFO] [stdout] 802 | xname: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 803 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 804 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 805 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 806 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `Entity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `delim` is never read [INFO] [stdout] --> src/main.rs:839:12 [INFO] [stdout] | [INFO] [stdout] 839 | Prefix { delim: String }, [INFO] [stdout] | ------ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `assoc`, `delim`, and `prio` are never read [INFO] [stdout] --> src/main.rs:840:11 [INFO] [stdout] | [INFO] [stdout] 840 | Infix { assoc: Assoc, delim: String, prio: usize }, [INFO] [stdout] | ----- ^^^^^ ^^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, and `abbrev` are never read [INFO] [stdout] --> src/main.rs:862:3 [INFO] [stdout] | [INFO] [stdout] 861 | struct TypeEntry { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 862 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 863 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 864 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, `ty`, `abbrev`, and `propositional` are never read [INFO] [stdout] --> src/main.rs:875:3 [INFO] [stdout] | [INFO] [stdout] 874 | struct ConstEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 875 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 876 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 877 | ty: Type, [INFO] [stdout] | ^^ [INFO] [stdout] 878 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 879 | propositional: bool, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `proof` and `deps` are never read [INFO] [stdout] --> src/main.rs:919:3 [INFO] [stdout] | [INFO] [stdout] 918 | struct ThmEntry { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 919 | proof: ProofBox, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 920 | deps: Vec<(String, usize)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ThmEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:931:11 [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(Vec), [INFO] [stdout] | ------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:933:13 [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(Vec), [INFO] [stdout] | --------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:953:14 [INFO] [stdout] | [INFO] [stdout] 953 | Equational(Recursion), [INFO] [stdout] | ---------- ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RoughClassification` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 953 | Equational(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:974:3 [INFO] [stdout] | [INFO] [stdout] 972 | struct SpecRule { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 973 | name: String, [INFO] [stdout] 974 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 975 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 976 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 977 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 978 | class: RoughClassification, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 979 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 980 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 981 | terms: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 982 | rules: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SpecRule` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `params` and `axioms` are never read [INFO] [stdout] --> src/main.rs:996:3 [INFO] [stdout] | [INFO] [stdout] 995 | struct ClassEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 996 | params: Vec<(String, Box)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 997 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `prop` is never read [INFO] [stdout] --> src/main.rs:1010:3 [INFO] [stdout] | [INFO] [stdout] 1007 | struct ClassRelEntry { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 1010 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassRelEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `domain`, `codomain`, and `prop` are never read [INFO] [stdout] --> src/main.rs:1022:3 [INFO] [stdout] | [INFO] [stdout] 1020 | struct Arity { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1021 | type_name: String, [INFO] [stdout] 1022 | domain: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1023 | codomain: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 1024 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Arity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `ty`, and `syntax` are never read [INFO] [stdout] --> src/main.rs:1035:3 [INFO] [stdout] | [INFO] [stdout] 1034 | struct LocaleArg { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 1035 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1036 | ty: Box, [INFO] [stdout] | ^^ [INFO] [stdout] 1037 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs`, `args`, and `axioms` are never read [INFO] [stdout] --> src/main.rs:1048:3 [INFO] [stdout] | [INFO] [stdout] 1047 | struct LocaleEntry { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 1048 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1049 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1050 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `source`, `target`, `prefix`, `subst_types`, and `subst_terms` are never read [INFO] [stdout] --> src/main.rs:1061:3 [INFO] [stdout] | [INFO] [stdout] 1060 | struct LocaleDepEntry { [INFO] [stdout] | -------------- fields in this struct [INFO] [stdout] 1061 | source: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1062 | target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1063 | prefix: Vec<(String, bool)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1064 | subst_types: Vec<((String, Sort), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 1065 | subst_terms: Vec<((String, Box), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleDepEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `rep_ty`, `abs_ty`, `rep`, `abs`, and `axiom` are never read [INFO] [stdout] --> src/main.rs:1089:3 [INFO] [stdout] | [INFO] [stdout] 1087 | struct TypeDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 1088 | name: String, [INFO] [stdout] 1089 | rep_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1090 | abs_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1091 | rep: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1092 | abs: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1093 | axiom: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:1105:3 [INFO] [stdout] | [INFO] [stdout] 1103 | struct Datatype { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 1104 | name: String, [INFO] [stdout] 1105 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 1106 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 1107 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1108 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 1109 | co: bool, [INFO] [stdout] | ^^ [INFO] [stdout] 1110 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1111 | typ: Box, [INFO] [stdout] | ^^^ [INFO] [stdout] 1112 | ctors: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Datatype` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `sess`, `i`, and `j` are never read [INFO] [stdout] --> src/main.rs:1142:3 [INFO] [stdout] | [INFO] [stdout] 1141 | struct Axiom { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1142 | sess: &'static str, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1143 | i: u32, [INFO] [stdout] | ^ [INFO] [stdout] 1144 | j: u32, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `g` is never read [INFO] [stdout] --> src/kernel.rs:486:3 [INFO] [stdout] | [INFO] [stdout] 481 | pub struct Checker<'a> { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 486 | g: &'a Global, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `apply_hyp` and `apply_hyps` are never used [INFO] [stdout] --> src/kernel.rs:861:6 [INFO] [stdout] | [INFO] [stdout] 860 | impl> Mapper { [INFO] [stdout] | -------------------------------------- methods in this implementation [INFO] [stdout] 861 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h: HypId) -> HypId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 870 | fn apply_hyps(&mut self, ck: &mut Checker<'_>, hs: HypsId) -> HypsId { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply_hyp` is never used [INFO] [stdout] --> src/kernel.rs:1187:6 [INFO] [stdout] | [INFO] [stdout] 1186 | impl> Comparer { [INFO] [stdout] | -------------------------------------------- method in this implementation [INFO] [stdout] 1187 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h1: HypId, h2: HypId) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 41.32s [INFO] running `Command { std: "docker" "inspect" "508fd30e1b7de0060d7349b71bce1d266997c40e7a27b3a96474c8059a50ef3b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "508fd30e1b7de0060d7349b71bce1d266997c40e7a27b3a96474c8059a50ef3b", kill_on_drop: false }` [INFO] [stdout] 508fd30e1b7de0060d7349b71bce1d266997c40e7a27b3a96474c8059a50ef3b [INFO] checking digama0/isabelle-rs against try#f9935d29d867449445ee008640ccca1bf1ae0889+rustflags=-Dtail_expr_drop_order for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Fisabelle-rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/digama0/isabelle-rs on toolchain f9935d29d867449445ee008640ccca1bf1ae0889 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/digama0/isabelle-rs [INFO] finished tweaking git repo https://github.com/digama0/isabelle-rs [INFO] tweaked toml for git repo https://github.com/digama0/isabelle-rs written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/digama0/isabelle-rs 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" "+f9935d29d867449445ee008640ccca1bf1ae0889" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 21030007f258c3763d0cf9adf78a1ea2cacf82523f407d331c54adadf1643f0f [INFO] running `Command { std: "docker" "start" "-a" "21030007f258c3763d0cf9adf78a1ea2cacf82523f407d331c54adadf1643f0f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "21030007f258c3763d0cf9adf78a1ea2cacf82523f407d331c54adadf1643f0f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "21030007f258c3763d0cf9adf78a1ea2cacf82523f407d331c54adadf1643f0f", kill_on_drop: false }` [INFO] [stdout] 21030007f258c3763d0cf9adf78a1ea2cacf82523f407d331c54adadf1643f0f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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 -Dtail_expr_drop_order" "-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+f9935d29d867449445ee008640ccca1bf1ae0889" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 082752e69c290610f3c4215b96057b01fcb4cafa61aa115cbea74f6d8600ae51 [INFO] running `Command { std: "docker" "start" "-a" "082752e69c290610f3c4215b96057b01fcb4cafa61aa115cbea74f6d8600ae51", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.158 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling serde v1.0.208 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling regex-syntax v0.8.4 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling syn v2.0.75 [INFO] [stderr] Compiling jobserver v0.1.32 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling cc v1.1.13 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling siphasher v0.3.11 [INFO] [stderr] Checking unicode-ident v1.0.12 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Checking deranged v0.3.11 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling indexmap v2.4.0 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling regex-automata v0.4.7 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling onig_sys v69.8.1 [INFO] [stderr] Compiling zstd-sys v2.0.13+zstd.1.5.6 [INFO] [stderr] Checking time-core v0.1.2 [INFO] [stderr] Compiling new_debug_unreachable v1.0.6 [INFO] [stderr] Checking stylish-style v0.1.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Checking stack_dst v0.6.1 [INFO] [stderr] Compiling serde_json v1.0.125 [INFO] [stderr] Compiling thiserror v1.0.63 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling string_cache v0.8.7 [INFO] [stderr] Compiling ena v0.14.3 [INFO] [stderr] Compiling lalrpop-util v0.20.2 [INFO] [stderr] Compiling regex v1.10.6 [INFO] [stderr] Checking stylish-core v0.1.1 [INFO] [stderr] Compiling itertools v0.11.0 [INFO] [stderr] Compiling thiserror-impl v1.0.63 [INFO] [stderr] Compiling bit-set v0.5.3 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling libsqlite3-sys v0.30.1 [INFO] [stderr] Checking miniz_oxide v0.7.4 [INFO] [stderr] Compiling petgraph v0.6.5 [INFO] [stderr] Checking time v0.3.36 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking quick-xml v0.32.0 [INFO] [stderr] Checking crc32fast v1.4.2 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Compiling pico-args v0.5.0 [INFO] [stderr] Compiling unicode-xid v0.2.5 [INFO] [stderr] Checking linked-hash-map v0.5.6 [INFO] [stderr] Compiling zstd-safe v7.2.1 [INFO] [stderr] Compiling prettyplease v0.2.20 [INFO] [stderr] Checking base64 v0.22.1 [INFO] [stderr] Checking yaml-rust v0.4.5 [INFO] [stderr] Compiling lalrpop v0.20.2 [INFO] [stderr] Checking plist v1.7.0 [INFO] [stderr] Checking flate2 v1.0.31 [INFO] [stderr] Compiling serde_derive v1.0.208 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking stylish-ansi v0.1.1 [INFO] [stderr] Checking smawk v0.3.2 [INFO] [stderr] Compiling ref-cast v1.0.23 [INFO] [stderr] Checking unicode-linebreak v0.1.5 [INFO] [stderr] Checking unicode-width v0.1.13 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking textwrap v0.16.1 [INFO] [stderr] Checking stylish v0.1.0 [INFO] [stderr] Compiling dbg-pls-derive v0.4.0 [INFO] [stderr] Compiling ref-cast-impl v1.0.23 [INFO] [stderr] Checking hashlink v0.9.1 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking fallible-iterator v0.3.0 [INFO] [stderr] Checking fallible-streaming-iterator v0.1.9 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking onig v6.4.0 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Checking bumpalo v3.16.0 [INFO] [stderr] Checking syntect v5.2.0 [INFO] [stderr] Checking dbg-pls v0.4.3 [INFO] [stderr] Checking zstd v0.13.2 [INFO] [stderr] Compiling isabelle-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Checking rusqlite v0.32.1 [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1313:8 [INFO] [stdout] | [INFO] [stdout] 1313 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/main.rs:1315:11 [INFO] [stdout] | [INFO] [stdout] 1315 | let i = i as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `j` [INFO] [stdout] --> src/main.rs:1317:13 [INFO] [stdout] | [INFO] [stdout] 1317 | let j = j as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1323:8 [INFO] [stdout] | [INFO] [stdout] 1323 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1313:8 [INFO] [stdout] | [INFO] [stdout] 1313 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/main.rs:1315:11 [INFO] [stdout] | [INFO] [stdout] 1315 | let i = i as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `j` [INFO] [stdout] --> src/main.rs:1317:13 [INFO] [stdout] | [INFO] [stdout] 1317 | let j = j as u32; [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_j` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `name` [INFO] [stdout] --> src/main.rs:1323:8 [INFO] [stdout] | [INFO] [stdout] 1323 | for (name, sess) in parents.iter().map(|(x, y)| (*x, y)).chain(std::iter::once((main, &sess))) { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_name` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `indexname` is never used [INFO] [stdout] --> src/main.rs:116:6 [INFO] [stdout] | [INFO] [stdout] 106 | impl<'a> VectorIter<'a> { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 116 | fn indexname(mut self) -> (String, usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Hyp`, `OfClass`, and `Oracle` are never constructed [INFO] [stdout] --> src/main.rs:556:3 [INFO] [stdout] | [INFO] [stdout] 549 | enum Proof { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 556 | Hyp(Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 557 | Axiom(String, Vec), [INFO] [stdout] 558 | OfClass(Box, String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 559 | Oracle(String, Box, Vec), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs` and `args` are never read [INFO] [stdout] --> src/main.rs:711:3 [INFO] [stdout] | [INFO] [stdout] 710 | struct Prop { [INFO] [stdout] | ---- fields in this struct [INFO] [stdout] 711 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 712 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Prop` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `prop` and `proof` are never read [INFO] [stdout] --> src/main.rs:724:3 [INFO] [stdout] | [INFO] [stdout] 723 | struct ProofBox { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 724 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] 725 | proof: Box, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProofBox` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `name` and `as_node_n` are never used [INFO] [stdout] --> src/main.rs:742:6 [INFO] [stdout] | [INFO] [stdout] 734 | impl<'a> Tree<'a> { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 742 | fn name(&self) -> &'a [u8] { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 757 | fn as_node_n(&self) -> &[Tree<'a>; N] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `xname`, `pos`, `label`, `file`, and `id` are never read [INFO] [stdout] --> src/main.rs:802:3 [INFO] [stdout] | [INFO] [stdout] 800 | struct Entity { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 801 | name: String, [INFO] [stdout] 802 | xname: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 803 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 804 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 805 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 806 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `Entity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `delim` is never read [INFO] [stdout] --> src/main.rs:839:12 [INFO] [stdout] | [INFO] [stdout] 839 | Prefix { delim: String }, [INFO] [stdout] | ------ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `assoc`, `delim`, and `prio` are never read [INFO] [stdout] --> src/main.rs:840:11 [INFO] [stdout] | [INFO] [stdout] 840 | Infix { assoc: Assoc, delim: String, prio: usize }, [INFO] [stdout] | ----- ^^^^^ ^^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, and `abbrev` are never read [INFO] [stdout] --> src/main.rs:862:3 [INFO] [stdout] | [INFO] [stdout] 861 | struct TypeEntry { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 862 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 863 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 864 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, `ty`, `abbrev`, and `propositional` are never read [INFO] [stdout] --> src/main.rs:875:3 [INFO] [stdout] | [INFO] [stdout] 874 | struct ConstEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 875 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 876 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 877 | ty: Type, [INFO] [stdout] | ^^ [INFO] [stdout] 878 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 879 | propositional: bool, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `proof` and `deps` are never read [INFO] [stdout] --> src/main.rs:919:3 [INFO] [stdout] | [INFO] [stdout] 918 | struct ThmEntry { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 919 | proof: ProofBox, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 920 | deps: Vec<(String, usize)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ThmEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:931:11 [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(Vec), [INFO] [stdout] | ------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:933:13 [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(Vec), [INFO] [stdout] | --------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:953:14 [INFO] [stdout] | [INFO] [stdout] 953 | Equational(Recursion), [INFO] [stdout] | ---------- ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RoughClassification` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 953 | Equational(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:974:3 [INFO] [stdout] | [INFO] [stdout] 972 | struct SpecRule { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 973 | name: String, [INFO] [stdout] 974 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 975 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 976 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 977 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 978 | class: RoughClassification, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 979 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 980 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 981 | terms: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 982 | rules: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SpecRule` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `params` and `axioms` are never read [INFO] [stdout] --> src/main.rs:996:3 [INFO] [stdout] | [INFO] [stdout] 995 | struct ClassEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 996 | params: Vec<(String, Box)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 997 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `prop` is never read [INFO] [stdout] --> src/main.rs:1010:3 [INFO] [stdout] | [INFO] [stdout] 1007 | struct ClassRelEntry { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 1010 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassRelEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `domain`, `codomain`, and `prop` are never read [INFO] [stdout] --> src/main.rs:1022:3 [INFO] [stdout] | [INFO] [stdout] 1020 | struct Arity { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1021 | type_name: String, [INFO] [stdout] 1022 | domain: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1023 | codomain: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 1024 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Arity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `ty`, and `syntax` are never read [INFO] [stdout] --> src/main.rs:1035:3 [INFO] [stdout] | [INFO] [stdout] 1034 | struct LocaleArg { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 1035 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1036 | ty: Box, [INFO] [stdout] | ^^ [INFO] [stdout] 1037 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs`, `args`, and `axioms` are never read [INFO] [stdout] --> src/main.rs:1048:3 [INFO] [stdout] | [INFO] [stdout] 1047 | struct LocaleEntry { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 1048 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1049 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1050 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `source`, `target`, `prefix`, `subst_types`, and `subst_terms` are never read [INFO] [stdout] --> src/main.rs:1061:3 [INFO] [stdout] | [INFO] [stdout] 1060 | struct LocaleDepEntry { [INFO] [stdout] | -------------- fields in this struct [INFO] [stdout] 1061 | source: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1062 | target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1063 | prefix: Vec<(String, bool)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1064 | subst_types: Vec<((String, Sort), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 1065 | subst_terms: Vec<((String, Box), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleDepEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `rep_ty`, `abs_ty`, `rep`, `abs`, and `axiom` are never read [INFO] [stdout] --> src/main.rs:1089:3 [INFO] [stdout] | [INFO] [stdout] 1087 | struct TypeDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 1088 | name: String, [INFO] [stdout] 1089 | rep_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1090 | abs_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1091 | rep: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1092 | abs: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1093 | axiom: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:1105:3 [INFO] [stdout] | [INFO] [stdout] 1103 | struct Datatype { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 1104 | name: String, [INFO] [stdout] 1105 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 1106 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 1107 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1108 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 1109 | co: bool, [INFO] [stdout] | ^^ [INFO] [stdout] 1110 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1111 | typ: Box, [INFO] [stdout] | ^^^ [INFO] [stdout] 1112 | ctors: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Datatype` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `sess`, `i`, and `j` are never read [INFO] [stdout] --> src/main.rs:1142:3 [INFO] [stdout] | [INFO] [stdout] 1141 | struct Axiom { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1142 | sess: &'static str, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1143 | i: u32, [INFO] [stdout] | ^ [INFO] [stdout] 1144 | j: u32, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `g` is never read [INFO] [stdout] --> src/kernel.rs:486:3 [INFO] [stdout] | [INFO] [stdout] 481 | pub struct Checker<'a> { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 486 | g: &'a Global, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `apply_hyp` and `apply_hyps` are never used [INFO] [stdout] --> src/kernel.rs:861:6 [INFO] [stdout] | [INFO] [stdout] 860 | impl> Mapper { [INFO] [stdout] | -------------------------------------- methods in this implementation [INFO] [stdout] 861 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h: HypId) -> HypId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 870 | fn apply_hyps(&mut self, ck: &mut Checker<'_>, hs: HypsId) -> HypsId { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply_hyp` is never used [INFO] [stdout] --> src/kernel.rs:1187:6 [INFO] [stdout] | [INFO] [stdout] 1186 | impl> Comparer { [INFO] [stdout] | -------------------------------------------- method in this implementation [INFO] [stdout] 1187 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h1: HypId, h2: HypId) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:730:18 [INFO] [stdout] | [INFO] [stdout] 729 | let (typargs, (args, (prop, proof))) = <_>::parse(t); [INFO] [stdout] | ---- ---- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 730 | Self { prop: Prop { typargs, args, prop }, proof } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:925:19 [INFO] [stdout] | [INFO] [stdout] 924 | let (prop, deps, proof) = <_>::parse(t); [INFO] [stdout] | ---- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 925 | Self { proof: ProofBox { prop, proof }, deps } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/idx.rs:83:16 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn from_fn(size: usize, f: impl FnMut() -> T) -> Self { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | Self::from(std::iter::repeat_with(f).take(size).collect::>()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/idx.rs:188:5 [INFO] [stdout] | [INFO] [stdout] 187 | fn from_iter>(iter: J) -> Self { [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 188 | Vec::from_iter(iter).into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1108:10 [INFO] [stdout] | [INFO] [stdout] 1107 | fn new(f: T) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1108 | Self(Mapper::new(f)) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1171:20 [INFO] [stdout] | [INFO] [stdout] 1170 | fn new(f: F) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1171 | Self { f, map: HashSet::new() } [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1196:10 [INFO] [stdout] | [INFO] [stdout] 1195 | fn new(f: T) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1196 | Self(Comparer::new(f)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `indexname` is never used [INFO] [stdout] --> src/main.rs:116:6 [INFO] [stdout] | [INFO] [stdout] 106 | impl<'a> VectorIter<'a> { [INFO] [stdout] | ----------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 116 | fn indexname(mut self) -> (String, usize) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Hyp`, `OfClass`, and `Oracle` are never constructed [INFO] [stdout] --> src/main.rs:556:3 [INFO] [stdout] | [INFO] [stdout] 549 | enum Proof { [INFO] [stdout] | ----- variants in this enum [INFO] [stdout] ... [INFO] [stdout] 556 | Hyp(Box), [INFO] [stdout] | ^^^ [INFO] [stdout] 557 | Axiom(String, Vec), [INFO] [stdout] 558 | OfClass(Box, String), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 559 | Oracle(String, Box, Vec), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs` and `args` are never read [INFO] [stdout] --> src/main.rs:711:3 [INFO] [stdout] | [INFO] [stdout] 710 | struct Prop { [INFO] [stdout] | ---- fields in this struct [INFO] [stdout] 711 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 712 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Prop` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `prop` and `proof` are never read [INFO] [stdout] --> src/main.rs:724:3 [INFO] [stdout] | [INFO] [stdout] 723 | struct ProofBox { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 724 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] 725 | proof: Box, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ProofBox` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `name` and `as_node_n` are never used [INFO] [stdout] --> src/main.rs:742:6 [INFO] [stdout] | [INFO] [stdout] 734 | impl<'a> Tree<'a> { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 742 | fn name(&self) -> &'a [u8] { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 757 | fn as_node_n(&self) -> &[Tree<'a>; N] { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `xname`, `pos`, `label`, `file`, and `id` are never read [INFO] [stdout] --> src/main.rs:802:3 [INFO] [stdout] | [INFO] [stdout] 800 | struct Entity { [INFO] [stdout] | ------ fields in this struct [INFO] [stdout] 801 | name: String, [INFO] [stdout] 802 | xname: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 803 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 804 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 805 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 806 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `Entity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `delim` is never read [INFO] [stdout] --> src/main.rs:839:12 [INFO] [stdout] | [INFO] [stdout] 839 | Prefix { delim: String }, [INFO] [stdout] | ------ ^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `assoc`, `delim`, and `prio` are never read [INFO] [stdout] --> src/main.rs:840:11 [INFO] [stdout] | [INFO] [stdout] 840 | Infix { assoc: Assoc, delim: String, prio: usize }, [INFO] [stdout] | ----- ^^^^^ ^^^^^ ^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Syntax` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, and `abbrev` are never read [INFO] [stdout] --> src/main.rs:862:3 [INFO] [stdout] | [INFO] [stdout] 861 | struct TypeEntry { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 862 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 863 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 864 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `syntax`, `args`, `ty`, `abbrev`, and `propositional` are never read [INFO] [stdout] --> src/main.rs:875:3 [INFO] [stdout] | [INFO] [stdout] 874 | struct ConstEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 875 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 876 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 877 | ty: Type, [INFO] [stdout] | ^^ [INFO] [stdout] 878 | abbrev: Option, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 879 | propositional: bool, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ConstEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `proof` and `deps` are never read [INFO] [stdout] --> src/main.rs:919:3 [INFO] [stdout] | [INFO] [stdout] 918 | struct ThmEntry { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 919 | proof: ProofBox, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 920 | deps: Vec<(String, usize)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ThmEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:931:11 [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(Vec), [INFO] [stdout] | ------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 931 | PrimRec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:933:13 [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(Vec), [INFO] [stdout] | --------- ^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Recursion` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 933 | PrimCorec(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/main.rs:953:14 [INFO] [stdout] | [INFO] [stdout] 953 | Equational(Recursion), [INFO] [stdout] | ---------- ^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `RoughClassification` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 953 | Equational(()), [INFO] [stdout] | ~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:974:3 [INFO] [stdout] | [INFO] [stdout] 972 | struct SpecRule { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 973 | name: String, [INFO] [stdout] 974 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 975 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 976 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 977 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 978 | class: RoughClassification, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 979 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 980 | args: Vec<(String, Box)>, [INFO] [stdout] | ^^^^ [INFO] [stdout] 981 | terms: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 982 | rules: Vec, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SpecRule` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `params` and `axioms` are never read [INFO] [stdout] --> src/main.rs:996:3 [INFO] [stdout] | [INFO] [stdout] 995 | struct ClassEntry { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 996 | params: Vec<(String, Box)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 997 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `prop` is never read [INFO] [stdout] --> src/main.rs:1010:3 [INFO] [stdout] | [INFO] [stdout] 1007 | struct ClassRelEntry { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 1010 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `ClassRelEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `domain`, `codomain`, and `prop` are never read [INFO] [stdout] --> src/main.rs:1022:3 [INFO] [stdout] | [INFO] [stdout] 1020 | struct Arity { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1021 | type_name: String, [INFO] [stdout] 1022 | domain: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1023 | codomain: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 1024 | prop: Prop, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Arity` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `ty`, and `syntax` are never read [INFO] [stdout] --> src/main.rs:1035:3 [INFO] [stdout] | [INFO] [stdout] 1034 | struct LocaleArg { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 1035 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1036 | ty: Box, [INFO] [stdout] | ^^ [INFO] [stdout] 1037 | syntax: Syntax, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleArg` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `typargs`, `args`, and `axioms` are never read [INFO] [stdout] --> src/main.rs:1048:3 [INFO] [stdout] | [INFO] [stdout] 1047 | struct LocaleEntry { [INFO] [stdout] | ----------- fields in this struct [INFO] [stdout] 1048 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1049 | args: Vec, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1050 | axioms: Vec, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `source`, `target`, `prefix`, `subst_types`, and `subst_terms` are never read [INFO] [stdout] --> src/main.rs:1061:3 [INFO] [stdout] | [INFO] [stdout] 1060 | struct LocaleDepEntry { [INFO] [stdout] | -------------- fields in this struct [INFO] [stdout] 1061 | source: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1062 | target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1063 | prefix: Vec<(String, bool)>, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1064 | subst_types: Vec<((String, Sort), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 1065 | subst_terms: Vec<((String, Box), Box)>, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `LocaleDepEntry` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `rep_ty`, `abs_ty`, `rep`, `abs`, and `axiom` are never read [INFO] [stdout] --> src/main.rs:1089:3 [INFO] [stdout] | [INFO] [stdout] 1087 | struct TypeDef { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 1088 | name: String, [INFO] [stdout] 1089 | rep_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1090 | abs_ty: Box, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 1091 | rep: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1092 | abs: String, [INFO] [stdout] | ^^^ [INFO] [stdout] 1093 | axiom: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `TypeDef` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple fields are never read [INFO] [stdout] --> src/main.rs:1105:3 [INFO] [stdout] | [INFO] [stdout] 1103 | struct Datatype { [INFO] [stdout] | -------- fields in this struct [INFO] [stdout] 1104 | name: String, [INFO] [stdout] 1105 | pos: (u32, u32), [INFO] [stdout] | ^^^ [INFO] [stdout] 1106 | label: String, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 1107 | file: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1108 | id: u32, [INFO] [stdout] | ^^ [INFO] [stdout] 1109 | co: bool, [INFO] [stdout] | ^^ [INFO] [stdout] 1110 | typargs: Vec<(String, Sort)>, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 1111 | typ: Box, [INFO] [stdout] | ^^^ [INFO] [stdout] 1112 | ctors: Vec<(Box, Box)>, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Datatype` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `sess`, `i`, and `j` are never read [INFO] [stdout] --> src/main.rs:1142:3 [INFO] [stdout] | [INFO] [stdout] 1141 | struct Axiom { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 1142 | sess: &'static str, [INFO] [stdout] | ^^^^ [INFO] [stdout] 1143 | i: u32, [INFO] [stdout] | ^ [INFO] [stdout] 1144 | j: u32, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `g` is never read [INFO] [stdout] --> src/kernel.rs:486:3 [INFO] [stdout] | [INFO] [stdout] 481 | pub struct Checker<'a> { [INFO] [stdout] | ------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 486 | g: &'a Global, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `apply_hyp` and `apply_hyps` are never used [INFO] [stdout] --> src/kernel.rs:861:6 [INFO] [stdout] | [INFO] [stdout] 860 | impl> Mapper { [INFO] [stdout] | -------------------------------------- methods in this implementation [INFO] [stdout] 861 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h: HypId) -> HypId { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 870 | fn apply_hyps(&mut self, ck: &mut Checker<'_>, hs: HypsId) -> HypsId { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply_hyp` is never used [INFO] [stdout] --> src/kernel.rs:1187:6 [INFO] [stdout] | [INFO] [stdout] 1186 | impl> Comparer { [INFO] [stdout] | -------------------------------------------- method in this implementation [INFO] [stdout] 1187 | fn apply_hyp(&mut self, ck: &mut Checker<'_>, h1: HypId, h2: HypId) { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:730:18 [INFO] [stdout] | [INFO] [stdout] 729 | let (typargs, (args, (prop, proof))) = <_>::parse(t); [INFO] [stdout] | ---- ---- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | | [INFO] [stdout] | | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 730 | Self { prop: Prop { typargs, args, prop }, proof } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] = note: requested on the command line with `-D tail-expr-drop-order` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/main.rs:925:19 [INFO] [stdout] | [INFO] [stdout] 924 | let (prop, deps, proof) = <_>::parse(t); [INFO] [stdout] | ---- ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] | | [INFO] [stdout] | these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 925 | Self { proof: ProofBox { prop, proof }, deps } [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/idx.rs:83:16 [INFO] [stdout] | [INFO] [stdout] 82 | pub fn from_fn(size: usize, f: impl FnMut() -> T) -> Self { [INFO] [stdout] | -------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | Self::from(std::iter::repeat_with(f).take(size).collect::>()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/idx.rs:188:5 [INFO] [stdout] | [INFO] [stdout] 187 | fn from_iter>(iter: J) -> Self { [INFO] [stdout] | ------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 188 | Vec::from_iter(iter).into() [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1108:10 [INFO] [stdout] | [INFO] [stdout] 1107 | fn new(f: T) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1108 | Self(Mapper::new(f)) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1171:20 [INFO] [stdout] | [INFO] [stdout] 1170 | fn new(f: F) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1171 | Self { f, map: HashSet::new() } [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: these values and local bindings have significant drop implementation that will have a different drop order from that of Edition 2021 [INFO] [stdout] --> src/kernel.rs:1196:10 [INFO] [stdout] | [INFO] [stdout] 1195 | fn new(f: T) -> Self { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 1196 | Self(Comparer::new(f)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this changes meaning in Rust 2024 [INFO] [stdout] = note: for more information, see issue #123739 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 7 previous errors; 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 7 previous errors; 31 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `isabelle-rs` (bin "isabelle-rs") due to 8 previous errors; 31 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `isabelle-rs` (bin "isabelle-rs" test) due to 8 previous errors; 31 warnings emitted [INFO] running `Command { std: "docker" "inspect" "082752e69c290610f3c4215b96057b01fcb4cafa61aa115cbea74f6d8600ae51", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "082752e69c290610f3c4215b96057b01fcb4cafa61aa115cbea74f6d8600ae51", kill_on_drop: false }` [INFO] [stdout] 082752e69c290610f3c4215b96057b01fcb4cafa61aa115cbea74f6d8600ae51