[INFO] cloning repository https://github.com/pythonesque/dependent_traits [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pythonesque/dependent_traits" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 0ae01abfaa8ef8df7ef778b6462097b2b48f6865 [INFO] checking pythonesque/dependent_traits against try#8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 for pr-82565 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits" "/workspace/builds/worker-10/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-10/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/pythonesque/dependent_traits on toolchain 8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/pythonesque/dependent_traits [INFO] finished tweaking git repo https://github.com/pythonesque/dependent_traits [INFO] tweaked toml for git repo https://github.com/pythonesque/dependent_traits written to /workspace/builds/worker-10/source/Cargo.toml [INFO] crate git repo https://github.com/pythonesque/dependent_traits already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded frunk_core v0.2.0 [INFO] [stderr] Downloaded frunk v0.2.0 [INFO] [stderr] Downloaded frunk_derives v0.2.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 849fa836958beca00f51f3e30069c1b17b7030261a7056ddea97824c51218b3e [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "849fa836958beca00f51f3e30069c1b17b7030261a7056ddea97824c51218b3e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "849fa836958beca00f51f3e30069c1b17b7030261a7056ddea97824c51218b3e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "849fa836958beca00f51f3e30069c1b17b7030261a7056ddea97824c51218b3e", kill_on_drop: false }` [INFO] [stdout] 849fa836958beca00f51f3e30069c1b17b7030261a7056ddea97824c51218b3e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+8e3afc79c11f48cb3acd1be5b3b7de98fe3f93a8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 52071bbd8bc42e7643f88d756d5a816cd088850ab2669067855f3b7e0ad70e88 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "52071bbd8bc42e7643f88d756d5a816cd088850ab2669067855f3b7e0ad70e88", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling frunk_core v0.2.0 [INFO] [stderr] Compiling proc-macro2 v0.2.3 [INFO] [stderr] Compiling quote v0.4.2 [INFO] [stderr] Compiling syn v0.12.15 [INFO] [stderr] Compiling frunk_derives v0.2.0 [INFO] [stderr] Checking frunk v0.2.0 [INFO] [stderr] Checking dependent_traits v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:1949:1 [INFO] [stdout] | [INFO] [stdout] 1949 | /// All the remaining terms that can't compare to Sorts: Rel, Lambda, Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:1980:1 [INFO] [stdout] | [INFO] [stdout] 1980 | /// All the remaining terms that can't compare to Rels: Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:2044:1 [INFO] [stdout] | [INFO] [stdout] 2044 | /// All the remaining terms that can't compare to Lambda: Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> src/main.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::mem` [INFO] [stdout] --> src/context.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::mem; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Generic`, `LabelledGeneric` [INFO] [stdout] --> src/context.rs:3:13 [INFO] [stdout] | [INFO] [stdout] 3 | use frunk::{Generic, LabelledGeneric}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LiftFrom`, `Selector` [INFO] [stdout] --> src/context.rs:4:40 [INFO] [stdout] | [INFO] [stdout] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:1949:1 [INFO] [stdout] | [INFO] [stdout] 1949 | /// All the remaining terms that can't compare to Sorts: Rel, Lambda, Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:1980:1 [INFO] [stdout] | [INFO] [stdout] 1980 | /// All the remaining terms that can't compare to Rels: Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> src/context.rs:2044:1 [INFO] [stdout] | [INFO] [stdout] 2044 | /// All the remaining terms that can't compare to Lambda: Prod. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations [INFO] [stdout] | [INFO] [stdout] = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `#[macro_use]` import [INFO] [stdout] --> src/main.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | #[macro_use] [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::mem` [INFO] [stdout] --> src/context.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::mem; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `LiftFrom`, `Selector` [INFO] [stdout] --> src/context.rs:4:40 [INFO] [stdout] | [INFO] [stdout] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HCons`, `HNil`, `LiftFrom`, `Selector` [INFO] [stdout] --> src/context.rs:2627:24 [INFO] [stdout] | [INFO] [stdout] 2627 | use frunk::hlist::{HCons, HNil, LiftFrom, Selector}; [INFO] [stdout] | ^^^^^ ^^^^ ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | l: L, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `r` [INFO] [stdout] --> src/context.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | r: R, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 179 | l: Lift, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 180 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:186:5 [INFO] [stdout] | [INFO] [stdout] 186 | l: Lift, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:314:5 [INFO] [stdout] | [INFO] [stdout] 314 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:319:5 [INFO] [stdout] | [INFO] [stdout] 319 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:320:5 [INFO] [stdout] | [INFO] [stdout] 320 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 325 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:326:5 [INFO] [stdout] | [INFO] [stdout] 326 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:331:5 [INFO] [stdout] | [INFO] [stdout] 331 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:332:5 [INFO] [stdout] | [INFO] [stdout] 332 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:577:5 [INFO] [stdout] | [INFO] [stdout] 577 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `bd` [INFO] [stdout] --> src/context.rs:582:5 [INFO] [stdout] | [INFO] [stdout] 582 | bd: Body, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:583:5 [INFO] [stdout] | [INFO] [stdout] 583 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `fun` [INFO] [stdout] --> src/context.rs:601:5 [INFO] [stdout] | [INFO] [stdout] 601 | fun: Fun, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `arg` [INFO] [stdout] --> src/context.rs:603:5 [INFO] [stdout] | [INFO] [stdout] 603 | arg: Arg, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:607:5 [INFO] [stdout] | [INFO] [stdout] 607 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `bd` [INFO] [stdout] --> src/context.rs:608:5 [INFO] [stdout] | [INFO] [stdout] 608 | bd: Body, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `domain` [INFO] [stdout] --> src/context.rs:612:5 [INFO] [stdout] | [INFO] [stdout] 612 | domain: Domain, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `codomain` [INFO] [stdout] --> src/context.rs:613:5 [INFO] [stdout] | [INFO] [stdout] 613 | codomain: CoDomain, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `sort` [INFO] [stdout] --> src/context.rs:618:5 [INFO] [stdout] | [INFO] [stdout] 618 | sort: S, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `index` [INFO] [stdout] --> src/context.rs:623:5 [INFO] [stdout] | [INFO] [stdout] 623 | index: Index, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `c` [INFO] [stdout] --> src/context.rs:1020:5 [INFO] [stdout] | [INFO] [stdout] 1020 | c: C, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `c` [INFO] [stdout] --> src/context.rs:1028:5 [INFO] [stdout] | [INFO] [stdout] 1028 | c: C, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `v` [INFO] [stdout] --> src/context.rs:1035:5 [INFO] [stdout] | [INFO] [stdout] 1035 | v: V, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `stk` [INFO] [stdout] --> src/context.rs:1036:5 [INFO] [stdout] | [INFO] [stdout] 1036 | stk: Stk, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:1042:5 [INFO] [stdout] | [INFO] [stdout] 1042 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:1043:5 [INFO] [stdout] | [INFO] [stdout] 1043 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `a` [INFO] [stdout] --> src/context.rs:1048:5 [INFO] [stdout] | [INFO] [stdout] 1048 | a: A, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `k` [INFO] [stdout] --> src/context.rs:1056:5 [INFO] [stdout] | [INFO] [stdout] 1056 | k: K, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `flags` [INFO] [stdout] --> src/context.rs:1578:5 [INFO] [stdout] | [INFO] [stdout] 1578 | flags: Flags, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `rels` [INFO] [stdout] --> src/context.rs:1579:5 [INFO] [stdout] | [INFO] [stdout] 1579 | rels: Rels, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 42 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | l: L, [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `r` [INFO] [stdout] --> src/context.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | r: R, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 179 | l: Lift, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:180:5 [INFO] [stdout] | [INFO] [stdout] 180 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:185:5 [INFO] [stdout] | [INFO] [stdout] 185 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `l` [INFO] [stdout] --> src/context.rs:186:5 [INFO] [stdout] | [INFO] [stdout] 186 | l: Lift, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:314:5 [INFO] [stdout] | [INFO] [stdout] 314 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:319:5 [INFO] [stdout] | [INFO] [stdout] 319 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:320:5 [INFO] [stdout] | [INFO] [stdout] 320 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 325 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:326:5 [INFO] [stdout] | [INFO] [stdout] 326 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `n` [INFO] [stdout] --> src/context.rs:331:5 [INFO] [stdout] | [INFO] [stdout] 331 | n: N, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:332:5 [INFO] [stdout] | [INFO] [stdout] 332 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:577:5 [INFO] [stdout] | [INFO] [stdout] 577 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `bd` [INFO] [stdout] --> src/context.rs:582:5 [INFO] [stdout] | [INFO] [stdout] 582 | bd: Body, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:583:5 [INFO] [stdout] | [INFO] [stdout] 583 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `fun` [INFO] [stdout] --> src/context.rs:601:5 [INFO] [stdout] | [INFO] [stdout] 601 | fun: Fun, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `arg` [INFO] [stdout] --> src/context.rs:603:5 [INFO] [stdout] | [INFO] [stdout] 603 | arg: Arg, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `ty` [INFO] [stdout] --> src/context.rs:607:5 [INFO] [stdout] | [INFO] [stdout] 607 | ty: Type, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `bd` [INFO] [stdout] --> src/context.rs:608:5 [INFO] [stdout] | [INFO] [stdout] 608 | bd: Body, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `domain` [INFO] [stdout] --> src/context.rs:612:5 [INFO] [stdout] | [INFO] [stdout] 612 | domain: Domain, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `codomain` [INFO] [stdout] --> src/context.rs:613:5 [INFO] [stdout] | [INFO] [stdout] 613 | codomain: CoDomain, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `sort` [INFO] [stdout] --> src/context.rs:618:5 [INFO] [stdout] | [INFO] [stdout] 618 | sort: S, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `index` [INFO] [stdout] --> src/context.rs:623:5 [INFO] [stdout] | [INFO] [stdout] 623 | index: Index, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `c` [INFO] [stdout] --> src/context.rs:1020:5 [INFO] [stdout] | [INFO] [stdout] 1020 | c: C, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `c` [INFO] [stdout] --> src/context.rs:1028:5 [INFO] [stdout] | [INFO] [stdout] 1028 | c: C, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `v` [INFO] [stdout] --> src/context.rs:1035:5 [INFO] [stdout] | [INFO] [stdout] 1035 | v: V, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `stk` [INFO] [stdout] --> src/context.rs:1036:5 [INFO] [stdout] | [INFO] [stdout] 1036 | stk: Stk, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `t` [INFO] [stdout] --> src/context.rs:1042:5 [INFO] [stdout] | [INFO] [stdout] 1042 | t: T, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `s` [INFO] [stdout] --> src/context.rs:1043:5 [INFO] [stdout] | [INFO] [stdout] 1043 | s: S, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `a` [INFO] [stdout] --> src/context.rs:1048:5 [INFO] [stdout] | [INFO] [stdout] 1048 | a: A, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `k` [INFO] [stdout] --> src/context.rs:1056:5 [INFO] [stdout] | [INFO] [stdout] 1056 | k: K, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `flags` [INFO] [stdout] --> src/context.rs:1578:5 [INFO] [stdout] | [INFO] [stdout] 1578 | flags: Flags, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `rels` [INFO] [stdout] --> src/context.rs:1579:5 [INFO] [stdout] | [INFO] [stdout] 1579 | rels: Rels, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 42 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 12.90s [INFO] running `Command { std: "docker" "inspect" "52071bbd8bc42e7643f88d756d5a816cd088850ab2669067855f3b7e0ad70e88", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "52071bbd8bc42e7643f88d756d5a816cd088850ab2669067855f3b7e0ad70e88", kill_on_drop: false }` [INFO] [stdout] 52071bbd8bc42e7643f88d756d5a816cd088850ab2669067855f3b7e0ad70e88