[INFO] cloning repository https://github.com/digama0/olean-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/digama0/olean-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Folean-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Folean-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 8c6b68ccad182d2376bb6f11d8e7e89e100ff29d [INFO] checking digama0/olean-rs against master#fc5af1813307d25a84d633f21e2e53c9376eb547 for pr-144386 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdigama0%2Folean-rs" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/digama0/olean-rs [INFO] finished tweaking git repo https://github.com/digama0/olean-rs [INFO] tweaked toml for git repo https://github.com/digama0/olean-rs written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/digama0/olean-rs on toolchain fc5af1813307d25a84d633f21e2e53c9376eb547 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/digama0/olean-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded unicode_reader v0.1.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0b021521a6f5549efcfd692d032498029cb94af6215c5084ecdf642db6b482ff [INFO] running `Command { std: "docker" "start" "-a" "0b021521a6f5549efcfd692d032498029cb94af6215c5084ecdf642db6b482ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0b021521a6f5549efcfd692d032498029cb94af6215c5084ecdf642db6b482ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0b021521a6f5549efcfd692d032498029cb94af6215c5084ecdf642db6b482ff", kill_on_drop: false }` [INFO] [stdout] 0b021521a6f5549efcfd692d032498029cb94af6215c5084ecdf642db6b482ff [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+fc5af1813307d25a84d633f21e2e53c9376eb547" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ff6071a5bb7cf581f71fe41458096ff726f1f5442df7e96f726cd0509e8e8663 [INFO] running `Command { std: "docker" "start" "-a" "ff6071a5bb7cf581f71fe41458096ff726f1f5442df7e96f726cd0509e8e8663", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.6 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling proc-macro2 v0.4.24 [INFO] [stderr] Compiling num-bigint v0.2.2 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling num-complex v0.2.1 [INFO] [stderr] Compiling num-iter v0.1.37 [INFO] [stderr] Compiling num-rational v0.2.1 [INFO] [stderr] Compiling num-derive v0.2.3 [INFO] [stderr] Checking unicode-width v0.1.5 [INFO] [stderr] Checking unicode-segmentation v1.2.1 [INFO] [stderr] Checking endian-type v0.1.2 [INFO] [stderr] Checking nibble_vec v0.0.4 [INFO] [stderr] Checking byteorder v1.2.7 [INFO] [stderr] Checking take_mut v0.2.2 [INFO] [stderr] Checking getopts v0.2.18 [INFO] [stderr] Checking unicode_reader v0.1.1 [INFO] [stderr] Compiling quote v0.6.10 [INFO] [stderr] Compiling syn v0.15.23 [INFO] [stderr] Checking num v0.2.0 [INFO] [stderr] Checking olean-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: fields `attr` and `mods` are never read [INFO] [stdout] --> src/rough_parser.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 18 | #[derive(Debug)] pub struct CmdMeta { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 19 | pub attr: Attributes, [INFO] [stdout] | ^^^^ [INFO] [stdout] 20 | pub mods: Modifiers, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CmdMeta` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `1` and `2` are never read [INFO] [stdout] --> src/rough_parser.rs:39:19 [INFO] [stdout] | [INFO] [stdout] 39 | Other(String, CmdMeta, Vec) [INFO] [stdout] | ----- ^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Command` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 39 - Other(String, CmdMeta, Vec) [INFO] [stdout] 39 + Other(String, (), ()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `name` is never read [INFO] [stdout] --> src/rough_parser.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 75 | #[derive(Debug)] pub struct RoughLean { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 76 | pub name: Name, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RoughLean` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:252:17 [INFO] [stdout] | [INFO] [stdout] 252 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_REDUCIBLESTATUS` [INFO] [stdout] 253 | pub enum ReducibleStatus { Reducible, Semireducible, Irreducible } [INFO] [stdout] | --------------- `ReducibleStatus` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:255:17 [INFO] [stdout] | [INFO] [stdout] 255 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_ELABSTRATEGY` [INFO] [stdout] 256 | pub enum ElabStrategy { Simple, WithExpectedType, AsEliminator } [INFO] [stdout] | ------------ `ElabStrategy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:301:17 [INFO] [stdout] | [INFO] [stdout] 301 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_GINDUCTIVEKIND` [INFO] [stdout] 302 | pub enum GInductiveKind { Basic, Mutual, Nested } [INFO] [stdout] | -------------- `GInductiveKind` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:408:17 [INFO] [stdout] | [INFO] [stdout] 408 | #[derive(Debug, FromPrimitive)] pub enum NotationEntryGroup { Main, Reserve } [INFO] [stdout] | ^------------ ------------------ `NotationEntryGroup` is not local [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_NOTATIONENTRYGROUP` [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | #[derive(Debug, FromPrimitive)] pub enum OpKind { Relation, Subst, Trans, Refl, Symm } [INFO] [stdout] | ^------------ ------ `OpKind` is not local [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_OPKIND` [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/tokens.rs:70:19 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn search(&self) -> TokenSearch { self.0.last_ancestor_iter() } [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] 70 | pub fn search(&self) -> TokenSearch<'_> { self.0.last_ancestor_iter() } [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/iter.rs:138:19 [INFO] [stdout] | [INFO] [stdout] 138 | fn child_iter(&self) -> ChildIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 138 | fn child_iter(&self) -> ChildIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:15:17 [INFO] [stdout] | [INFO] [stdout] 15 | pub fn root(&self) -> SubTrie { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 15 | pub fn root(&self) -> SubTrie<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:23:21 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn root_mut(&mut self) -> SubTrieMut { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 23 | pub fn root_mut(&mut self) -> SubTrieMut<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:169:31 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn last_ancestor_iter(&self) -> LastAncestorIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 169 | pub fn last_ancestor_iter(&self) -> LastAncestorIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie_node.rs:158:23 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn as_subtrie(&self, prefix: NibbleVec) -> SubTrie { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 158 | pub fn as_subtrie(&self, prefix: NibbleVec) -> SubTrie<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/last_ancestor.rs:24:22 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(trie: &TrieNode) -> LastAncestorIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(trie: &TrieNode) -> LastAncestorIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `attr` and `mods` are never read [INFO] [stdout] --> src/rough_parser.rs:19:9 [INFO] [stdout] | [INFO] [stdout] 18 | #[derive(Debug)] pub struct CmdMeta { [INFO] [stdout] | ------- fields in this struct [INFO] [stdout] 19 | pub attr: Attributes, [INFO] [stdout] | ^^^^ [INFO] [stdout] 20 | pub mods: Modifiers, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CmdMeta` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `1` and `2` are never read [INFO] [stdout] --> src/rough_parser.rs:39:19 [INFO] [stdout] | [INFO] [stdout] 39 | Other(String, CmdMeta, Vec) [INFO] [stdout] | ----- ^^^^^^^ ^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | fields in this variant [INFO] [stdout] | [INFO] [stdout] = note: `Command` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the fields to be of unit type to suppress this warning while preserving the field numbering, or remove the fields [INFO] [stdout] | [INFO] [stdout] 39 - Other(String, CmdMeta, Vec) [INFO] [stdout] 39 + Other(String, (), ()) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `name` is never read [INFO] [stdout] --> src/rough_parser.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 75 | #[derive(Debug)] pub struct RoughLean { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] 76 | pub name: Name, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `RoughLean` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:252:17 [INFO] [stdout] | [INFO] [stdout] 252 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_REDUCIBLESTATUS` [INFO] [stdout] 253 | pub enum ReducibleStatus { Reducible, Semireducible, Irreducible } [INFO] [stdout] | --------------- `ReducibleStatus` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:255:17 [INFO] [stdout] | [INFO] [stdout] 255 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_ELABSTRATEGY` [INFO] [stdout] 256 | pub enum ElabStrategy { Simple, WithExpectedType, AsEliminator } [INFO] [stdout] | ------------ `ElabStrategy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:301:17 [INFO] [stdout] | [INFO] [stdout] 301 | #[derive(Debug, FromPrimitive)] [INFO] [stdout] | ^------------ [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_GINDUCTIVEKIND` [INFO] [stdout] 302 | pub enum GInductiveKind { Basic, Mutual, Nested } [INFO] [stdout] | -------------- `GInductiveKind` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:408:17 [INFO] [stdout] | [INFO] [stdout] 408 | #[derive(Debug, FromPrimitive)] pub enum NotationEntryGroup { Main, Reserve } [INFO] [stdout] | ^------------ ------------------ `NotationEntryGroup` is not local [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_NOTATIONENTRYGROUP` [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> src/types.rs:426:17 [INFO] [stdout] | [INFO] [stdout] 426 | #[derive(Debug, FromPrimitive)] pub enum OpKind { Relation, Subst, Trans, Refl, Symm } [INFO] [stdout] | ^------------ ------ `OpKind` is not local [INFO] [stdout] | | [INFO] [stdout] | `FromPrimitive` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_IMPL_NUM_FROMPRIMITIVE_FOR_OPKIND` [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `FromPrimitive` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `FromPrimitive` may come from an old version of the `num_derive` crate, try updating your dependency with `cargo update -p num_derive` [INFO] [stdout] = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl` [INFO] [stdout] = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint [INFO] [stdout] = note: this warning originates in the derive macro `FromPrimitive` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/tokens.rs:70:19 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn search(&self) -> TokenSearch { self.0.last_ancestor_iter() } [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] 70 | pub fn search(&self) -> TokenSearch<'_> { self.0.last_ancestor_iter() } [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/iter.rs:138:19 [INFO] [stdout] | [INFO] [stdout] 138 | fn child_iter(&self) -> ChildIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 138 | fn child_iter(&self) -> ChildIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:15:17 [INFO] [stdout] | [INFO] [stdout] 15 | pub fn root(&self) -> SubTrie { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 15 | pub fn root(&self) -> SubTrie<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:23:21 [INFO] [stdout] | [INFO] [stdout] 23 | pub fn root_mut(&mut self) -> SubTrieMut { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 23 | pub fn root_mut(&mut self) -> SubTrieMut<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie.rs:169:31 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn last_ancestor_iter(&self) -> LastAncestorIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 169 | pub fn last_ancestor_iter(&self) -> LastAncestorIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/trie_node.rs:158:23 [INFO] [stdout] | [INFO] [stdout] 158 | pub fn as_subtrie(&self, prefix: NibbleVec) -> SubTrie { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 158 | pub fn as_subtrie(&self, prefix: NibbleVec) -> SubTrie<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trie/last_ancestor.rs:24:22 [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(trie: &TrieNode) -> LastAncestorIter { [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] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 24 | pub fn new(trie: &TrieNode) -> LastAncestorIter<'_, V> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.14s [INFO] running `Command { std: "docker" "inspect" "ff6071a5bb7cf581f71fe41458096ff726f1f5442df7e96f726cd0509e8e8663", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ff6071a5bb7cf581f71fe41458096ff726f1f5442df7e96f726cd0509e8e8663", kill_on_drop: false }` [INFO] [stdout] ff6071a5bb7cf581f71fe41458096ff726f1f5442df7e96f726cd0509e8e8663