[INFO] cloning repository https://github.com/dustlang/chalk [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dustlang/chalk" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdustlang%2Fchalk", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdustlang%2Fchalk'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] fbfa00e831a12eae33f1dd56b705655ded3bc42b [INFO] testing dustlang/chalk against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_in_2025-retry-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdustlang%2Fchalk" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/dustlang/chalk [INFO] finished tweaking git repo https://github.com/dustlang/chalk [INFO] tweaked toml for git repo https://github.com/dustlang/chalk written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/dustlang/chalk on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/dustlang/chalk 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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ascii-canvas v2.0.0 [INFO] [stderr] Downloaded tracing-tree v0.1.5 [INFO] [stderr] Downloaded tracing-core v0.1.14 [INFO] [stderr] Downloaded lalrpop-util v0.19.0 [INFO] [stderr] Downloaded tracing-attributes v0.1.10 [INFO] [stderr] Downloaded string_cache v0.8.0 [INFO] [stderr] Downloaded lalrpop v0.19.0 [INFO] [stderr] Downloaded salsa v0.16.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a562dc02f7a07c5284f2c63cf17276c1429a58302e19b3e796b4a599ca2b5ece [INFO] running `Command { std: "docker" "start" "-a" "a562dc02f7a07c5284f2c63cf17276c1429a58302e19b3e796b4a599ca2b5ece", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a562dc02f7a07c5284f2c63cf17276c1429a58302e19b3e796b4a599ca2b5ece", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a562dc02f7a07c5284f2c63cf17276c1429a58302e19b3e796b4a599ca2b5ece", kill_on_drop: false }` [INFO] [stdout] a562dc02f7a07c5284f2c63cf17276c1429a58302e19b3e796b4a599ca2b5ece [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] b812bd6c379251b43c55b662afdcd89e1e826008a9a2d019f1a9e8cf8bc3a8aa [INFO] running `Command { std: "docker" "start" "-a" "b812bd6c379251b43c55b662afdcd89e1e826008a9a2d019f1a9e8cf8bc3a8aa", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.19 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.38 [INFO] [stderr] Compiling libc v0.2.86 [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling byteorder v1.3.4 [INFO] [stderr] Compiling serde_derive v1.0.115 [INFO] [stderr] Compiling serde v1.0.115 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Compiling typenum v1.12.0 [INFO] [stderr] Compiling smallvec v1.4.2 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling tracing-core v0.1.14 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling serde_json v1.0.57 [INFO] [stderr] Compiling byte-tools v0.3.1 [INFO] [stderr] Compiling hashbrown v0.8.2 [INFO] [stderr] Compiling indexmap v1.5.1 [INFO] [stderr] Compiling num-traits v0.2.12 [INFO] [stderr] Compiling num-integer v0.1.43 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling block-padding v0.1.5 [INFO] [stderr] Compiling itoa v0.4.6 [INFO] [stderr] Compiling siphasher v0.3.3 [INFO] [stderr] Compiling tracing-log v0.1.1 [INFO] [stderr] Compiling quote v1.0.7 [INFO] [stderr] Compiling phf_shared v0.8.0 [INFO] [stderr] Compiling sharded-slab v0.0.9 [INFO] [stderr] Compiling bit-vec v0.6.2 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling dirs v1.0.5 [INFO] [stderr] Compiling term v0.5.2 [INFO] [stderr] Compiling fixedbitset v0.2.0 [INFO] [stderr] Compiling generic-array v0.12.3 [INFO] [stderr] Compiling strsim v0.9.3 [INFO] [stderr] Compiling fake-simd v0.1.2 [INFO] [stderr] Compiling opaque-debug v0.2.3 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling either v1.6.0 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling petgraph v0.5.1 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling ascii-canvas v2.0.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling digest v0.8.1 [INFO] [stderr] Compiling block-buffer v0.7.3 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling sha2 v0.8.2 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling termcolor v1.1.0 [INFO] [stderr] Compiling itertools v0.10.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.3 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling instant v0.1.6 [INFO] [stderr] Compiling unicode-segmentation v1.6.0 [INFO] [stderr] Compiling lock_api v0.4.1 [INFO] [stderr] Compiling parking_lot_core v0.8.0 [INFO] [stderr] Compiling oorandom v11.1.2 [INFO] [stderr] Compiling fs2 v0.4.3 [INFO] [stderr] Compiling nix v0.19.1 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling utf8parse v0.2.0 [INFO] [stderr] Compiling chrono v0.4.13 [INFO] [stderr] Compiling parking_lot v0.11.0 [INFO] [stderr] Compiling heck v0.3.1 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Compiling regex-automata v0.1.9 [INFO] [stderr] Compiling matchers v0.0.1 [INFO] [stderr] Compiling lalrpop-util v0.19.0 [INFO] [stderr] Compiling rustyline v7.1.0 [INFO] [stderr] Compiling synstructure v0.12.4 [INFO] [stderr] Compiling tracing-attributes v0.1.10 [INFO] [stderr] Compiling chalk-derive v0.61.0-dev.0 (/opt/rustwide/workdir/chalk-derive) [INFO] [stderr] Compiling salsa-macros v0.16.0 [INFO] [stderr] Compiling chalk-ir v0.61.0-dev.0 (/opt/rustwide/workdir/chalk-ir) [INFO] [stderr] Compiling tracing v0.1.19 [INFO] [stderr] Compiling salsa v0.16.0 [INFO] [stdout] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> chalk-ir/src/lib.rs:149:38 [INFO] [stdout] | [INFO] [stdout] 149 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_Environment` [INFO] [stdout] ... [INFO] [stdout] 152 | pub struct Environment { [INFO] [stdout] | ----------- `Environment` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:149:44 [INFO] [stdout] | [INFO] [stdout] 149 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_Environment` [INFO] [stdout] ... [INFO] [stdout] 152 | pub struct Environment { [INFO] [stdout] | ----------- `Environment` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:149:51 [INFO] [stdout] | [INFO] [stdout] 149 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Environment` [INFO] [stdout] ... [INFO] [stdout] 152 | pub struct Environment { [INFO] [stdout] | ----------- `Environment` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:199:45 [INFO] [stdout] | [INFO] [stdout] 199 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_InEnvironment` [INFO] [stdout] 200 | #[allow(missing_docs)] [INFO] [stdout] 201 | pub struct InEnvironment { [INFO] [stdout] | ------------- `InEnvironment` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:199:51 [INFO] [stdout] | [INFO] [stdout] 199 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_InEnvironment` [INFO] [stdout] 200 | #[allow(missing_docs)] [INFO] [stdout] 201 | pub struct InEnvironment { [INFO] [stdout] | ------------- `InEnvironment` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:409:61 [INFO] [stdout] | [INFO] [stdout] 409 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Ty` [INFO] [stdout] 410 | pub struct Ty { [INFO] [stdout] | -- `Ty` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:527:38 [INFO] [stdout] | [INFO] [stdout] 527 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_TyData` [INFO] [stdout] 528 | pub struct TyData { [INFO] [stdout] | ------ `TyData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:583:38 [INFO] [stdout] | [INFO] [stdout] 583 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_TyKind` [INFO] [stdout] 584 | pub enum TyKind { [INFO] [stdout] | ------ `TyKind` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1029:38 [INFO] [stdout] | [INFO] [stdout] 1029 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_DynTy` [INFO] [stdout] 1030 | pub struct DynTy { [INFO] [stdout] | ----- `DynTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1029:44 [INFO] [stdout] | [INFO] [stdout] 1029 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_DynTy` [INFO] [stdout] 1030 | pub struct DynTy { [INFO] [stdout] | ----- `DynTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1029:51 [INFO] [stdout] | [INFO] [stdout] 1029 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_DynTy` [INFO] [stdout] 1030 | pub struct DynTy { [INFO] [stdout] | ----- `DynTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1084:44 [INFO] [stdout] | [INFO] [stdout] 1084 | #[derive(Clone, Copy, PartialEq, Eq, Hash, HasInterner, Debug)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FnSig` [INFO] [stdout] 1085 | #[allow(missing_docs)] [INFO] [stdout] 1086 | pub struct FnSig { [INFO] [stdout] | ----- `FnSig` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1092:38 [INFO] [stdout] | [INFO] [stdout] 1092 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FnSubst` [INFO] [stdout] 1093 | pub struct FnSubst(pub Substitution); [INFO] [stdout] | ------- `FnSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1092:51 [INFO] [stdout] | [INFO] [stdout] 1092 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_FnSubst` [INFO] [stdout] 1093 | pub struct FnSubst(pub Substitution); [INFO] [stdout] | ------- `FnSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1092:57 [INFO] [stdout] | [INFO] [stdout] 1092 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_FnSubst` [INFO] [stdout] 1093 | pub struct FnSubst(pub Substitution); [INFO] [stdout] | ------- `FnSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1099:38 [INFO] [stdout] | [INFO] [stdout] 1099 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FnPointer` [INFO] [stdout] 1100 | #[allow(missing_docs)] [INFO] [stdout] 1101 | pub struct FnPointer { [INFO] [stdout] | --------- `FnPointer` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1134:61 [INFO] [stdout] | [INFO] [stdout] 1134 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Const` [INFO] [stdout] 1135 | pub struct Const { [INFO] [stdout] | ----- `Const` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1188:38 [INFO] [stdout] | [INFO] [stdout] 1188 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ConstData` [INFO] [stdout] 1189 | pub struct ConstData { [INFO] [stdout] | --------- `ConstData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1197:38 [INFO] [stdout] | [INFO] [stdout] 1197 | #[derive(Clone, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ConstValue` [INFO] [stdout] 1198 | pub enum ConstValue { [INFO] [stdout] | ---------- `ConstValue` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1220:61 [INFO] [stdout] | [INFO] [stdout] 1220 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ConcreteConst` [INFO] [stdout] 1221 | pub struct ConcreteConst { [INFO] [stdout] | ------------- `ConcreteConst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1234:61 [INFO] [stdout] | [INFO] [stdout] 1234 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Lifetime` [INFO] [stdout] 1235 | pub struct Lifetime { [INFO] [stdout] | -------- `Lifetime` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1312:61 [INFO] [stdout] | [INFO] [stdout] 1312 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_LifetimeData` [INFO] [stdout] 1313 | pub enum LifetimeData { [INFO] [stdout] | ------------ `LifetimeData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1428:61 [INFO] [stdout] | [INFO] [stdout] 1428 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GenericArg` [INFO] [stdout] 1429 | pub struct GenericArg { [INFO] [stdout] | ---------- `GenericArg` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1524:38 [INFO] [stdout] | [INFO] [stdout] 1524 | #[derive(Clone, PartialEq, Eq, Hash, Visit, Fold, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_GenericArgData` [INFO] [stdout] 1525 | pub enum GenericArgData { [INFO] [stdout] | -------------- `GenericArgData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1524:45 [INFO] [stdout] | [INFO] [stdout] 1524 | #[derive(Clone, PartialEq, Eq, Hash, Visit, Fold, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GenericArgData` [INFO] [stdout] 1525 | pub enum GenericArgData { [INFO] [stdout] | -------------- `GenericArgData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1524:51 [INFO] [stdout] | [INFO] [stdout] 1524 | #[derive(Clone, PartialEq, Eq, Hash, Visit, Fold, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_GenericArgData` [INFO] [stdout] 1525 | pub enum GenericArgData { [INFO] [stdout] | -------------- `GenericArgData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1609:38 [INFO] [stdout] | [INFO] [stdout] 1609 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AliasTy` [INFO] [stdout] 1610 | pub enum AliasTy { [INFO] [stdout] | ------- `AliasTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1609:44 [INFO] [stdout] | [INFO] [stdout] 1609 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AliasTy` [INFO] [stdout] 1610 | pub enum AliasTy { [INFO] [stdout] | ------- `AliasTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1609:51 [INFO] [stdout] | [INFO] [stdout] 1609 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AliasTy` [INFO] [stdout] 1610 | pub enum AliasTy { [INFO] [stdout] | ------- `AliasTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1609:64 [INFO] [stdout] | [INFO] [stdout] 1609 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_AliasTy` [INFO] [stdout] 1610 | pub enum AliasTy { [INFO] [stdout] | ------- `AliasTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1639:38 [INFO] [stdout] | [INFO] [stdout] 1639 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ProjectionTy` [INFO] [stdout] 1640 | pub struct ProjectionTy { [INFO] [stdout] | ------------ `ProjectionTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1639:44 [INFO] [stdout] | [INFO] [stdout] 1639 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ProjectionTy` [INFO] [stdout] 1640 | pub struct ProjectionTy { [INFO] [stdout] | ------------ `ProjectionTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1639:51 [INFO] [stdout] | [INFO] [stdout] 1639 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ProjectionTy` [INFO] [stdout] 1640 | pub struct ProjectionTy { [INFO] [stdout] | ------------ `ProjectionTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1661:38 [INFO] [stdout] | [INFO] [stdout] 1661 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_OpaqueTy` [INFO] [stdout] 1662 | pub struct OpaqueTy { [INFO] [stdout] | -------- `OpaqueTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1661:44 [INFO] [stdout] | [INFO] [stdout] 1661 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_OpaqueTy` [INFO] [stdout] 1662 | pub struct OpaqueTy { [INFO] [stdout] | -------- `OpaqueTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1661:51 [INFO] [stdout] | [INFO] [stdout] 1661 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_OpaqueTy` [INFO] [stdout] 1662 | pub struct OpaqueTy { [INFO] [stdout] | -------- `OpaqueTy` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1677:38 [INFO] [stdout] | [INFO] [stdout] 1677 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_TraitRef` [INFO] [stdout] 1678 | pub struct TraitRef { [INFO] [stdout] | -------- `TraitRef` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1677:44 [INFO] [stdout] | [INFO] [stdout] 1677 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_TraitRef` [INFO] [stdout] 1678 | pub struct TraitRef { [INFO] [stdout] | -------- `TraitRef` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1677:51 [INFO] [stdout] | [INFO] [stdout] 1677 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_TraitRef` [INFO] [stdout] 1678 | pub struct TraitRef { [INFO] [stdout] | -------- `TraitRef` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1714:38 [INFO] [stdout] | [INFO] [stdout] 1714 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_LifetimeOutlives` [INFO] [stdout] 1715 | #[allow(missing_docs)] [INFO] [stdout] 1716 | pub struct LifetimeOutlives { [INFO] [stdout] | ---------------- `LifetimeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1714:44 [INFO] [stdout] | [INFO] [stdout] 1714 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_LifetimeOutlives` [INFO] [stdout] 1715 | #[allow(missing_docs)] [INFO] [stdout] 1716 | pub struct LifetimeOutlives { [INFO] [stdout] | ---------------- `LifetimeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1714:51 [INFO] [stdout] | [INFO] [stdout] 1714 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_LifetimeOutlives` [INFO] [stdout] 1715 | #[allow(missing_docs)] [INFO] [stdout] 1716 | pub struct LifetimeOutlives { [INFO] [stdout] | ---------------- `LifetimeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1714:64 [INFO] [stdout] | [INFO] [stdout] 1714 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_LifetimeOutlives` [INFO] [stdout] 1715 | #[allow(missing_docs)] [INFO] [stdout] 1716 | pub struct LifetimeOutlives { [INFO] [stdout] | ---------------- `LifetimeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1725:38 [INFO] [stdout] | [INFO] [stdout] 1725 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_TypeOutlives` [INFO] [stdout] 1726 | pub struct TypeOutlives { [INFO] [stdout] | ------------ `TypeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1725:44 [INFO] [stdout] | [INFO] [stdout] 1725 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_TypeOutlives` [INFO] [stdout] 1726 | pub struct TypeOutlives { [INFO] [stdout] | ------------ `TypeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1725:51 [INFO] [stdout] | [INFO] [stdout] 1725 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_TypeOutlives` [INFO] [stdout] 1726 | pub struct TypeOutlives { [INFO] [stdout] | ------------ `TypeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1725:64 [INFO] [stdout] | [INFO] [stdout] 1725 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_TypeOutlives` [INFO] [stdout] 1726 | pub struct TypeOutlives { [INFO] [stdout] | ------------ `TypeOutlives` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1741:38 [INFO] [stdout] | [INFO] [stdout] 1741 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_WhereClause` [INFO] [stdout] 1742 | pub enum WhereClause { [INFO] [stdout] | ----------- `WhereClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1741:44 [INFO] [stdout] | [INFO] [stdout] 1741 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `SuperVisit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_SuperVisit_I_FOR_WhereClause` [INFO] [stdout] 1742 | pub enum WhereClause { [INFO] [stdout] | ----------- `WhereClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `SuperVisit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `SuperVisit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `SuperVisit` (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] --> chalk-ir/src/lib.rs:1741:56 [INFO] [stdout] | [INFO] [stdout] 1741 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_WhereClause` [INFO] [stdout] 1742 | pub enum WhereClause { [INFO] [stdout] | ----------- `WhereClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1741:69 [INFO] [stdout] | [INFO] [stdout] 1741 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_WhereClause` [INFO] [stdout] 1742 | pub enum WhereClause { [INFO] [stdout] | ----------- `WhereClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1762:38 [INFO] [stdout] | [INFO] [stdout] 1762 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_WellFormed` [INFO] [stdout] 1763 | pub enum WellFormed { [INFO] [stdout] | ---------- `WellFormed` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1762:44 [INFO] [stdout] | [INFO] [stdout] 1762 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_WellFormed` [INFO] [stdout] 1763 | pub enum WellFormed { [INFO] [stdout] | ---------- `WellFormed` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1762:51 [INFO] [stdout] | [INFO] [stdout] 1762 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_WellFormed` [INFO] [stdout] 1763 | pub enum WellFormed { [INFO] [stdout] | ---------- `WellFormed` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1762:64 [INFO] [stdout] | [INFO] [stdout] 1762 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_WellFormed` [INFO] [stdout] 1763 | pub enum WellFormed { [INFO] [stdout] | ---------- `WellFormed` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1800:38 [INFO] [stdout] | [INFO] [stdout] 1800 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_FromEnv` [INFO] [stdout] 1801 | pub enum FromEnv { [INFO] [stdout] | ------- `FromEnv` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1800:44 [INFO] [stdout] | [INFO] [stdout] 1800 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_FromEnv` [INFO] [stdout] 1801 | pub enum FromEnv { [INFO] [stdout] | ------- `FromEnv` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1800:51 [INFO] [stdout] | [INFO] [stdout] 1800 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FromEnv` [INFO] [stdout] 1801 | pub enum FromEnv { [INFO] [stdout] | ------- `FromEnv` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1800:64 [INFO] [stdout] | [INFO] [stdout] 1800 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_FromEnv` [INFO] [stdout] 1801 | pub enum FromEnv { [INFO] [stdout] | ------- `FromEnv` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1839:38 [INFO] [stdout] | [INFO] [stdout] 1839 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_DomainGoal` [INFO] [stdout] 1840 | pub enum DomainGoal { [INFO] [stdout] | ---------- `DomainGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1839:44 [INFO] [stdout] | [INFO] [stdout] 1839 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^--------- [INFO] [stdout] | | [INFO] [stdout] | `SuperVisit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_SuperVisit_I_FOR_DomainGoal` [INFO] [stdout] 1840 | pub enum DomainGoal { [INFO] [stdout] | ---------- `DomainGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `SuperVisit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `SuperVisit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `SuperVisit` (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] --> chalk-ir/src/lib.rs:1839:56 [INFO] [stdout] | [INFO] [stdout] 1839 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_DomainGoal` [INFO] [stdout] 1840 | pub enum DomainGoal { [INFO] [stdout] | ---------- `DomainGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:1839:69 [INFO] [stdout] | [INFO] [stdout] 1839 | #[derive(Clone, PartialEq, Eq, Hash, Fold, SuperVisit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_DomainGoal` [INFO] [stdout] 1840 | pub enum DomainGoal { [INFO] [stdout] | ---------- `DomainGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:1998:38 [INFO] [stdout] | [INFO] [stdout] 1998 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_EqGoal` [INFO] [stdout] 1999 | #[allow(missing_docs)] [INFO] [stdout] 2000 | pub struct EqGoal { [INFO] [stdout] | ------ `EqGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:1998:44 [INFO] [stdout] | [INFO] [stdout] 1998 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_EqGoal` [INFO] [stdout] 1999 | #[allow(missing_docs)] [INFO] [stdout] 2000 | pub struct EqGoal { [INFO] [stdout] | ------ `EqGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:1998:51 [INFO] [stdout] | [INFO] [stdout] 1998 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_EqGoal` [INFO] [stdout] 1999 | #[allow(missing_docs)] [INFO] [stdout] 2000 | pub struct EqGoal { [INFO] [stdout] | ------ `EqGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2008:38 [INFO] [stdout] | [INFO] [stdout] 2008 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_SubtypeGoal` [INFO] [stdout] 2009 | #[allow(missing_docs)] [INFO] [stdout] 2010 | pub struct SubtypeGoal { [INFO] [stdout] | ----------- `SubtypeGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2008:44 [INFO] [stdout] | [INFO] [stdout] 2008 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_SubtypeGoal` [INFO] [stdout] 2009 | #[allow(missing_docs)] [INFO] [stdout] 2010 | pub struct SubtypeGoal { [INFO] [stdout] | ----------- `SubtypeGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2008:51 [INFO] [stdout] | [INFO] [stdout] 2008 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_SubtypeGoal` [INFO] [stdout] 2009 | #[allow(missing_docs)] [INFO] [stdout] 2010 | pub struct SubtypeGoal { [INFO] [stdout] | ----------- `SubtypeGoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2021:38 [INFO] [stdout] | [INFO] [stdout] 2021 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_Normalize` [INFO] [stdout] 2022 | #[allow(missing_docs)] [INFO] [stdout] 2023 | pub struct Normalize { [INFO] [stdout] | --------- `Normalize` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2021:44 [INFO] [stdout] | [INFO] [stdout] 2021 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_Normalize` [INFO] [stdout] 2022 | #[allow(missing_docs)] [INFO] [stdout] 2023 | pub struct Normalize { [INFO] [stdout] | --------- `Normalize` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2021:51 [INFO] [stdout] | [INFO] [stdout] 2021 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_Normalize` [INFO] [stdout] 2022 | #[allow(missing_docs)] [INFO] [stdout] 2023 | pub struct Normalize { [INFO] [stdout] | --------- `Normalize` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2036:38 [INFO] [stdout] | [INFO] [stdout] 2036 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AliasEq` [INFO] [stdout] 2037 | #[allow(missing_docs)] [INFO] [stdout] 2038 | pub struct AliasEq { [INFO] [stdout] | ------- `AliasEq` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2036:44 [INFO] [stdout] | [INFO] [stdout] 2036 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AliasEq` [INFO] [stdout] 2037 | #[allow(missing_docs)] [INFO] [stdout] 2038 | pub struct AliasEq { [INFO] [stdout] | ------- `AliasEq` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2036:51 [INFO] [stdout] | [INFO] [stdout] 2036 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_AliasEq` [INFO] [stdout] 2037 | #[allow(missing_docs)] [INFO] [stdout] 2038 | pub struct AliasEq { [INFO] [stdout] | ------- `AliasEq` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2299:38 [INFO] [stdout] | [INFO] [stdout] 2299 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ProgramClauseImplication` [INFO] [stdout] 2300 | pub struct ProgramClauseImplication { [INFO] [stdout] | ------------------------ `ProgramClauseImplication` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2299:44 [INFO] [stdout] | [INFO] [stdout] 2299 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ProgramClauseImplication` [INFO] [stdout] 2300 | pub struct ProgramClauseImplication { [INFO] [stdout] | ------------------------ `ProgramClauseImplication` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2299:51 [INFO] [stdout] | [INFO] [stdout] 2299 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ProgramClauseImplication` [INFO] [stdout] 2300 | pub struct ProgramClauseImplication { [INFO] [stdout] | ------------------------ `ProgramClauseImplication` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2299:64 [INFO] [stdout] | [INFO] [stdout] 2299 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_ProgramClauseImplication` [INFO] [stdout] 2300 | pub struct ProgramClauseImplication { [INFO] [stdout] | ------------------------ `ProgramClauseImplication` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2335:38 [INFO] [stdout] | [INFO] [stdout] 2335 | #[derive(Clone, PartialEq, Eq, Hash, Fold, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ProgramClauseData` [INFO] [stdout] 2336 | pub struct ProgramClauseData(pub Binders>); [INFO] [stdout] | ----------------- `ProgramClauseData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2335:44 [INFO] [stdout] | [INFO] [stdout] 2335 | #[derive(Clone, PartialEq, Eq, Hash, Fold, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ProgramClauseData` [INFO] [stdout] 2336 | pub struct ProgramClauseData(pub Binders>); [INFO] [stdout] | ----------------- `ProgramClauseData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2335:57 [INFO] [stdout] | [INFO] [stdout] 2335 | #[derive(Clone, PartialEq, Eq, Hash, Fold, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_ProgramClauseData` [INFO] [stdout] 2336 | pub struct ProgramClauseData(pub Binders>); [INFO] [stdout] | ----------------- `ProgramClauseData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2369:61 [INFO] [stdout] | [INFO] [stdout] 2369 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ProgramClause` [INFO] [stdout] 2370 | pub struct ProgramClause { [INFO] [stdout] | ------------- `ProgramClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2482:61 [INFO] [stdout] | [INFO] [stdout] 2482 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Goal` [INFO] [stdout] 2483 | /// A general goal; this is the full range of questions you can pose to Chalk. [INFO] [stdout] 2484 | pub struct Goal { [INFO] [stdout] | ---- `Goal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2584:38 [INFO] [stdout] | [INFO] [stdout] 2584 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GoalData` [INFO] [stdout] 2585 | /// A general goal; this is the full range of questions you can pose to Chalk. [INFO] [stdout] 2586 | pub enum GoalData { [INFO] [stdout] | -------- `GoalData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2584:44 [INFO] [stdout] | [INFO] [stdout] 2584 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_GoalData` [INFO] [stdout] 2585 | /// A general goal; this is the full range of questions you can pose to Chalk. [INFO] [stdout] 2586 | pub enum GoalData { [INFO] [stdout] | -------- `GoalData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2584:51 [INFO] [stdout] | [INFO] [stdout] 2584 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GoalData` [INFO] [stdout] 2585 | /// A general goal; this is the full range of questions you can pose to Chalk. [INFO] [stdout] 2586 | pub enum GoalData { [INFO] [stdout] | -------- `GoalData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2584:64 [INFO] [stdout] | [INFO] [stdout] 2584 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_GoalData` [INFO] [stdout] 2585 | /// A general goal; this is the full range of questions you can pose to Chalk. [INFO] [stdout] 2586 | pub enum GoalData { [INFO] [stdout] | -------- `GoalData` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2667:38 [INFO] [stdout] | [INFO] [stdout] 2667 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_Constraint` [INFO] [stdout] 2668 | pub enum Constraint { [INFO] [stdout] | ---------- `Constraint` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:2667:44 [INFO] [stdout] | [INFO] [stdout] 2667 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_Constraint` [INFO] [stdout] 2668 | pub enum Constraint { [INFO] [stdout] | ---------- `Constraint` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:2667:51 [INFO] [stdout] | [INFO] [stdout] 2667 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Constraint` [INFO] [stdout] 2668 | pub enum Constraint { [INFO] [stdout] | ---------- `Constraint` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:2667:64 [INFO] [stdout] | [INFO] [stdout] 2667 | #[derive(Clone, PartialEq, Eq, Hash, Fold, Visit, HasInterner, Zip)] [INFO] [stdout] | ^-- [INFO] [stdout] | | [INFO] [stdout] | `Zip` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_zip_Zip_I_FOR_Constraint` [INFO] [stdout] 2668 | pub enum Constraint { [INFO] [stdout] | ---------- `Constraint` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Zip` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Zip` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Zip` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_QuantifiedWhereClauses` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `QuantifiedWhereClauses` is not local [INFO] [stdout] ... [INFO] [stdout] 2971 | / interned_slice!( [INFO] [stdout] 2972 | | QuantifiedWhereClauses, [INFO] [stdout] 2973 | | quantified_where_clauses_data => QuantifiedWhereClause, [INFO] [stdout] 2974 | | intern_quantified_where_clauses => InternedQuantifiedWhereClauses [INFO] [stdout] 2975 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ProgramClauses` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `ProgramClauses` is not local [INFO] [stdout] ... [INFO] [stdout] 2977 | / interned_slice!( [INFO] [stdout] 2978 | | ProgramClauses, [INFO] [stdout] 2979 | | program_clauses_data => ProgramClause, [INFO] [stdout] 2980 | | intern_program_clauses => InternedProgramClauses [INFO] [stdout] 2981 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_VariableKinds` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `VariableKinds` is not local [INFO] [stdout] ... [INFO] [stdout] 2983 | / interned_slice!( [INFO] [stdout] 2984 | | VariableKinds, [INFO] [stdout] 2985 | | variable_kinds_data => VariableKind, [INFO] [stdout] 2986 | | intern_generic_arg_kinds => InternedVariableKinds [INFO] [stdout] 2987 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_CanonicalVarKinds` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `CanonicalVarKinds` is not local [INFO] [stdout] ... [INFO] [stdout] 2989 | / interned_slice!( [INFO] [stdout] 2990 | | CanonicalVarKinds, [INFO] [stdout] 2991 | | canonical_var_kinds_data => CanonicalVarKind, [INFO] [stdout] 2992 | | intern_canonical_var_kinds => InternedCanonicalVarKinds [INFO] [stdout] 2993 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Goals` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `Goals` is not local [INFO] [stdout] ... [INFO] [stdout] 2995 | interned_slice!(Goals, goals_data => Goal, intern_goals => InternedGoals); [INFO] [stdout] | ---------------------------------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Constraints` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `Constraints` is not local [INFO] [stdout] ... [INFO] [stdout] 2997 | / interned_slice!( [INFO] [stdout] 2998 | | Constraints, [INFO] [stdout] 2999 | | constraints_data => InEnvironment>, [INFO] [stdout] 3000 | | intern_constraints => InternedConstraints [INFO] [stdout] 3001 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Substitution` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | - `Substitution` is not local [INFO] [stdout] ... [INFO] [stdout] 3003 | / interned_slice!( [INFO] [stdout] 3004 | | Substitution, [INFO] [stdout] 3005 | | substitution_data => GenericArg, [INFO] [stdout] 3006 | | intern_substitution => InternedSubstitution [INFO] [stdout] 3007 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice` (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] --> chalk-ir/src/lib.rs:2890:69 [INFO] [stdout] | [INFO] [stdout] 2890 | #[derive(Copy, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Variances` [INFO] [stdout] 2891 | pub struct $seq { [INFO] [stdout] | ---- `Variances` is not local [INFO] [stdout] ... [INFO] [stdout] 3009 | / interned_slice_common!( [INFO] [stdout] 3010 | | Variances, [INFO] [stdout] 3011 | | variances_data => Variance, [INFO] [stdout] 3012 | | intern_variance => InternedVariances [INFO] [stdout] 3013 | | ); [INFO] [stdout] | |_- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` which comes from the expansion of the macro `interned_slice_common` (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] --> chalk-ir/src/lib.rs:3048:45 [INFO] [stdout] | [INFO] [stdout] 3048 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ConstrainedSubst` [INFO] [stdout] 3049 | pub struct ConstrainedSubst { [INFO] [stdout] | ---------------- `ConstrainedSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:3048:51 [INFO] [stdout] | [INFO] [stdout] 3048 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ConstrainedSubst` [INFO] [stdout] 3049 | pub struct ConstrainedSubst { [INFO] [stdout] | ---------------- `ConstrainedSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:3048:58 [INFO] [stdout] | [INFO] [stdout] 3048 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ConstrainedSubst` [INFO] [stdout] 3049 | pub struct ConstrainedSubst { [INFO] [stdout] | ---------------- `ConstrainedSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-ir/src/lib.rs:3060:45 [INFO] [stdout] | [INFO] [stdout] 3060 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AnswerSubst` [INFO] [stdout] 3061 | pub struct AnswerSubst { [INFO] [stdout] | ----------- `AnswerSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-ir/src/lib.rs:3060:51 [INFO] [stdout] | [INFO] [stdout] 3060 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AnswerSubst` [INFO] [stdout] 3061 | pub struct AnswerSubst { [INFO] [stdout] | ----------- `AnswerSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-ir/src/lib.rs:3060:58 [INFO] [stdout] | [INFO] [stdout] 3060 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AnswerSubst` [INFO] [stdout] 3061 | pub struct AnswerSubst { [INFO] [stdout] | ----------- `AnswerSubst` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling docopt v1.1.0 [INFO] [stderr] Compiling string_cache v0.8.0 [INFO] [stderr] Compiling tracing-serde v0.1.1 [INFO] [stderr] Compiling lalrpop v0.19.0 [INFO] [stderr] Compiling tracing-subscriber v0.2.11 [INFO] [stderr] Compiling tracing-tree v0.1.5 [INFO] [stderr] Compiling chalk-solve v0.61.0-dev.0 (/opt/rustwide/workdir/chalk-solve) [INFO] [stdout] warning: field `max_universe` is never read [INFO] [stdout] --> chalk-solve/src/infer/canonicalize.rs:67:5 [INFO] [stdout] | [INFO] [stdout] 58 | pub struct Canonicalized { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 67 | max_universe: UniverseIndex, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Canonicalized` 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: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stdout] --> chalk-solve/src/rust_ir.rs:25:45 [INFO] [stdout] | [INFO] [stdout] 25 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ImplDatum` [INFO] [stdout] 26 | pub struct ImplDatum { [INFO] [stdout] | --------- `ImplDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:56:45 [INFO] [stdout] | [INFO] [stdout] 56 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ImplDatumBound` [INFO] [stdout] 57 | pub struct ImplDatumBound { [INFO] [stdout] | -------------- `ImplDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:56:58 [INFO] [stdout] | [INFO] [stdout] 56 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ImplDatumBound` [INFO] [stdout] 57 | pub struct ImplDatumBound { [INFO] [stdout] | -------------- `ImplDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:56:64 [INFO] [stdout] | [INFO] [stdout] 56 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ImplDatumBound` [INFO] [stdout] 57 | pub struct ImplDatumBound { [INFO] [stdout] | -------------- `ImplDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:75:45 [INFO] [stdout] | [INFO] [stdout] 75 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_DefaultImplDatumBound` [INFO] [stdout] 76 | pub struct DefaultImplDatumBound { [INFO] [stdout] | --------------------- `DefaultImplDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:81:45 [INFO] [stdout] | [INFO] [stdout] 81 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AdtDatum` [INFO] [stdout] 82 | pub struct AdtDatum { [INFO] [stdout] | -------- `AdtDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:98:45 [INFO] [stdout] | [INFO] [stdout] 98 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AdtDatumBound` [INFO] [stdout] 99 | pub struct AdtDatumBound { [INFO] [stdout] | ------------- `AdtDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:98:51 [INFO] [stdout] | [INFO] [stdout] 98 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AdtDatumBound` [INFO] [stdout] 99 | pub struct AdtDatumBound { [INFO] [stdout] | ------------- `AdtDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:98:64 [INFO] [stdout] | [INFO] [stdout] 98 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AdtDatumBound` [INFO] [stdout] 99 | pub struct AdtDatumBound { [INFO] [stdout] | ------------- `AdtDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:104:45 [INFO] [stdout] | [INFO] [stdout] 104 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AdtVariantDatum` [INFO] [stdout] 105 | pub struct AdtVariantDatum { [INFO] [stdout] | --------------- `AdtVariantDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:104:51 [INFO] [stdout] | [INFO] [stdout] 104 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AdtVariantDatum` [INFO] [stdout] 105 | pub struct AdtVariantDatum { [INFO] [stdout] | --------------- `AdtVariantDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:104:64 [INFO] [stdout] | [INFO] [stdout] 104 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AdtVariantDatum` [INFO] [stdout] 105 | pub struct AdtVariantDatum { [INFO] [stdout] | --------------- `AdtVariantDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:161:45 [INFO] [stdout] | [INFO] [stdout] 161 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_FnDefInputsAndOutputDatum` [INFO] [stdout] 162 | pub struct FnDefInputsAndOutputDatum { [INFO] [stdout] | ------------------------- `FnDefInputsAndOutputDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:161:51 [INFO] [stdout] | [INFO] [stdout] 161 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FnDefInputsAndOutputDatum` [INFO] [stdout] 162 | pub struct FnDefInputsAndOutputDatum { [INFO] [stdout] | ------------------------- `FnDefInputsAndOutputDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:161:64 [INFO] [stdout] | [INFO] [stdout] 161 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_FnDefInputsAndOutputDatum` [INFO] [stdout] 162 | pub struct FnDefInputsAndOutputDatum { [INFO] [stdout] | ------------------------- `FnDefInputsAndOutputDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:178:45 [INFO] [stdout] | [INFO] [stdout] 178 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_FnDefDatumBound` [INFO] [stdout] ... [INFO] [stdout] 181 | pub struct FnDefDatumBound { [INFO] [stdout] | --------------- `FnDefDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:178:51 [INFO] [stdout] | [INFO] [stdout] 178 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_FnDefDatumBound` [INFO] [stdout] ... [INFO] [stdout] 181 | pub struct FnDefDatumBound { [INFO] [stdout] | --------------- `FnDefDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:178:64 [INFO] [stdout] | [INFO] [stdout] 178 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_FnDefDatumBound` [INFO] [stdout] ... [INFO] [stdout] 181 | pub struct FnDefDatumBound { [INFO] [stdout] | --------------- `FnDefDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:229:10 [INFO] [stdout] | [INFO] [stdout] 229 | #[derive(Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_TraitDatum` [INFO] [stdout] 230 | pub struct TraitDatum { [INFO] [stdout] | ---------- `TraitDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:293:45 [INFO] [stdout] | [INFO] [stdout] 293 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_TraitDatumBound` [INFO] [stdout] 294 | pub struct TraitDatumBound { [INFO] [stdout] | --------------- `TraitDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:293:58 [INFO] [stdout] | [INFO] [stdout] 293 | #[derive(Clone, Debug, PartialEq, Eq, Hash, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_TraitDatumBound` [INFO] [stdout] 294 | pub struct TraitDatumBound { [INFO] [stdout] | --------------- `TraitDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:340:45 [INFO] [stdout] | [INFO] [stdout] 340 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_InlineBound` [INFO] [stdout] 341 | pub enum InlineBound { [INFO] [stdout] | ----------- `InlineBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:340:51 [INFO] [stdout] | [INFO] [stdout] 340 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_InlineBound` [INFO] [stdout] 341 | pub enum InlineBound { [INFO] [stdout] | ----------- `InlineBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:340:58 [INFO] [stdout] | [INFO] [stdout] 340 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_InlineBound` [INFO] [stdout] 341 | pub enum InlineBound { [INFO] [stdout] | ----------- `InlineBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:384:45 [INFO] [stdout] | [INFO] [stdout] 384 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_TraitBound` [INFO] [stdout] 385 | pub struct TraitBound { [INFO] [stdout] | ---------- `TraitBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:384:51 [INFO] [stdout] | [INFO] [stdout] 384 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_TraitBound` [INFO] [stdout] 385 | pub struct TraitBound { [INFO] [stdout] | ---------- `TraitBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:409:45 [INFO] [stdout] | [INFO] [stdout] 409 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AliasEqBound` [INFO] [stdout] 410 | pub struct AliasEqBound { [INFO] [stdout] | ------------ `AliasEqBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:409:51 [INFO] [stdout] | [INFO] [stdout] 409 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AliasEqBound` [INFO] [stdout] 410 | pub struct AliasEqBound { [INFO] [stdout] | ------------ `AliasEqBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:510:45 [INFO] [stdout] | [INFO] [stdout] 510 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AssociatedTyDatumBound` [INFO] [stdout] 511 | pub struct AssociatedTyDatumBound { [INFO] [stdout] | ---------------------- `AssociatedTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:510:51 [INFO] [stdout] | [INFO] [stdout] 510 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AssociatedTyDatumBound` [INFO] [stdout] 511 | pub struct AssociatedTyDatumBound { [INFO] [stdout] | ---------------------- `AssociatedTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:510:58 [INFO] [stdout] | [INFO] [stdout] 510 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AssociatedTyDatumBound` [INFO] [stdout] 511 | pub struct AssociatedTyDatumBound { [INFO] [stdout] | ---------------------- `AssociatedTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:572:45 [INFO] [stdout] | [INFO] [stdout] 572 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AssociatedTyValue` [INFO] [stdout] 573 | pub struct AssociatedTyValue { [INFO] [stdout] | ----------------- `AssociatedTyValue` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:572:51 [INFO] [stdout] | [INFO] [stdout] 572 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AssociatedTyValue` [INFO] [stdout] 573 | pub struct AssociatedTyValue { [INFO] [stdout] | ----------------- `AssociatedTyValue` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:611:45 [INFO] [stdout] | [INFO] [stdout] 611 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_AssociatedTyValueBound` [INFO] [stdout] 612 | pub struct AssociatedTyValueBound { [INFO] [stdout] | ---------------------- `AssociatedTyValueBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:611:51 [INFO] [stdout] | [INFO] [stdout] 611 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_AssociatedTyValueBound` [INFO] [stdout] 612 | pub struct AssociatedTyValueBound { [INFO] [stdout] | ---------------------- `AssociatedTyValueBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:611:58 [INFO] [stdout] | [INFO] [stdout] 611 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_AssociatedTyValueBound` [INFO] [stdout] 612 | pub struct AssociatedTyValueBound { [INFO] [stdout] | ---------------------- `AssociatedTyValueBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:622:45 [INFO] [stdout] | [INFO] [stdout] 622 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_OpaqueTyDatum` [INFO] [stdout] 623 | pub struct OpaqueTyDatum { [INFO] [stdout] | ------------- `OpaqueTyDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:622:51 [INFO] [stdout] | [INFO] [stdout] 622 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_OpaqueTyDatum` [INFO] [stdout] 623 | pub struct OpaqueTyDatum { [INFO] [stdout] | ------------- `OpaqueTyDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:631:45 [INFO] [stdout] | [INFO] [stdout] 631 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_OpaqueTyDatumBound` [INFO] [stdout] 632 | pub struct OpaqueTyDatumBound { [INFO] [stdout] | ------------------ `OpaqueTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:631:51 [INFO] [stdout] | [INFO] [stdout] 631 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_OpaqueTyDatumBound` [INFO] [stdout] 632 | pub struct OpaqueTyDatumBound { [INFO] [stdout] | ------------------ `OpaqueTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:631:64 [INFO] [stdout] | [INFO] [stdout] 631 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_OpaqueTyDatumBound` [INFO] [stdout] 632 | pub struct OpaqueTyDatumBound { [INFO] [stdout] | ------------------ `OpaqueTyDatumBound` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-solve/src/rust_ir.rs:651:45 [INFO] [stdout] | [INFO] [stdout] 651 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GeneratorDatum` [INFO] [stdout] 652 | pub struct GeneratorDatum { [INFO] [stdout] | -------------- `GeneratorDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:651:51 [INFO] [stdout] | [INFO] [stdout] 651 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GeneratorDatum` [INFO] [stdout] 652 | pub struct GeneratorDatum { [INFO] [stdout] | -------------- `GeneratorDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:662:45 [INFO] [stdout] | [INFO] [stdout] 662 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GeneratorInputOutputDatum` [INFO] [stdout] 663 | pub struct GeneratorInputOutputDatum { [INFO] [stdout] | ------------------------- `GeneratorInputOutputDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:662:51 [INFO] [stdout] | [INFO] [stdout] 662 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GeneratorInputOutputDatum` [INFO] [stdout] 663 | pub struct GeneratorInputOutputDatum { [INFO] [stdout] | ------------------------- `GeneratorInputOutputDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:690:45 [INFO] [stdout] | [INFO] [stdout] 690 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GeneratorWitnessDatum` [INFO] [stdout] 691 | pub struct GeneratorWitnessDatum { [INFO] [stdout] | --------------------- `GeneratorWitnessDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:690:51 [INFO] [stdout] | [INFO] [stdout] 690 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GeneratorWitnessDatum` [INFO] [stdout] 691 | pub struct GeneratorWitnessDatum { [INFO] [stdout] | --------------------- `GeneratorWitnessDatum` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/rust_ir.rs:709:45 [INFO] [stdout] | [INFO] [stdout] 709 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_GeneratorWitnessExistential` [INFO] [stdout] 710 | pub struct GeneratorWitnessExistential { [INFO] [stdout] | --------------------------- `GeneratorWitnessExistential` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-solve/src/rust_ir.rs:709:51 [INFO] [stdout] | [INFO] [stdout] 709 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_GeneratorWitnessExistential` [INFO] [stdout] 710 | pub struct GeneratorWitnessExistential { [INFO] [stdout] | --------------------------- `GeneratorWitnessExistential` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-solve/src/solve.rs:11:39 [INFO] [stdout] | [INFO] [stdout] 11 | #[derive(Clone, Debug, PartialEq, Eq, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Solution` [INFO] [stdout] 12 | pub enum Solution { [INFO] [stdout] | -------- `Solution` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling chalk-recursive v0.61.0-dev.0 (/opt/rustwide/workdir/chalk-recursive) [INFO] [stderr] Compiling chalk-engine v0.61.0-dev.0 (/opt/rustwide/workdir/chalk-engine) [INFO] [stdout] warning: trait `MergeWith` is never used [INFO] [stdout] --> chalk-recursive/src/recursive.rs:66:7 [INFO] [stdout] | [INFO] [stdout] 66 | trait MergeWith { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> chalk-engine/src/logic.rs:1315:9 [INFO] [stdout] | [INFO] [stdout] 1315 | mut canonical_strand: &mut CanonicalStrand, [INFO] [stdout] | ----^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [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] --> chalk-engine/src/lib.rs:87:45 [INFO] [stdout] | [INFO] [stdout] 87 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_ExClause` [INFO] [stdout] 88 | pub struct ExClause { [INFO] [stdout] | -------- `ExClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-engine/src/lib.rs:87:51 [INFO] [stdout] | [INFO] [stdout] 87 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_ExClause` [INFO] [stdout] 88 | pub struct ExClause { [INFO] [stdout] | -------- `ExClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-engine/src/lib.rs:87:58 [INFO] [stdout] | [INFO] [stdout] 87 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_ExClause` [INFO] [stdout] 88 | pub struct ExClause { [INFO] [stdout] | -------- `ExClause` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (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] --> chalk-engine/src/lib.rs:171:45 [INFO] [stdout] | [INFO] [stdout] 171 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_FlounderedSubgoal` [INFO] [stdout] 172 | pub struct FlounderedSubgoal { [INFO] [stdout] | ----------------- `FlounderedSubgoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-engine/src/lib.rs:171:51 [INFO] [stdout] | [INFO] [stdout] 171 | #[derive(Clone, Debug, PartialEq, Eq, Hash, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_FlounderedSubgoal` [INFO] [stdout] 172 | pub struct FlounderedSubgoal { [INFO] [stdout] | ----------------- `FlounderedSubgoal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-engine/src/lib.rs:212:24 [INFO] [stdout] | [INFO] [stdout] 212 | #[derive(Clone, Debug, Fold, Visit)] [INFO] [stdout] | ^--- [INFO] [stdout] | | [INFO] [stdout] | `Fold` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_fold_Fold_I_FOR_Literal` [INFO] [stdout] 213 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Fold` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Fold` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Fold` (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] --> chalk-engine/src/lib.rs:212:30 [INFO] [stdout] | [INFO] [stdout] 212 | #[derive(Clone, Debug, Fold, Visit)] [INFO] [stdout] | ^---- [INFO] [stdout] | | [INFO] [stdout] | `Visit` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_visit_Visit_I_FOR_Literal` [INFO] [stdout] 213 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `Visit` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `Visit` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `Visit` (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] --> chalk-engine/src/slg.rs:15:24 [INFO] [stdout] | [INFO] [stdout] 15 | #[derive(Clone, Debug, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_SlgContext` [INFO] [stdout] 16 | pub(crate) struct SlgContext { [INFO] [stdout] | ---------- `SlgContext` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> chalk-engine/src/stack.rs:20:35 [INFO] [stdout] | [INFO] [stdout] 20 | pub(crate) fn debug_with<'a>(&'a self, tables: &'a Tables) -> StackDebug<'_, I> { [INFO] [stdout] | ^^ ^^ -- the lifetime gets resolved as `'a` [INFO] [stdout] | | | [INFO] [stdout] | | these lifetimes flow to the output [INFO] [stdout] | these lifetimes flow to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to consistently use `'a` [INFO] [stdout] | [INFO] [stdout] 20 - pub(crate) fn debug_with<'a>(&'a self, tables: &'a Tables) -> StackDebug<'_, I> { [INFO] [stdout] 20 + pub(crate) fn debug_with<'a>(&'a self, tables: &'a Tables) -> StackDebug<'a, I> { [INFO] [stdout] | [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] --> chalk-engine/src/strand.rs:10:24 [INFO] [stdout] | [INFO] [stdout] 10 | #[derive(Clone, Debug, HasInterner)] [INFO] [stdout] | ^---------- [INFO] [stdout] | | [INFO] [stdout] | `HasInterner` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_chalk_ir_interner_HasInterner_FOR_Strand` [INFO] [stdout] 11 | pub(crate) struct Strand { [INFO] [stdout] | ------ `Strand` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `HasInterner` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `HasInterner` may come from an old version of the `chalk_derive` crate, try updating your dependency with `cargo update -p chalk_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 `HasInterner` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: failed to write /tmp/rustcolijYm/lib.rmeta: No space left on device (os error 28) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `lalrpop` (lib) due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "b812bd6c379251b43c55b662afdcd89e1e826008a9a2d019f1a9e8cf8bc3a8aa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b812bd6c379251b43c55b662afdcd89e1e826008a9a2d019f1a9e8cf8bc3a8aa", kill_on_drop: false }` [INFO] [stdout] b812bd6c379251b43c55b662afdcd89e1e826008a9a2d019f1a9e8cf8bc3a8aa