[INFO] cloning repository https://github.com/adamAndMath/AlgebraicManipulatorRust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/adamAndMath/AlgebraicManipulatorRust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 04fd0cd94dd8caa97d6b2b7bb934b768f39b5a66 [INFO] checking adamAndMath/AlgebraicManipulatorRust against try#21cad1f647cfd05a566220f933edd88a53e50bcf for pr-129249-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/adamAndMath/AlgebraicManipulatorRust [INFO] finished tweaking git repo https://github.com/adamAndMath/AlgebraicManipulatorRust [INFO] tweaked toml for git repo https://github.com/adamAndMath/AlgebraicManipulatorRust written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/adamAndMath/AlgebraicManipulatorRust on toolchain 21cad1f647cfd05a566220f933edd88a53e50bcf [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+21cad1f647cfd05a566220f933edd88a53e50bcf" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/adamAndMath/AlgebraicManipulatorRust 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" "+21cad1f647cfd05a566220f933edd88a53e50bcf" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] [stderr] warning: `algebra` (manifest) generated 1 warning [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e [INFO] running `Command { std: "docker" "start" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e" "/opt/rustwide/cargo-home/bin/cargo" "+21cad1f647cfd05a566220f933edd88a53e50bcf" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e" "/opt/rustwide/cargo-home/bin/cargo" "+21cad1f647cfd05a566220f933edd88a53e50bcf" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] [stderr] warning: `algebra` (manifest) generated 1 warning [INFO] [stderr] Compiling proc-macro2 v0.4.20 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling ucd-trie v0.1.1 [INFO] [stderr] Compiling maplit v1.0.1 [INFO] [stderr] Compiling pest v2.0.1 [INFO] [stderr] Compiling quote v0.6.8 [INFO] [stderr] Compiling syn v0.14.9 [INFO] [stderr] Compiling pest_meta v2.0.3 [INFO] [stderr] Compiling pest_generator v2.0.0 [INFO] [stderr] Compiling pest_derive v2.0.1 [INFO] [stderr] Checking algebra v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `ErrID` and `SetLocal` [INFO] [stdout] --> src/id/mod.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | ErrID, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 32 | TypeCheck, [INFO] [stdout] 33 | SetLocal [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:42 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:34:40 [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> T { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> T { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:38:44 [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> Vec { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ErrID`, `SetLocal`, and `TypeCheck` [INFO] [stdout] --> src/id/mod.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | ErrID, [INFO] [stdout] | ^^^^^ [INFO] [stdout] 32 | TypeCheck, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 33 | SetLocal [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id` [INFO] [stdout] --> src/macros/id/ty.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! type_id { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id_vec` [INFO] [stdout] --> src/macros/id/ty.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | macro_rules! type_id_vec { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `type_id_tuple` [INFO] [stdout] --> src/macros/id/ty.rs:11:14 [INFO] [stdout] | [INFO] [stdout] 11 | macro_rules! type_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `pattern_id` [INFO] [stdout] --> src/macros/id/pattern.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! pattern_id { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `pattern_id_tuple` [INFO] [stdout] --> src/macros/id/pattern.rs:10:14 [INFO] [stdout] | [INFO] [stdout] 10 | macro_rules! pattern_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `exp_id` [INFO] [stdout] --> src/macros/id/exp.rs:1:14 [INFO] [stdout] | [INFO] [stdout] 1 | macro_rules! exp_id { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `exp_id_tuple` [INFO] [stdout] --> src/macros/id/exp.rs:8:14 [INFO] [stdout] | [INFO] [stdout] 8 | macro_rules! exp_id_tuple { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:1:42 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:34:40 [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> T { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> T { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stdout] --> src/parser.rs:38:44 [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator>) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021! [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn` [INFO] [stdout] | [INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator>) -> Vec { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `add` and `len` are never used [INFO] [stdout] --> src/envs/match_env.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl<'a> MatchEnv<'a> { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn add(&mut self, k: Exp, v: Exp) { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | pub fn len(&self) -> usize { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `scope_exp` and `scope_truth` are never used [INFO] [stdout] --> src/envs/namespaces.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a> Namespaces<'a> { [INFO] [stdout] | ----------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef<... [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `scope_truth` is never used [INFO] [stdout] --> src/envs/envs.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> Envs<'a> { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `gen` is never used [INFO] [stdout] --> src/envs/type_val.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl TypeVal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn gen(&self) -> &Vec { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/envs/truth_val.rs:22:106 [INFO] [stdout] | [INFO] [stdout] 22 | if *f != FORALL_ID { return Err(ErrID::ExpMismatch(Exp::Var(f.clone(), vec![]), Exp::Var(FORALL_ID.into(), vec![]))); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/envs/truth_val.rs:27:72 [INFO] [stdout] | [INFO] [stdout] 27 | } else { return Err(ErrID::ExpMismatch(e.clone(), Exp::Var(FORALL_ID.into(), vec![]))); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:25:55 [INFO] [stdout] | [INFO] [stdout] 25 | ty => return Err(ErrID::NotAtomic((*id).into(), ty)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:32:55 [INFO] [stdout] | [INFO] [stdout] 32 | ty => return Err(ErrID::NotAtomic((*id).into(), ty)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:113:47 [INFO] [stdout] | [INFO] [stdout] 113 | Pattern::Atom(id, gs) => Exp::Var((*id).into(), gs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:157:52 [INFO] [stdout] | [INFO] [stdout] 157 | Err(ErrID::ExpMismatch(e, Exp::Var((*a).into(), gs.clone()))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:166:52 [INFO] [stdout] | [INFO] [stdout] 166 | Err(ErrID::ExpMismatch(e, Exp::Var((*c).into(), vec![]))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:55:48 [INFO] [stdout] | [INFO] [stdout] 55 | Ok(Exp::Call(Box::new(Exp::Var(EQ_ID.into(), vec![ty])), Box::new(Exp::Tuple(vec![par.clone(), res])))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:61:48 [INFO] [stdout] | [INFO] [stdout] 61 | Ok(Exp::Call(Box::new(Exp::Var(EQ_ID.into(), vec![ty])), Box::new(Exp::Tuple(vec![par.clone(), res])))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:69:91 [INFO] [stdout] | [INFO] [stdout] 69 | if eq != EQ_ID { return Err(ErrID::ExpMismatch(Exp::Var(eq, vec![]), Exp::Var(EQ_ID.into(), vec![])))} [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:141:45 [INFO] [stdout] | [INFO] [stdout] 141 | Exp::Call(Box::new(Exp::Var(FORALL_ID.into(), vec![t_in])), Box::new(closure)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:69:31 [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:80:31 [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:92:31 [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/predef.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn predef_space(data: &mut NameData) -> Namespaces { [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 18 | pub fn predef_space(data: &mut NameData) -> Namespaces<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `algebra` (bin "algebra" test) due to 11 previous errors; 13 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: associated items `R` and `parse` are never used [INFO] [stdout] --> src/parser.rs:23:11 [INFO] [stdout] | [INFO] [stdout] 22 | pub trait Parse<'f>: Sized { [INFO] [stdout] | ----- associated items in this trait [INFO] [stdout] 23 | const R: Rule; [INFO] [stdout] | ^ [INFO] [stdout] 24 | fn parse(file: &'f str) -> Self { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `add` is never used [INFO] [stdout] --> src/envs/match_env.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl<'a> MatchEnv<'a> { [INFO] [stdout] | --------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn add(&mut self, k: Exp, v: Exp) { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `scope_exp` and `scope_truth` are never used [INFO] [stdout] --> src/envs/namespaces.rs:90:12 [INFO] [stdout] | [INFO] [stdout] 29 | impl<'a> Namespaces<'a> { [INFO] [stdout] | ----------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 90 | pub fn scope_exp<'b, I: IntoIterator>(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef(&'b self, names: &'a mut NameData, v: I) -> Namespaces<'b> where 'a: 'b, I::Item: AsRef<... [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `scope_truth` is never used [INFO] [stdout] --> src/envs/envs.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl<'a> Envs<'a> { [INFO] [stdout] | ----------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub fn scope_truth<'b>(&'b self, v: Vec) -> Envs<'b> where 'a: 'b { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `gen` is never used [INFO] [stdout] --> src/envs/type_val.rs:18:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl TypeVal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 18 | pub fn gen(&self) -> &Vec { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/envs/truth_val.rs:22:106 [INFO] [stdout] | [INFO] [stdout] 22 | if *f != FORALL_ID { return Err(ErrID::ExpMismatch(Exp::Var(f.clone(), vec![]), Exp::Var(FORALL_ID.into(), vec![]))); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/envs/truth_val.rs:27:72 [INFO] [stdout] | [INFO] [stdout] 27 | } else { return Err(ErrID::ExpMismatch(e.clone(), Exp::Var(FORALL_ID.into(), vec![]))); } [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:25:55 [INFO] [stdout] | [INFO] [stdout] 25 | ty => return Err(ErrID::NotAtomic((*id).into(), ty)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:32:55 [INFO] [stdout] | [INFO] [stdout] 32 | ty => return Err(ErrID::NotAtomic((*id).into(), ty)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:113:47 [INFO] [stdout] | [INFO] [stdout] 113 | Pattern::Atom(id, gs) => Exp::Var((*id).into(), gs.clone()), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:157:52 [INFO] [stdout] | [INFO] [stdout] 157 | Err(ErrID::ExpMismatch(e, Exp::Var((*a).into(), gs.clone()))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/pattern.rs:166:52 [INFO] [stdout] | [INFO] [stdout] 166 | Err(ErrID::ExpMismatch(e, Exp::Var((*c).into(), vec![]))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:55:48 [INFO] [stdout] | [INFO] [stdout] 55 | Ok(Exp::Call(Box::new(Exp::Var(EQ_ID.into(), vec![ty])), Box::new(Exp::Tuple(vec![par.clone(), res])))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:61:48 [INFO] [stdout] | [INFO] [stdout] 61 | Ok(Exp::Call(Box::new(Exp::Var(EQ_ID.into(), vec![ty])), Box::new(Exp::Tuple(vec![par.clone(), res])))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:69:91 [INFO] [stdout] | [INFO] [stdout] 69 | if eq != EQ_ID { return Err(ErrID::ExpMismatch(Exp::Var(eq, vec![]), Exp::Var(EQ_ID.into(), vec![])))} [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: useless conversion to the same type: `ID` [INFO] [stdout] --> src/id/proof.rs:141:45 [INFO] [stdout] | [INFO] [stdout] 141 | Exp::Call(Box::new(Exp::Var(FORALL_ID.into(), vec![t_in])), Box::new(closure)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this method call relies on the `impl Into for T` blanket implementation and type inference, which is a semver hazard as a new `impl Into<_>` that affects your type might be added in the future causing type inference errors [INFO] [stdout] = note: you can instead use the fully-qualified path ` as Into>::into(val) to avoid triggering this lint [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:69:31 [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` (part of `#[warn(rust_2021_compatibility)]`) on by default [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 69 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:80:31 [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 80 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/parser.rs:92:31 [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!(r), [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of `unreachable!()` is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: for more information, see [INFO] [stdout] help: add a "{}" format string to `Display` the message [INFO] [stdout] | [INFO] [stdout] 92 | r => unreachable!("{}", r), [INFO] [stdout] | +++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/predef.rs:18:27 [INFO] [stdout] | [INFO] [stdout] 18 | pub fn predef_space(data: &mut NameData) -> Namespaces { [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 18 | pub fn predef_space(data: &mut NameData) -> Namespaces<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `algebra` (bin "algebra") due to 11 previous errors; 21 warnings emitted [INFO] running `Command { std: "docker" "inspect" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e", kill_on_drop: false }` [INFO] [stdout] 4219b6ced4c4cf502376134b4604dacf456e0a9700b3b299b5b8879dbf88065e