[INFO] fetching crate moniker 0.5.0... [INFO] testing moniker-0.5.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate moniker 0.5.0 into /workspace/builds/worker-1-tc2/source [INFO] started tweaking crates.io crate moniker 0.5.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate moniker 0.5.0 [INFO] tweaked toml for crates.io crate moniker 0.5.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate moniker 0.5.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 39 packages to latest compatible versions [INFO] [stderr] Adding codespan v0.2.1 (available: v0.13.1) [INFO] [stderr] Adding im v12.3.4 (available: v15.1.0) [INFO] [stderr] Adding num-bigint v0.2.6 (available: v0.4.6) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 83769dbe065a821251efe93d2c71cc399b342169ad54702db6d3034183d3cd83 [INFO] running `Command { std: "docker" "start" "-a" "83769dbe065a821251efe93d2c71cc399b342169ad54702db6d3034183d3cd83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "83769dbe065a821251efe93d2c71cc399b342169ad54702db6d3034183d3cd83", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "83769dbe065a821251efe93d2c71cc399b342169ad54702db6d3034183d3cd83", kill_on_drop: false }` [INFO] [stdout] 83769dbe065a821251efe93d2c71cc399b342169ad54702db6d3034183d3cd83 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7ba99d75177ff9b0c5f1852b45d06b6030176b6303e0d19b5e68a6bb3a58c2a1 [INFO] running `Command { std: "docker" "start" "-a" "7ba99d75177ff9b0c5f1852b45d06b6030176b6303e0d19b5e68a6bb3a58c2a1", kill_on_drop: false }` [INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Compiling synstructure v0.10.2 [INFO] [stderr] Compiling moniker-derive v0.5.0 [INFO] [stderr] Compiling moniker v0.5.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.72s [INFO] running `Command { std: "docker" "inspect" "7ba99d75177ff9b0c5f1852b45d06b6030176b6303e0d19b5e68a6bb3a58c2a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7ba99d75177ff9b0c5f1852b45d06b6030176b6303e0d19b5e68a6bb3a58c2a1", kill_on_drop: false }` [INFO] [stdout] 7ba99d75177ff9b0c5f1852b45d06b6030176b6303e0d19b5e68a6bb3a58c2a1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] abf79945dd268eb27305e11258b3231eb3028656c93590ddb6048053b676a6f8 [INFO] running `Command { std: "docker" "start" "-a" "abf79945dd268eb27305e11258b3231eb3028656c93590ddb6048053b676a6f8", kill_on_drop: false }` [INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling sized-chunks v0.1.3 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling rustc_version v0.2.3 [INFO] [stderr] Compiling im v12.3.4 [INFO] [stderr] Compiling moniker v0.5.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> examples/stlc.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) 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] --> examples/lc.rs:17:24 [INFO] [stdout] | [INFO] [stdout] 17 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 18 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc.rs:28:24 [INFO] [stdout] | [INFO] [stdout] 28 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 29 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc.rs:23:24 [INFO] [stdout] | [INFO] [stdout] 23 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stdout] 24 | pub enum Type { [INFO] [stdout] | ---- `Type` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc.rs:36:24 [INFO] [stdout] | [INFO] [stdout] 36 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stdout] 37 | pub struct RcType { [INFO] [stdout] | ------ `RcType` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc.rs:50:24 [INFO] [stdout] | [INFO] [stdout] 50 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stdout] 51 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc.rs:69:24 [INFO] [stdout] | [INFO] [stdout] 69 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 70 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc.rs:84:24 [INFO] [stdout] | [INFO] [stdout] 84 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 85 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc_let.rs:18:24 [INFO] [stdout] | [INFO] [stdout] 18 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 19 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc_let.rs:31:24 [INFO] [stdout] | [INFO] [stdout] 31 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 32 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> examples/lc_letrec.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) 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] --> examples/lc_multi.rs:17:24 [INFO] [stdout] | [INFO] [stdout] 17 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 18 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc_multi.rs:28:24 [INFO] [stdout] | [INFO] [stdout] 28 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 29 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc_letrec.rs:18:24 [INFO] [stdout] | [INFO] [stdout] 18 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 19 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/lc_letrec.rs:31:24 [INFO] [stdout] | [INFO] [stdout] 31 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 32 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `im::HashMap::::singleton`: renamed to `unit` for consistency [INFO] [stdout] --> examples/stlc_data_isorec.rs:485:32 [INFO] [stdout] | [INFO] [stdout] 485 | return Ok(Context::singleton(free_var.clone(), expected_ty.clone())); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated associated function `im::HashMap::::singleton`: renamed to `unit` for consistency [INFO] [stdout] --> examples/stlc_data.rs:406:32 [INFO] [stdout] | [INFO] [stdout] 406 | return Ok(Context::singleton(free_var.clone(), expected_ty.clone())); [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` 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] --> examples/stlc_data_isorec.rs:32:24 [INFO] [stdout] | [INFO] [stdout] 32 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stdout] 33 | pub enum Type { [INFO] [stdout] | ---- `Type` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data_isorec.rs:53:24 [INFO] [stdout] | [INFO] [stdout] 53 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stdout] 54 | pub struct RcType { [INFO] [stdout] | ------ `RcType` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data_isorec.rs:106:35 [INFO] [stdout] | [INFO] [stdout] 106 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stdout] 107 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data_isorec.rs:106:46 [INFO] [stdout] | [INFO] [stdout] 106 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Literal` [INFO] [stdout] 107 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data_isorec.rs:125:24 [INFO] [stdout] | [INFO] [stdout] 125 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Pattern` [INFO] [stdout] 126 | pub enum Pattern { [INFO] [stdout] | ------- `Pattern` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data_isorec.rs:142:24 [INFO] [stdout] | [INFO] [stdout] 142 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_RcPattern` [INFO] [stdout] 143 | pub struct RcPattern { [INFO] [stdout] | --------- `RcPattern` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data_isorec.rs:170:24 [INFO] [stdout] | [INFO] [stdout] 170 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 171 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data_isorec.rs:197:24 [INFO] [stdout] | [INFO] [stdout] 197 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 198 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data.rs:30:24 [INFO] [stdout] | [INFO] [stdout] 30 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stdout] 31 | pub enum Type { [INFO] [stdout] | ---- `Type` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data.rs:47:24 [INFO] [stdout] | [INFO] [stdout] 47 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stdout] 48 | pub struct RcType { [INFO] [stdout] | ------ `RcType` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data.rs:61:35 [INFO] [stdout] | [INFO] [stdout] 61 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stdout] 62 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data.rs:61:46 [INFO] [stdout] | [INFO] [stdout] 61 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Literal` [INFO] [stdout] 62 | pub enum Literal { [INFO] [stdout] | ------- `Literal` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data.rs:80:24 [INFO] [stdout] | [INFO] [stdout] 80 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Pattern` [INFO] [stdout] 81 | pub enum Pattern { [INFO] [stdout] | ------- `Pattern` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data.rs:97:24 [INFO] [stdout] | [INFO] [stdout] 97 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stdout] | ^----------- [INFO] [stdout] | | [INFO] [stdout] | `BoundPattern` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_RcPattern` [INFO] [stdout] 98 | pub struct RcPattern { [INFO] [stdout] | --------- `RcPattern` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundPattern` (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] --> examples/stlc_data.rs:123:24 [INFO] [stdout] | [INFO] [stdout] 123 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stdout] 124 | pub enum Expr { [INFO] [stdout] | ---- `Expr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (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] --> examples/stlc_data.rs:146:24 [INFO] [stdout] | [INFO] [stdout] 146 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stdout] | ^-------- [INFO] [stdout] | | [INFO] [stdout] | `BoundTerm` is not local [INFO] [stdout] | `String` is not local [INFO] [stdout] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stdout] 147 | pub struct RcExpr { [INFO] [stdout] | ------ `RcExpr` is not local [INFO] [stdout] | [INFO] [stdout] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stdout] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_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 `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.42s [INFO] running `Command { std: "docker" "inspect" "abf79945dd268eb27305e11258b3231eb3028656c93590ddb6048053b676a6f8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "abf79945dd268eb27305e11258b3231eb3028656c93590ddb6048053b676a6f8", kill_on_drop: false }` [INFO] [stdout] abf79945dd268eb27305e11258b3231eb3028656c93590ddb6048053b676a6f8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 359830d2596ad9e376612d95d8ee4e14e0e1e2a806099033f81ce049c5109cb2 [INFO] running `Command { std: "docker" "start" "-a" "359830d2596ad9e376612d95d8ee4e14e0e1e2a806099033f81ce049c5109cb2", kill_on_drop: false }` [INFO] [stderr] warning: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024` [INFO] [stderr] warning: use of deprecated associated function `im::HashMap::::singleton`: renamed to `unit` for consistency [INFO] [stderr] --> examples/stlc_data.rs:406:32 [INFO] [stderr] | [INFO] [stderr] 406 | return Ok(Context::singleton(free_var.clone(), expected_ty.clone())); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:30:24 [INFO] [stderr] | [INFO] [stderr] 30 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stderr] 31 | pub enum Type { [INFO] [stderr] | ---- `Type` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:47:24 [INFO] [stderr] | [INFO] [stderr] 47 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stderr] 48 | pub struct RcType { [INFO] [stderr] | ------ `RcType` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:61:35 [INFO] [stderr] | [INFO] [stderr] 61 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stderr] 62 | pub enum Literal { [INFO] [stderr] | ------- `Literal` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:61:46 [INFO] [stderr] | [INFO] [stderr] 61 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Literal` [INFO] [stderr] 62 | pub enum Literal { [INFO] [stderr] | ------- `Literal` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:80:24 [INFO] [stderr] | [INFO] [stderr] 80 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Pattern` [INFO] [stderr] 81 | pub enum Pattern { [INFO] [stderr] | ------- `Pattern` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:97:24 [INFO] [stderr] | [INFO] [stderr] 97 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_RcPattern` [INFO] [stderr] 98 | pub struct RcPattern { [INFO] [stderr] | --------- `RcPattern` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:123:24 [INFO] [stderr] | [INFO] [stderr] 123 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 124 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data.rs:146:24 [INFO] [stderr] | [INFO] [stderr] 146 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 147 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: `moniker` (example "stlc_data") generated 9 warnings [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc.rs:17:24 [INFO] [stderr] | [INFO] [stderr] 17 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 18 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc.rs:28:24 [INFO] [stderr] | [INFO] [stderr] 28 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 29 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_multi.rs:17:24 [INFO] [stderr] | [INFO] [stderr] 17 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 18 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_multi.rs:28:24 [INFO] [stderr] | [INFO] [stderr] 28 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 29 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused `#[macro_use]` import [INFO] [stderr] --> examples/lc_letrec.rs:4:1 [INFO] [stderr] | [INFO] [stderr] 4 | #[macro_use] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_letrec.rs:18:24 [INFO] [stderr] | [INFO] [stderr] 18 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 19 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_letrec.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 32 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_let.rs:18:24 [INFO] [stderr] | [INFO] [stderr] 18 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 19 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/lc_let.rs:31:24 [INFO] [stderr] | [INFO] [stderr] 31 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 32 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: unused `#[macro_use]` import [INFO] [stderr] --> examples/stlc.rs:8:1 [INFO] [stderr] | [INFO] [stderr] 8 | #[macro_use] [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc.rs:23:24 [INFO] [stderr] | [INFO] [stderr] 23 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stderr] 24 | pub enum Type { [INFO] [stderr] | ---- `Type` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc.rs:36:24 [INFO] [stderr] | [INFO] [stderr] 36 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stderr] 37 | pub struct RcType { [INFO] [stderr] | ------ `RcType` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc.rs:50:24 [INFO] [stderr] | [INFO] [stderr] 50 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stderr] 51 | pub enum Literal { [INFO] [stderr] | ------- `Literal` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc.rs:69:24 [INFO] [stderr] | [INFO] [stderr] 69 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 70 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc.rs:84:24 [INFO] [stderr] | [INFO] [stderr] 84 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 85 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: use of deprecated associated function `im::HashMap::::singleton`: renamed to `unit` for consistency [INFO] [stderr] --> examples/stlc_data_isorec.rs:485:32 [INFO] [stderr] | [INFO] [stderr] 485 | return Ok(Context::singleton(free_var.clone(), expected_ty.clone())); [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(deprecated)]` on by default [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:32:24 [INFO] [stderr] | [INFO] [stderr] 32 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Type` [INFO] [stderr] 33 | pub enum Type { [INFO] [stderr] | ---- `Type` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: `#[warn(non_local_definitions)]` on by default [INFO] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:53:24 [INFO] [stderr] | [INFO] [stderr] 53 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcType` [INFO] [stderr] 54 | pub struct RcType { [INFO] [stderr] | ------ `RcType` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:106:35 [INFO] [stderr] | [INFO] [stderr] 106 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Literal` [INFO] [stderr] 107 | pub enum Literal { [INFO] [stderr] | ------- `Literal` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:106:46 [INFO] [stderr] | [INFO] [stderr] 106 | #[derive(Debug, Clone, PartialEq, BoundTerm, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Literal` [INFO] [stderr] 107 | pub enum Literal { [INFO] [stderr] | ------- `Literal` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:125:24 [INFO] [stderr] | [INFO] [stderr] 125 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_Pattern` [INFO] [stderr] 126 | pub enum Pattern { [INFO] [stderr] | ------- `Pattern` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:142:24 [INFO] [stderr] | [INFO] [stderr] 142 | #[derive(Debug, Clone, BoundPattern)] [INFO] [stderr] | ^----------- [INFO] [stderr] | | [INFO] [stderr] | `BoundPattern` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundPattern_String_FOR_RcPattern` [INFO] [stderr] 143 | pub struct RcPattern { [INFO] [stderr] | --------- `RcPattern` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundPattern` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundPattern` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundPattern` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:170:24 [INFO] [stderr] | [INFO] [stderr] 170 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_Expr` [INFO] [stderr] 171 | pub enum Expr { [INFO] [stderr] | ---- `Expr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: non-local `impl` definition, `impl` blocks should be written at the same level as their item [INFO] [stderr] --> examples/stlc_data_isorec.rs:197:24 [INFO] [stderr] | [INFO] [stderr] 197 | #[derive(Debug, Clone, BoundTerm)] [INFO] [stderr] | ^-------- [INFO] [stderr] | | [INFO] [stderr] | `BoundTerm` is not local [INFO] [stderr] | `String` is not local [INFO] [stderr] | move the `impl` block outside of this constant `_DERIVE_moniker_BoundTerm_String_FOR_RcExpr` [INFO] [stderr] 198 | pub struct RcExpr { [INFO] [stderr] | ------ `RcExpr` is not local [INFO] [stderr] | [INFO] [stderr] = note: the derive macro `BoundTerm` defines the non-local `impl`, and may need to be changed [INFO] [stderr] = note: the derive macro `BoundTerm` may come from an old version of the `moniker_derive` crate, try updating your dependency with `cargo update -p moniker_derive` [INFO] [stderr] = 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] [stderr] = 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] [stderr] = note: this warning originates in the derive macro `BoundTerm` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: `moniker` (example "lc") generated 2 warnings [INFO] [stderr] warning: `moniker` (example "lc_multi") generated 2 warnings [INFO] [stderr] warning: `moniker` (example "lc_letrec") generated 3 warnings [INFO] [stderr] warning: `moniker` (example "lc_let") generated 2 warnings [INFO] [stderr] warning: `moniker` (example "stlc") generated 6 warnings [INFO] [stderr] warning: `moniker` (example "stlc_data_isorec") generated 9 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/moniker-97958fbee1a30341) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stderr] Doc-tests moniker [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/lib.rs - (line 9) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "359830d2596ad9e376612d95d8ee4e14e0e1e2a806099033f81ce049c5109cb2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "359830d2596ad9e376612d95d8ee4e14e0e1e2a806099033f81ce049c5109cb2", kill_on_drop: false }` [INFO] [stdout] 359830d2596ad9e376612d95d8ee4e14e0e1e2a806099033f81ce049c5109cb2