[INFO] cloning repository https://github.com/quantum413/chaitin_incompleteness [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/quantum413/chaitin_incompleteness" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 227a1dab7c9312e2a955589c34b3c60cc186bbe6 [INFO] checking quantum413/chaitin_incompleteness against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fquantum413%2Fchaitin_incompleteness" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/quantum413/chaitin_incompleteness 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/quantum413/chaitin_incompleteness [INFO] finished tweaking git repo https://github.com/quantum413/chaitin_incompleteness [INFO] tweaked toml for git repo https://github.com/quantum413/chaitin_incompleteness written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/quantum413/chaitin_incompleteness 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0 [INFO] running `Command { std: "docker" "start" "-a" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0", kill_on_drop: false }` [INFO] [stdout] 7aa296016a4d9448447dd384558e419c65412a2d0c01b932b17157f6c76c2fc0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1 [INFO] running `Command { std: "docker" "start" "-a" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling hashbrown v0.14.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling toml_datetime v0.6.5 [INFO] [stderr] Compiling winnow v0.5.17 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling indexmap v2.0.2 [INFO] [stderr] Compiling syn v2.0.38 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling pest v2.7.4 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling pest_meta v2.7.4 [INFO] [stderr] Compiling ntest_timeout v0.9.0 [INFO] [stderr] Compiling ntest_test_cases v0.9.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ntest v0.9.0 [INFO] [stderr] Compiling pest_generator v2.7.4 [INFO] [stderr] Compiling pest_derive v2.7.4 [INFO] [stderr] Checking chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::io::Write` [INFO] [stdout] --> src/functors/recursive.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::io::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `WFFParser` is never constructed [INFO] [stdout] --> src/wff.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | pub struct WFFParser; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/old_formula.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub enum Term<'a>{ [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 8 | Variable(&'a str), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 9 | Function(&'a str, Vec>), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_var`, and `contains_var` are never used [INFO] [stdout] --> src/old_formula.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 12 | impl<'a> Term<'a>{ [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 13 | fn new_from_string(s: &'a str) -> Option{ [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 34 | fn replace_var(&self, name: &str, rep: &'a str) -> Self{ [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | fn contains_var(&self, name: &str) -> bool{ [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/old_formula.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub enum Formula<'a> { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 87 | Predicate(&'a str, Vec>), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 88 | Equals(Term<'a>, Term<'a>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 89 | Implies(Box>, Box>), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 90 | And(Box>, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 91 | Or(Box>, Box>), [INFO] [stdout] | ^^ [INFO] [stdout] 92 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 93 | ForAll(&'a str, Box>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 94 | Exists(&'a str, Box>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Formula` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_free`, and `has_free` are never used [INFO] [stdout] --> src/old_formula.rs:98:8 [INFO] [stdout] | [INFO] [stdout] 97 | impl<'a> Formula<'a> { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 98 | fn new_from_string(s: &'a str) -> Option{ [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 105 | fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self{ [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 144 | fn replace_free(&self, name: &str, rep: &'a str) -> Self{ [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 179 | fn has_free(&self, name: &str) -> bool{ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `inputs` and `index` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 44 | impl CopyInputStep { [INFO] [stdout] | ------------------------------------------- methods in this implementation [INFO] [stdout] 45 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 46 | pub fn index(&self) -> Index {self.index} [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `inputs`, `sub_proofs`, and `deduction` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 54 | impl DeduceStep where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ---------------------------------------------------------------------------- methods in this implementation [INFO] [stdout] 55 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 56 | pub fn sub_proofs(&self) -> &Vec> {&self.sub_proofs} [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 57 | pub fn deduction(&self) -> &FD {&self.deduction} [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_output` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 82 | impl InternalProof { [INFO] [stdout] | ------------------------------------------- method in this implementation [INFO] [stdout] 83 | fn get_output<'a, 'b: 'a, 'c: 'a>(&'b self,inputs: &'c Vec) -> &'a FD::Formula{ [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `inputs`, `output`, `un_step`, `compose_step`, and `compose` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 121 | impl Proof where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 148 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 149 | pub fn output(&self) -> &FD::Formula {&self.output} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 150 | [INFO] [stdout] 151 | pub fn un_step(self) -> ProofStep where FD::Formula: Clone, FD: Clone{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 175 | fn compose_step( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 196 | pub fn compose(inputs: Vec, sub_proofs: Vec>, top_proof: Proof) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ProofStepData` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | pub enum ProofStepData { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `params` is never used [INFO] [stdout] --> src/proof_manipulation/deductions.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 27 | impl Deduction { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn params(&self) -> &D::Parameter {&self.params} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/proof_manipulation/serial_proofs.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 24 | impl UncheckedSerialProof { [INFO] [stdout] | ---------------------------------------------- associated function in this implementation [INFO] [stdout] 25 | pub fn new(output: D::Formula, inputs: Vec, proof: Vec<(UncheckedSerialProofStep, D::Formula)>) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `Reduction` is never used [INFO] [stdout] --> src/functors/reductions.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait Reduction + Clone> where D1::Formula: Clone{ [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Reflexive` is never constructed [INFO] [stdout] --> src/functors/reductions.rs:35:12 [INFO] [stdout] | [INFO] [stdout] 35 | pub struct Reflexive {_marker: PhantomData} [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `parse`, `un_parse`, and `check_un_parse` are never used [INFO] [stdout] --> src/functors/abstract_parser.rs:2:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait AbstractParser : Sized{ [INFO] [stdout] | -------------- associated items in this trait [INFO] [stdout] 2 | fn parse(input: S) -> Option; [INFO] [stdout] | ^^^^^ [INFO] [stdout] 3 | fn un_parse(self) -> S; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 4 | fn check_un_parse(self) -> bool where Self: Clone + Eq{ [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `StrictAbstractParser` is never used [INFO] [stdout] --> src/functors/abstract_parser.rs:17:11 [INFO] [stdout] | [INFO] [stdout] 17 | pub trait StrictAbstractParser : AbstractParser + Clone{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Arity` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | pub type Arity = usize; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `get_predicate_type`, `get_connective_type`, and `get_quantifier_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait WFFNames { [INFO] [stdout] | -------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 16 | fn get_predicate_type(name: &Self::Predicate) -> Vec<&Self::Type>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 17 | fn get_connective_type(name: &Self::Connective) -> Arity; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | fn get_quantifier_type(name: &Self::Quantifier) -> &Self::Type; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `get_variable_type` and `get_function_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub trait WFTNames { [INFO] [stdout] | -------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 25 | fn get_variable_type(name: &Self::Variable) -> &Self::Type; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 26 | fn get_function_type(name: &Self::Function) -> (&Self::Type, Vec<&Self::Type>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:134:1 [INFO] [stdout] | [INFO] [stdout] 133 | pub enum WFTStep < N: WFTNames > { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 134 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 135 | Function(N::Function, Vec < WFTerm < N > >), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `step`, `check_input_types`, and `get_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:138:12 [INFO] [stdout] | [INFO] [stdout] 137 | impl WFTStep { [INFO] [stdout] | ---------------------------- associated items in this implementation [INFO] [stdout] 138 | pub fn step(self) -> Option> where N::Type: Clone + Eq, WFTStep: Clone { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 150 | fn check_input_types(expected: Vec<&N::Type>, inputs: &Vec>) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 157 | pub fn get_type(&self) -> &N::Type { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 179 | impl WFTerm { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] 180 | pub fn un_step(self) -> WFTStep where WFTStep: Clone{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 183 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `WFFStep` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:212:6 [INFO] [stdout] | [INFO] [stdout] 212 | enum WFFStep { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `step` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:218:12 [INFO] [stdout] | [INFO] [stdout] 217 | impl WFFStep { [INFO] [stdout] | ---------------------------- method in this implementation [INFO] [stdout] 218 | pub fn step(self) -> Option> where WFTStep: Clone, N::Type: Clone + Eq { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `WFFormula` is never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:264:8 [INFO] [stdout] | [INFO] [stdout] 264 | struct WFFormula { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:269:12 [INFO] [stdout] | [INFO] [stdout] 268 | impl WFFormula { [INFO] [stdout] | ------------------------------ methods in this implementation [INFO] [stdout] 269 | pub fn un_step(self) -> WFFStep where WFFStep: Clone { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 273 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:292:5 [INFO] [stdout] | [INFO] [stdout] 291 | pub enum WFTStepData { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 292 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 293 | Function(N::Function), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 28 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ProofStepData` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | pub enum ProofStepData { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `params` is never used [INFO] [stdout] --> src/proof_manipulation/deductions.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 27 | impl Deduction { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn params(&self) -> &D::Parameter {&self.params} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `un_step_rc` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:273:12 [INFO] [stdout] | [INFO] [stdout] 268 | impl WFFormula { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 273 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:292:5 [INFO] [stdout] | [INFO] [stdout] 291 | pub enum WFTStepData { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 292 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 293 | Function(N::Function), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.60s [INFO] running `Command { std: "docker" "inspect" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1", kill_on_drop: false }` [INFO] [stdout] 631ed3c5808ae4b98abf0c9e397aac8836e9984c31edd6f383ecc21af76368a1 [INFO] checking quantum413/chaitin_incompleteness 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%2Fquantum413%2Fchaitin_incompleteness" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/quantum413/chaitin_incompleteness 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/quantum413/chaitin_incompleteness [INFO] finished tweaking git repo https://github.com/quantum413/chaitin_incompleteness [INFO] tweaked toml for git repo https://github.com/quantum413/chaitin_incompleteness written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/quantum413/chaitin_incompleteness 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-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 0528cfc7b3a8ceb52d8312ca130418b5dd8f357ff6a38bf796e58dd584ca883f [INFO] running `Command { std: "docker" "start" "-a" "0528cfc7b3a8ceb52d8312ca130418b5dd8f357ff6a38bf796e58dd584ca883f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0528cfc7b3a8ceb52d8312ca130418b5dd8f357ff6a38bf796e58dd584ca883f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0528cfc7b3a8ceb52d8312ca130418b5dd8f357ff6a38bf796e58dd584ca883f", kill_on_drop: false }` [INFO] [stdout] 0528cfc7b3a8ceb52d8312ca130418b5dd8f357ff6a38bf796e58dd584ca883f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 44dff94c0243c60157f0bd59464d753aeb2352698a93a55ca527479119b96e8c [INFO] running `Command { std: "docker" "start" "-a" "44dff94c0243c60157f0bd59464d753aeb2352698a93a55ca527479119b96e8c", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.69 [INFO] [stderr] Compiling thiserror v1.0.50 [INFO] [stderr] Compiling once_cell v1.18.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling hashbrown v0.14.2 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling toml_datetime v0.6.5 [INFO] [stderr] Compiling winnow v0.5.17 [INFO] [stderr] Compiling memchr v2.6.4 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Compiling indexmap v2.0.2 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.38 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Compiling thiserror-impl v1.0.50 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling pest v2.7.4 [INFO] [stderr] Compiling pest_meta v2.7.4 [INFO] [stderr] Compiling ntest_timeout v0.9.0 [INFO] [stderr] Compiling ntest_test_cases v0.9.0 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking ntest v0.9.0 [INFO] [stderr] Compiling pest_generator v2.7.4 [INFO] [stderr] Compiling pest_derive v2.7.4 [INFO] [stderr] Checking chaitin_incompleteness v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `std::io::Write` [INFO] [stdout] --> src/functors/recursive.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::io::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `WFFParser` is never constructed [INFO] [stdout] --> src/wff.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | pub struct WFFParser; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/old_formula.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 7 | pub enum Term<'a>{ [INFO] [stdout] | ---- variants in this enum [INFO] [stdout] 8 | Variable(&'a str), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 9 | Function(&'a str, Vec>), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Term` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_var`, and `contains_var` are never used [INFO] [stdout] --> src/old_formula.rs:13:8 [INFO] [stdout] | [INFO] [stdout] 12 | impl<'a> Term<'a>{ [INFO] [stdout] | ----------------- associated items in this implementation [INFO] [stdout] 13 | fn new_from_string(s: &'a str) -> Option{ [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 34 | fn replace_var(&self, name: &str, rep: &'a str) -> Self{ [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | fn contains_var(&self, name: &str) -> bool{ [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple variants are never constructed [INFO] [stdout] --> src/old_formula.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub enum Formula<'a> { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 87 | Predicate(&'a str, Vec>), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 88 | Equals(Term<'a>, Term<'a>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 89 | Implies(Box>, Box>), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 90 | And(Box>, Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 91 | Or(Box>, Box>), [INFO] [stdout] | ^^ [INFO] [stdout] 92 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 93 | ForAll(&'a str, Box>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 94 | Exists(&'a str, Box>), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Formula` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `new_from_string`, `new`, `replace_free`, and `has_free` are never used [INFO] [stdout] --> src/old_formula.rs:98:8 [INFO] [stdout] | [INFO] [stdout] 97 | impl<'a> Formula<'a> { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 98 | fn new_from_string(s: &'a str) -> Option{ [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 105 | fn new(pair: pest::iterators::Pair<'a, Rule>) -> Self{ [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 144 | fn replace_free(&self, name: &str, rep: &'a str) -> Self{ [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 179 | fn has_free(&self, name: &str) -> bool{ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `inputs` and `index` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:45:12 [INFO] [stdout] | [INFO] [stdout] 44 | impl CopyInputStep { [INFO] [stdout] | ------------------------------------------- methods in this implementation [INFO] [stdout] 45 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 46 | pub fn index(&self) -> Index {self.index} [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `inputs`, `sub_proofs`, and `deduction` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:55:12 [INFO] [stdout] | [INFO] [stdout] 54 | impl DeduceStep where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ---------------------------------------------------------------------------- methods in this implementation [INFO] [stdout] 55 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 56 | pub fn sub_proofs(&self) -> &Vec> {&self.sub_proofs} [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] 57 | pub fn deduction(&self) -> &FD {&self.deduction} [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_output` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:83:8 [INFO] [stdout] | [INFO] [stdout] 82 | impl InternalProof { [INFO] [stdout] | ------------------------------------------- method in this implementation [INFO] [stdout] 83 | fn get_output<'a, 'b: 'a, 'c: 'a>(&'b self,inputs: &'c Vec) -> &'a FD::Formula{ [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `inputs`, `output`, `un_step`, `compose_step`, and `compose` are never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:148:12 [INFO] [stdout] | [INFO] [stdout] 121 | impl Proof where FD::Formula: Clone, FD: Clone { [INFO] [stdout] | ----------------------------------------------------------------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 148 | pub fn inputs(&self) -> &Vec {&self.inputs} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 149 | pub fn output(&self) -> &FD::Formula {&self.output} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 150 | [INFO] [stdout] 151 | pub fn un_step(self) -> ProofStep where FD::Formula: Clone, FD: Clone{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 175 | fn compose_step( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 196 | pub fn compose(inputs: Vec, sub_proofs: Vec>, top_proof: Proof) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ProofStepData` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | pub enum ProofStepData { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `params` is never used [INFO] [stdout] --> src/proof_manipulation/deductions.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 27 | impl Deduction { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn params(&self) -> &D::Parameter {&self.params} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/proof_manipulation/serial_proofs.rs:25:12 [INFO] [stdout] | [INFO] [stdout] 24 | impl UncheckedSerialProof { [INFO] [stdout] | ---------------------------------------------- associated function in this implementation [INFO] [stdout] 25 | pub fn new(output: D::Formula, inputs: Vec, proof: Vec<(UncheckedSerialProofStep, D::Formula)>) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `Reduction` is never used [INFO] [stdout] --> src/functors/reductions.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait Reduction + Clone> where D1::Formula: Clone{ [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `Reflexive` is never constructed [INFO] [stdout] --> src/functors/reductions.rs:35:12 [INFO] [stdout] | [INFO] [stdout] 35 | pub struct Reflexive {_marker: PhantomData} [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `parse`, `un_parse`, and `check_un_parse` are never used [INFO] [stdout] --> src/functors/abstract_parser.rs:2:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait AbstractParser : Sized{ [INFO] [stdout] | -------------- associated items in this trait [INFO] [stdout] 2 | fn parse(input: S) -> Option; [INFO] [stdout] | ^^^^^ [INFO] [stdout] 3 | fn un_parse(self) -> S; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 4 | fn check_un_parse(self) -> bool where Self: Clone + Eq{ [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait `StrictAbstractParser` is never used [INFO] [stdout] --> src/functors/abstract_parser.rs:17:11 [INFO] [stdout] | [INFO] [stdout] 17 | pub trait StrictAbstractParser : AbstractParser + Clone{ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Arity` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:5:10 [INFO] [stdout] | [INFO] [stdout] 5 | pub type Arity = usize; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `get_predicate_type`, `get_connective_type`, and `get_quantifier_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:16:8 [INFO] [stdout] | [INFO] [stdout] 6 | pub trait WFFNames { [INFO] [stdout] | -------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 16 | fn get_predicate_type(name: &Self::Predicate) -> Vec<&Self::Type>; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 17 | fn get_connective_type(name: &Self::Connective) -> Arity; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 18 | fn get_quantifier_type(name: &Self::Quantifier) -> &Self::Type; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `get_variable_type` and `get_function_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 21 | pub trait WFTNames { [INFO] [stdout] | -------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 25 | fn get_variable_type(name: &Self::Variable) -> &Self::Type; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] 26 | fn get_function_type(name: &Self::Function) -> (&Self::Type, Vec<&Self::Type>); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:134:1 [INFO] [stdout] | [INFO] [stdout] 133 | pub enum WFTStep < N: WFTNames > { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 134 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 135 | Function(N::Function, Vec < WFTerm < N > >), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `step`, `check_input_types`, and `get_type` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:138:12 [INFO] [stdout] | [INFO] [stdout] 137 | impl WFTStep { [INFO] [stdout] | ---------------------------- associated items in this implementation [INFO] [stdout] 138 | pub fn step(self) -> Option> where N::Type: Clone + Eq, WFTStep: Clone { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 150 | fn check_input_types(expected: Vec<&N::Type>, inputs: &Vec>) -> bool [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 157 | pub fn get_type(&self) -> &N::Type { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:180:12 [INFO] [stdout] | [INFO] [stdout] 179 | impl WFTerm { [INFO] [stdout] | --------------------------- methods in this implementation [INFO] [stdout] 180 | pub fn un_step(self) -> WFTStep where WFTStep: Clone{ [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 183 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `WFFStep` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:212:6 [INFO] [stdout] | [INFO] [stdout] 212 | enum WFFStep { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `step` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:218:12 [INFO] [stdout] | [INFO] [stdout] 217 | impl WFFStep { [INFO] [stdout] | ---------------------------- method in this implementation [INFO] [stdout] 218 | pub fn step(self) -> Option> where WFTStep: Clone, N::Type: Clone + Eq { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `WFFormula` is never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:264:8 [INFO] [stdout] | [INFO] [stdout] 264 | struct WFFormula { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `un_step` and `un_step_rc` are never used [INFO] [stdout] --> src/formulae/wf_formula.rs:269:12 [INFO] [stdout] | [INFO] [stdout] 268 | impl WFFormula { [INFO] [stdout] | ------------------------------ methods in this implementation [INFO] [stdout] 269 | pub fn un_step(self) -> WFFStep where WFFStep: Clone { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 273 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:292:5 [INFO] [stdout] | [INFO] [stdout] 291 | pub enum WFTStepData { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 292 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 293 | Function(N::Function), [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/proof_manipulation/proofs.rs:110:14 [INFO] [stdout] | [INFO] [stdout] 91 | fn parse(input: SerialProof) -> Option { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 92 | let SerialProof { inputs, output, deductions } = input; [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] 93 | let mut steps = Vec::>>>::new(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 110 | Some(Proof {inputs, output, derivation: steps.pop()?}) [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/proof_manipulation/proofs.rs:117:51 [INFO] [stdout] | [INFO] [stdout] 113 | fn un_parse(self) -> SerialProof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 114 | let Proof {inputs, output, derivation} = self; [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] 115 | let proof = RefCell::new(Vec::>::new()); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 116 | derivation.build(|step: InternalProofStepData>, su... [INFO] [stdout] 117 | SerialProof { inputs, output, deductions: proof.take(), } [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/proof_manipulation/proofs.rs:123:14 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD::Formula: Clone + Eq{ [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] 123 | Some(ProofStep::make_deduce_step(inputs, sub_proofs, deduction)?.step()) [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/proof_manipulation/proofs.rs:126:14 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn copy_input(inputs: Vec, index: Index) -> Option> where FD::Formula: Clone{ [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 126 | Some(ProofStep::make_copy_input_step(inputs, index)?.step()) [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/proof_manipulation/proofs.rs:131:21 [INFO] [stdout] | [INFO] [stdout] 128 | fn step_deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Proof where FD::Formula: Clone{ [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] ... [INFO] [stdout] 131 | output: deduction.output().clone(), [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/proof_manipulation/proofs.rs:132:25 [INFO] [stdout] | [INFO] [stdout] 128 | fn step_deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Proof where FD::Formula: Clone{ [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] ... [INFO] [stdout] 132 | derivation: UnpackRcWrapper::new(InternalProof { internal: Rc::new( InternalProofStep::Deduce( [INFO] [stdout] | _________________________^ [INFO] [stdout] 133 | | deduction, [INFO] [stdout] 134 | | sub_proofs.into_iter().map(|p| p.derivation.internal().clone()).collect(), [INFO] [stdout] 135 | | )) }), [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/proof_manipulation/proofs.rs:144:25 [INFO] [stdout] | [INFO] [stdout] 139 | fn step_copy_input(inputs: Vec, index: Index) -> Proof where FD::Formula: Clone { [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 140 | let output = inputs[index].clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 144 | derivation: UnpackRcWrapper::new(InternalProof { internal: Rc::new(InternalProofStep::Input(index))}), [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/proof_manipulation/proofs.rs:153:15 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn un_step(self) -> ProofStep where FD::Formula: Clone, FD: Clone{ [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 152 | let Proof{inputs, output: _, derivation} = self; [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] 153 | match derivation.un_step_data() { [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/proof_manipulation/proofs.rs:165:45 [INFO] [stdout] | [INFO] [stdout] 163 | ... |s| [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ... Proof{ [INFO] [stdout] 165 | ... inputs: inputs.clone(), [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/proof_manipulation/proofs.rs:166:45 [INFO] [stdout] | [INFO] [stdout] 163 | ... |s| [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 166 | ... output: s.internal().get_output(&inputs).clone(), [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/proof_manipulation/proofs.rs:236:14 [INFO] [stdout] | [INFO] [stdout] 234 | pub fn make_copy_input_step(inputs: Vec, index: Index) -> Option> { [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 235 | if index >= inputs.len() {return None;} [INFO] [stdout] 236 | Some(ProofStep::CopyInput(CopyInputStep {inputs, index})) [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/proof_manipulation/proofs.rs:242:14 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn make_deduce_step(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD::Formu... [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] ... [INFO] [stdout] 242 | Some(ProofStep::Deduce(DeduceStep {inputs, sub_proofs, deduction})) [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/proof_manipulation/deductions.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(params: D::Parameter, inputs: Vec) -> Option [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] 29 | where D::Parameter: Clone, D::Formula: Clone{ [INFO] [stdout] 30 | D::deduce(params.clone(), inputs.clone()).map( [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/proof_manipulation/deductions.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(params: D::Parameter, inputs: Vec) -> Option [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] ... [INFO] [stdout] 31 | |output| Deduction {params, inputs, output} [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/proof_manipulation/serial_proofs.rs:51:14 [INFO] [stdout] | [INFO] [stdout] 49 | step: UncheckedSerialProofStep) -> Option> [INFO] [stdout] | -------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | where D::Formula: Clone + Eq, D::Parameter: Clone + Eq { [INFO] [stdout] 51 | Some(match step { [INFO] [stdout] | ______________^ [INFO] [stdout] 52 | | UncheckedSerialProofStep::Input(i) => { [INFO] [stdout] 53 | | CheckedSerialProofStep::Input(inputs.get(i)?.clone(), i) [INFO] [stdout] 54 | | } [INFO] [stdout] ... | [INFO] [stdout] 65 | | } [INFO] [stdout] 66 | | }) [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/proof_manipulation/serial_proofs.rs:92:14 [INFO] [stdout] | [INFO] [stdout] 82 | fn parse(pf: UncheckedSerialProof) -> Option { [INFO] [stdout] | --------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | let UncheckedSerialProof {inputs, output, proof} = pf; [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] 84 | if proof.len() == 0 {return None;} [INFO] [stdout] 85 | let mut deductions: Vec> = vec![]; [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 92 | Some(SerialProof { [INFO] [stdout] | ______________^ [INFO] [stdout] 93 | | inputs, [INFO] [stdout] 94 | | output, [INFO] [stdout] 95 | | deductions, [INFO] [stdout] 96 | | }) [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/proof_manipulation/serial_proofs.rs:103:20 [INFO] [stdout] | [INFO] [stdout] 99 | fn un_parse(self) -> UncheckedSerialProof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 103 | proof: self.deductions.into_iter().map( [INFO] [stdout] | ____________________^ [INFO] [stdout] 104 | | |s| { [INFO] [stdout] 105 | | match s { [INFO] [stdout] 106 | | CheckedSerialProofStep::Input(f, i) => [INFO] [stdout] ... | [INFO] [stdout] 111 | | } [INFO] [stdout] 112 | | ).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/functors/reductions.rs:13:15 [INFO] [stdout] | [INFO] [stdout] 12 | fn reduce_proof(p: Proof) -> Proof where D1::Formula: Clone + Eq, D1: Clone, D2: Clone{ [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | match p.un_step() { [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/functors/reductions.rs:25:52 [INFO] [stdout] | [INFO] [stdout] 25 | ... |p| Self::reduce_proof(p.clone()) [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/functors/reductions.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 37 | fn reduce(d: D) -> Proof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | let inputs = d.inputs().clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 39 | let input_proofs = [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 48 | Proof::deduce(inputs, input_proofs, d).unwrap() [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/functors/reductions.rs:42:21 [INFO] [stdout] | [INFO] [stdout] 42 | / Proof::copy_input( [INFO] [stdout] 43 | | inputs.clone(), [INFO] [stdout] 44 | | i, [INFO] [stdout] 45 | | ).unwrap() [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/functors/recursive.rs:144:13 [INFO] [stdout] | [INFO] [stdout] 142 | fn un_step(self) -> (Self::StepData, Vec) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ( [INFO] [stdout] 144 | self.un_step_data(), [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/functors/recursive.rs:145:13 [INFO] [stdout] | [INFO] [stdout] 142 | fn un_step(self) -> (Self::StepData, Vec) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 145 | self.un_step_subs(), [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/functors/recursive.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 149 | fn build_no_clone(self, f: F) -> S where F: Fn(Self::StepData, Vec) -> S { [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] 150 | let mut stack = vec![State::::Open(self)]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 151 | let mut ret: Option = None; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 164 | ret.take().unwrap() [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/functors/recursive.rs:191:9 [INFO] [stdout] | [INFO] [stdout] 167 | fn build(self, f: F) -> S where F: Fn(Self::StepData, Vec) -> S, S: Clone { [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] 168 | let mut result_table: HashMap, S> = HashMap::new(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 169 | let mut stack = vec![State::::Open(self)]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 170 | let mut ret: Option = None; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 191 | ret.take().unwrap() [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/formulae/wf_formula.rs:147:14 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn step(self) -> Option> where N::Type: Clone + Eq, WFTStep: Clone { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 147 | Some(WFTerm{step: Rc::new(self)}) [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/formulae/wf_formula.rs:236:14 [INFO] [stdout] | [INFO] [stdout] 218 | pub fn step(self) -> Option> where WFTStep: Clone, N::Type: Clone + Eq { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 236 | Some(WFFormula {step: Rc::new(self)}) [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 27 previous errors; 28 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `chaitin_incompleteness` (bin "chaitin_incompleteness") due to 28 previous errors; 28 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: enum `ProofStepData` is never used [INFO] [stdout] --> src/proof_manipulation/proofs.rs:208:10 [INFO] [stdout] | [INFO] [stdout] 208 | pub enum ProofStepData { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `params` is never used [INFO] [stdout] --> src/proof_manipulation/deductions.rs:34:12 [INFO] [stdout] | [INFO] [stdout] 27 | impl Deduction { [INFO] [stdout] | ----------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 34 | pub fn params(&self) -> &D::Parameter {&self.params} [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `un_step_rc` is never used [INFO] [stdout] --> src/formulae/wf_formula.rs:273:12 [INFO] [stdout] | [INFO] [stdout] 268 | impl WFFormula { [INFO] [stdout] | ------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 273 | pub fn un_step_rc(&self) -> Rc> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Variable` and `Function` are never constructed [INFO] [stdout] --> src/formulae/wf_formula.rs:292:5 [INFO] [stdout] | [INFO] [stdout] 291 | pub enum WFTStepData { [INFO] [stdout] | ----------- variants in this enum [INFO] [stdout] 292 | Variable(N::Variable), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 293 | Function(N::Function), [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/proof_manipulation/proofs.rs:110:14 [INFO] [stdout] | [INFO] [stdout] 91 | fn parse(input: SerialProof) -> Option { [INFO] [stdout] | --------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 92 | let SerialProof { inputs, output, deductions } = input; [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] 93 | let mut steps = Vec::>>>::new(); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 110 | Some(Proof {inputs, output, derivation: steps.pop()?}) [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/proof_manipulation/proofs.rs:117:51 [INFO] [stdout] | [INFO] [stdout] 113 | fn un_parse(self) -> SerialProof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 114 | let Proof {inputs, output, derivation} = self; [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] 115 | let proof = RefCell::new(Vec::>::new()); [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 116 | derivation.build(|step: InternalProofStepData>, su... [INFO] [stdout] 117 | SerialProof { inputs, output, deductions: proof.take(), } [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/proof_manipulation/proofs.rs:123:14 [INFO] [stdout] | [INFO] [stdout] 122 | pub fn deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD::Formula: Clone + Eq{ [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] 123 | Some(ProofStep::make_deduce_step(inputs, sub_proofs, deduction)?.step()) [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/proof_manipulation/proofs.rs:126:14 [INFO] [stdout] | [INFO] [stdout] 125 | pub fn copy_input(inputs: Vec, index: Index) -> Option> where FD::Formula: Clone{ [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 126 | Some(ProofStep::make_copy_input_step(inputs, index)?.step()) [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/proof_manipulation/proofs.rs:131:21 [INFO] [stdout] | [INFO] [stdout] 128 | fn step_deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Proof where FD::Formula: Clone{ [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] ... [INFO] [stdout] 131 | output: deduction.output().clone(), [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/proof_manipulation/proofs.rs:132:25 [INFO] [stdout] | [INFO] [stdout] 128 | fn step_deduce(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Proof where FD::Formula: Clone{ [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] ... [INFO] [stdout] 132 | derivation: UnpackRcWrapper::new(InternalProof { internal: Rc::new( InternalProofStep::Deduce( [INFO] [stdout] | _________________________^ [INFO] [stdout] 133 | | deduction, [INFO] [stdout] 134 | | sub_proofs.into_iter().map(|p| p.derivation.internal().clone()).collect(), [INFO] [stdout] 135 | | )) }), [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/proof_manipulation/proofs.rs:144:25 [INFO] [stdout] | [INFO] [stdout] 139 | fn step_copy_input(inputs: Vec, index: Index) -> Proof where FD::Formula: Clone { [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 140 | let output = inputs[index].clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 144 | derivation: UnpackRcWrapper::new(InternalProof { internal: Rc::new(InternalProofStep::Input(index))}), [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/proof_manipulation/proofs.rs:153:15 [INFO] [stdout] | [INFO] [stdout] 151 | pub fn un_step(self) -> ProofStep where FD::Formula: Clone, FD: Clone{ [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 152 | let Proof{inputs, output: _, derivation} = self; [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] 153 | match derivation.un_step_data() { [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/proof_manipulation/proofs.rs:165:45 [INFO] [stdout] | [INFO] [stdout] 163 | ... |s| [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 164 | ... Proof{ [INFO] [stdout] 165 | ... inputs: inputs.clone(), [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/proof_manipulation/proofs.rs:166:45 [INFO] [stdout] | [INFO] [stdout] 163 | ... |s| [INFO] [stdout] | - these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 166 | ... output: s.internal().get_output(&inputs).clone(), [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/proof_manipulation/proofs.rs:236:14 [INFO] [stdout] | [INFO] [stdout] 234 | pub fn make_copy_input_step(inputs: Vec, index: Index) -> Option> { [INFO] [stdout] | ------------------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 235 | if index >= inputs.len() {return None;} [INFO] [stdout] 236 | Some(ProofStep::CopyInput(CopyInputStep {inputs, index})) [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/proof_manipulation/proofs.rs:242:14 [INFO] [stdout] | [INFO] [stdout] 238 | pub fn make_deduce_step(inputs: Vec, sub_proofs: Vec>, deduction: FD) -> Option> where FD::Formu... [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] ... [INFO] [stdout] 242 | Some(ProofStep::Deduce(DeduceStep {inputs, sub_proofs, deduction})) [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/proof_manipulation/deductions.rs:30:9 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(params: D::Parameter, inputs: Vec) -> Option [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] 29 | where D::Parameter: Clone, D::Formula: Clone{ [INFO] [stdout] 30 | D::deduce(params.clone(), inputs.clone()).map( [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/proof_manipulation/deductions.rs:31:13 [INFO] [stdout] | [INFO] [stdout] 28 | pub fn new(params: D::Parameter, inputs: Vec) -> Option [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] ... [INFO] [stdout] 31 | |output| Deduction {params, inputs, output} [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/proof_manipulation/serial_proofs.rs:51:14 [INFO] [stdout] | [INFO] [stdout] 49 | step: UncheckedSerialProofStep) -> Option> [INFO] [stdout] | -------------------------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 50 | where D::Formula: Clone + Eq, D::Parameter: Clone + Eq { [INFO] [stdout] 51 | Some(match step { [INFO] [stdout] | ______________^ [INFO] [stdout] 52 | | UncheckedSerialProofStep::Input(i) => { [INFO] [stdout] 53 | | CheckedSerialProofStep::Input(inputs.get(i)?.clone(), i) [INFO] [stdout] 54 | | } [INFO] [stdout] ... | [INFO] [stdout] 65 | | } [INFO] [stdout] 66 | | }) [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/proof_manipulation/serial_proofs.rs:92:14 [INFO] [stdout] | [INFO] [stdout] 82 | fn parse(pf: UncheckedSerialProof) -> Option { [INFO] [stdout] | --------------------------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 83 | let UncheckedSerialProof {inputs, output, proof} = pf; [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] 84 | if proof.len() == 0 {return None;} [INFO] [stdout] 85 | let mut deductions: Vec> = vec![]; [INFO] [stdout] | ---------- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 92 | Some(SerialProof { [INFO] [stdout] | ______________^ [INFO] [stdout] 93 | | inputs, [INFO] [stdout] 94 | | output, [INFO] [stdout] 95 | | deductions, [INFO] [stdout] 96 | | }) [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/proof_manipulation/serial_proofs.rs:103:20 [INFO] [stdout] | [INFO] [stdout] 99 | fn un_parse(self) -> UncheckedSerialProof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 103 | proof: self.deductions.into_iter().map( [INFO] [stdout] | ____________________^ [INFO] [stdout] 104 | | |s| { [INFO] [stdout] 105 | | match s { [INFO] [stdout] 106 | | CheckedSerialProofStep::Input(f, i) => [INFO] [stdout] ... | [INFO] [stdout] 111 | | } [INFO] [stdout] 112 | | ).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/functors/reductions.rs:13:15 [INFO] [stdout] | [INFO] [stdout] 12 | fn reduce_proof(p: Proof) -> Proof where D1::Formula: Clone + Eq, D1: Clone, D2: Clone{ [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 13 | match p.un_step() { [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/functors/reductions.rs:25:52 [INFO] [stdout] | [INFO] [stdout] 25 | ... |p| Self::reduce_proof(p.clone()) [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/functors/reductions.rs:48:9 [INFO] [stdout] | [INFO] [stdout] 37 | fn reduce(d: D) -> Proof { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 38 | let inputs = d.inputs().clone(); [INFO] [stdout] | ------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 39 | let input_proofs = [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 48 | Proof::deduce(inputs, input_proofs, d).unwrap() [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/functors/reductions.rs:42:21 [INFO] [stdout] | [INFO] [stdout] 42 | / Proof::copy_input( [INFO] [stdout] 43 | | inputs.clone(), [INFO] [stdout] 44 | | i, [INFO] [stdout] 45 | | ).unwrap() [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/functors/recursive.rs:144:13 [INFO] [stdout] | [INFO] [stdout] 142 | fn un_step(self) -> (Self::StepData, Vec) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 143 | ( [INFO] [stdout] 144 | self.un_step_data(), [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/functors/recursive.rs:145:13 [INFO] [stdout] | [INFO] [stdout] 142 | fn un_step(self) -> (Self::StepData, Vec) { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 145 | self.un_step_subs(), [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/functors/recursive.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 149 | fn build_no_clone(self, f: F) -> S where F: Fn(Self::StepData, Vec) -> S { [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] 150 | let mut stack = vec![State::::Open(self)]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 151 | let mut ret: Option = None; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 164 | ret.take().unwrap() [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/functors/recursive.rs:191:9 [INFO] [stdout] | [INFO] [stdout] 167 | fn build(self, f: F) -> S where F: Fn(Self::StepData, Vec) -> S, S: Clone { [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] 168 | let mut result_table: HashMap, S> = HashMap::new(); [INFO] [stdout] | ------------ these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 169 | let mut stack = vec![State::::Open(self)]; [INFO] [stdout] | ----- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] 170 | let mut ret: Option = None; [INFO] [stdout] | --- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 191 | ret.take().unwrap() [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/formulae/wf_formula.rs:147:14 [INFO] [stdout] | [INFO] [stdout] 138 | pub fn step(self) -> Option> where N::Type: Clone + Eq, WFTStep: Clone { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 147 | Some(WFTerm{step: Rc::new(self)}) [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/formulae/wf_formula.rs:236:14 [INFO] [stdout] | [INFO] [stdout] 218 | pub fn step(self) -> Option> where WFTStep: Clone, N::Type: Clone + Eq { [INFO] [stdout] | ---- these values have significant drop implementation and will observe changes in drop order under Edition 2024 [INFO] [stdout] ... [INFO] [stdout] 236 | Some(WFFormula {step: Rc::new(self)}) [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 27 previous errors; 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `chaitin_incompleteness` (bin "chaitin_incompleteness" test) due to 28 previous errors; 4 warnings emitted [INFO] running `Command { std: "docker" "inspect" "44dff94c0243c60157f0bd59464d753aeb2352698a93a55ca527479119b96e8c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44dff94c0243c60157f0bd59464d753aeb2352698a93a55ca527479119b96e8c", kill_on_drop: false }` [INFO] [stdout] 44dff94c0243c60157f0bd59464d753aeb2352698a93a55ca527479119b96e8c