[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 master#cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3 for pr-135841
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/pythonesque/dependent_traits on toolchain cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3" "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-2-tc1/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: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded frunk v0.2.0
[INFO] [stderr]   Downloaded frunk_core 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-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4cbe51491592c8bd3a4e9593e6694a572ea93972db42a1d2502442e3067dbbd0
[INFO] running `Command { std: "docker" "start" "-a" "4cbe51491592c8bd3a4e9593e6694a572ea93972db42a1d2502442e3067dbbd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4cbe51491592c8bd3a4e9593e6694a572ea93972db42a1d2502442e3067dbbd0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4cbe51491592c8bd3a4e9593e6694a572ea93972db42a1d2502442e3067dbbd0", kill_on_drop: false }`
[INFO] [stdout] 4cbe51491592c8bd3a4e9593e6694a572ea93972db42a1d2502442e3067dbbd0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+cd805f09ffbfa3896c8f50a619de9b67e1d9f3c3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3b61fe6593634e9d0710471647ff473bf87653bfa1608ec035e5c8a00d4d5c11
[INFO] running `Command { std: "docker" "start" "-a" "3b61fe6593634e9d0710471647ff473bf87653bfa1608ec035e5c8a00d4d5c11", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[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 `#[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 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]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout]      = note: `#[warn(unused_doc_comments)]` on by default
[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 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` and `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` and `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 `#[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 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]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stdout]      = note: `#[warn(unused_doc_comments)]` on by default
[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 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` and `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`, and `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 `l` is never read
[INFO] [stdout]   --> src/context.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub struct Inl<L> {
[INFO] [stdout]    |            --- field in this struct
[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 `r` is never read
[INFO] [stdout]   --> src/context.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct Inr<R> {
[INFO] [stdout]    |            --- field in this struct
[INFO] [stdout] 14 |     r: R,
[INFO] [stdout]    |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `t` is never read
[INFO] [stdout]   --> src/context.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct TSome<T> {
[INFO] [stdout]    |            ----- field in this struct
[INFO] [stdout] 18 |     t: T,
[INFO] [stdout]    |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `l` and `n` are never read
[INFO] [stdout]    --> src/context.rs:179:5
[INFO] [stdout]     |
[INFO] [stdout] 178 | pub struct ElShift<Lift, N> {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 179 |     l: Lift,
[INFO] [stdout]     |     ^
[INFO] [stdout] 180 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `l` are never read
[INFO] [stdout]    --> src/context.rs:185:5
[INFO] [stdout]     |
[INFO] [stdout] 184 | pub struct ElLift<N, Lift> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 185 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 186 |     l: Lift,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `n` is never read
[INFO] [stdout]    --> src/context.rs:314:5
[INFO] [stdout]     |
[INFO] [stdout] 312 | pub struct EsId<N> {
[INFO] [stdout]     |            ---- field in this struct
[INFO] [stdout] 313 |     /// NOTE: n = pred N
[INFO] [stdout] 314 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `t` and `s` are never read
[INFO] [stdout]    --> src/context.rs:319:5
[INFO] [stdout]     |
[INFO] [stdout] 318 | pub struct EsCons<T,S> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 319 |     t: T,
[INFO] [stdout]     |     ^
[INFO] [stdout] 320 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `s` are never read
[INFO] [stdout]    --> src/context.rs:325:5
[INFO] [stdout]     |
[INFO] [stdout] 324 | pub struct EsShift<N, S> {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 325 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 326 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `s` are never read
[INFO] [stdout]    --> src/context.rs:331:5
[INFO] [stdout]     |
[INFO] [stdout] 330 | pub struct EsLift<N, S> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 331 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 332 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ty` is never read
[INFO] [stdout]    --> src/context.rs:577:5
[INFO] [stdout]     |
[INFO] [stdout] 576 | pub struct Assum<Type> {
[INFO] [stdout]     |            ----- field in this struct
[INFO] [stdout] 577 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `bd` and `ty` are never read
[INFO] [stdout]    --> src/context.rs:582:5
[INFO] [stdout]     |
[INFO] [stdout] 581 | pub struct Decl<Body, Type> {
[INFO] [stdout]     |            ---- fields in this struct
[INFO] [stdout] 582 |     bd: Body,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 583 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fun` and `arg` are never read
[INFO] [stdout]    --> src/context.rs:601:5
[INFO] [stdout]     |
[INFO] [stdout] 600 | pub struct App<Fun, /*Args : HList*/Arg> {
[INFO] [stdout]     |            --- fields in this struct
[INFO] [stdout] 601 |     fun: Fun,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 602 |     // args: Args,
[INFO] [stdout] 603 |     arg: Arg,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ty` and `bd` are never read
[INFO] [stdout]    --> src/context.rs:607:5
[INFO] [stdout]     |
[INFO] [stdout] 606 | pub struct Lambda<Type, Body> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 607 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 608 |     bd: Body,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `domain` and `codomain` are never read
[INFO] [stdout]    --> src/context.rs:612:5
[INFO] [stdout]     |
[INFO] [stdout] 611 | pub struct Prod<Domain, CoDomain> {
[INFO] [stdout]     |            ---- fields in this struct
[INFO] [stdout] 612 |     domain: Domain,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 613 |     codomain: CoDomain,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `sort` is never read
[INFO] [stdout]    --> src/context.rs:618:5
[INFO] [stdout]     |
[INFO] [stdout] 617 | pub struct Sort<S> {
[INFO] [stdout]     |            ---- field in this struct
[INFO] [stdout] 618 |     sort: S,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `index` is never read
[INFO] [stdout]    --> src/context.rs:623:5
[INFO] [stdout]     |
[INFO] [stdout] 622 | pub struct Rel<Index> {
[INFO] [stdout]     |            --- field in this struct
[INFO] [stdout] 623 |     index: Index,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `c` is never read
[INFO] [stdout]     --> src/context.rs:1020:5
[INFO] [stdout]      |
[INFO] [stdout] 1019 | pub struct FVal<C> {
[INFO] [stdout]      |            ---- field in this struct
[INFO] [stdout] 1020 |     c: C,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `c` is never read
[INFO] [stdout]     --> src/context.rs:1028:5
[INFO] [stdout]      |
[INFO] [stdout] 1027 | pub struct FFlex<C> {
[INFO] [stdout]      |            ----- field in this struct
[INFO] [stdout] 1028 |     c: C,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `v` and `stk` are never read
[INFO] [stdout]     --> src/context.rs:1035:5
[INFO] [stdout]      |
[INFO] [stdout] 1034 | pub struct FStk<V, Stk> {
[INFO] [stdout]      |            ---- fields in this struct
[INFO] [stdout] 1035 |     v: V,
[INFO] [stdout]      |     ^
[INFO] [stdout] 1036 |     stk: Stk,
[INFO] [stdout]      |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `t` and `s` are never read
[INFO] [stdout]     --> src/context.rs:1042:5
[INFO] [stdout]      |
[INFO] [stdout] 1041 | pub struct FCbn<T, S> {
[INFO] [stdout]      |            ---- fields in this struct
[INFO] [stdout] 1042 |     t: T,
[INFO] [stdout]      |     ^
[INFO] [stdout] 1043 |     s: S,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `a` is never read
[INFO] [stdout]     --> src/context.rs:1048:5
[INFO] [stdout]      |
[INFO] [stdout] 1047 | pub struct ZApp<A> {
[INFO] [stdout]      |            ---- field in this struct
[INFO] [stdout] 1048 |     a: A,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `k` is never read
[INFO] [stdout]     --> src/context.rs:1056:5
[INFO] [stdout]      |
[INFO] [stdout] 1055 | pub struct ZShift<K> {
[INFO] [stdout]      |            ------ field in this struct
[INFO] [stdout] 1056 |     k: K,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `flags` and `rels` are never read
[INFO] [stdout]     --> src/context.rs:1578:5
[INFO] [stdout]      |
[INFO] [stdout] 1577 | pub struct ClosInfos<Flags, Rels> {
[INFO] [stdout]      |            --------- fields in this struct
[INFO] [stdout] 1578 |     flags: Flags,
[INFO] [stdout]      |     ^^^^^
[INFO] [stdout] 1579 |     rels: Rels,
[INFO] [stdout]      |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `l` is never read
[INFO] [stdout]   --> src/context.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub struct Inl<L> {
[INFO] [stdout]    |            --- field in this struct
[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 `r` is never read
[INFO] [stdout]   --> src/context.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct Inr<R> {
[INFO] [stdout]    |            --- field in this struct
[INFO] [stdout] 14 |     r: R,
[INFO] [stdout]    |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `t` is never read
[INFO] [stdout]   --> src/context.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct TSome<T> {
[INFO] [stdout]    |            ----- field in this struct
[INFO] [stdout] 18 |     t: T,
[INFO] [stdout]    |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `l` and `n` are never read
[INFO] [stdout]    --> src/context.rs:179:5
[INFO] [stdout]     |
[INFO] [stdout] 178 | pub struct ElShift<Lift, N> {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 179 |     l: Lift,
[INFO] [stdout]     |     ^
[INFO] [stdout] 180 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `l` are never read
[INFO] [stdout]    --> src/context.rs:185:5
[INFO] [stdout]     |
[INFO] [stdout] 184 | pub struct ElLift<N, Lift> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 185 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 186 |     l: Lift,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `n` is never read
[INFO] [stdout]    --> src/context.rs:314:5
[INFO] [stdout]     |
[INFO] [stdout] 312 | pub struct EsId<N> {
[INFO] [stdout]     |            ---- field in this struct
[INFO] [stdout] 313 |     /// NOTE: n = pred N
[INFO] [stdout] 314 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `t` and `s` are never read
[INFO] [stdout]    --> src/context.rs:319:5
[INFO] [stdout]     |
[INFO] [stdout] 318 | pub struct EsCons<T,S> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 319 |     t: T,
[INFO] [stdout]     |     ^
[INFO] [stdout] 320 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `s` are never read
[INFO] [stdout]    --> src/context.rs:325:5
[INFO] [stdout]     |
[INFO] [stdout] 324 | pub struct EsShift<N, S> {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 325 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 326 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `n` and `s` are never read
[INFO] [stdout]    --> src/context.rs:331:5
[INFO] [stdout]     |
[INFO] [stdout] 330 | pub struct EsLift<N, S> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 331 |     n: N,
[INFO] [stdout]     |     ^
[INFO] [stdout] 332 |     s: S,
[INFO] [stdout]     |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `ty` is never read
[INFO] [stdout]    --> src/context.rs:577:5
[INFO] [stdout]     |
[INFO] [stdout] 576 | pub struct Assum<Type> {
[INFO] [stdout]     |            ----- field in this struct
[INFO] [stdout] 577 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `bd` and `ty` are never read
[INFO] [stdout]    --> src/context.rs:582:5
[INFO] [stdout]     |
[INFO] [stdout] 581 | pub struct Decl<Body, Type> {
[INFO] [stdout]     |            ---- fields in this struct
[INFO] [stdout] 582 |     bd: Body,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 583 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fun` and `arg` are never read
[INFO] [stdout]    --> src/context.rs:601:5
[INFO] [stdout]     |
[INFO] [stdout] 600 | pub struct App<Fun, /*Args : HList*/Arg> {
[INFO] [stdout]     |            --- fields in this struct
[INFO] [stdout] 601 |     fun: Fun,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 602 |     // args: Args,
[INFO] [stdout] 603 |     arg: Arg,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `ty` and `bd` are never read
[INFO] [stdout]    --> src/context.rs:607:5
[INFO] [stdout]     |
[INFO] [stdout] 606 | pub struct Lambda<Type, Body> {
[INFO] [stdout]     |            ------ fields in this struct
[INFO] [stdout] 607 |     ty: Type,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 608 |     bd: Body,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `domain` and `codomain` are never read
[INFO] [stdout]    --> src/context.rs:612:5
[INFO] [stdout]     |
[INFO] [stdout] 611 | pub struct Prod<Domain, CoDomain> {
[INFO] [stdout]     |            ---- fields in this struct
[INFO] [stdout] 612 |     domain: Domain,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 613 |     codomain: CoDomain,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `sort` is never read
[INFO] [stdout]    --> src/context.rs:618:5
[INFO] [stdout]     |
[INFO] [stdout] 617 | pub struct Sort<S> {
[INFO] [stdout]     |            ---- field in this struct
[INFO] [stdout] 618 |     sort: S,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `index` is never read
[INFO] [stdout]    --> src/context.rs:623:5
[INFO] [stdout]     |
[INFO] [stdout] 622 | pub struct Rel<Index> {
[INFO] [stdout]     |            --- field in this struct
[INFO] [stdout] 623 |     index: Index,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `c` is never read
[INFO] [stdout]     --> src/context.rs:1020:5
[INFO] [stdout]      |
[INFO] [stdout] 1019 | pub struct FVal<C> {
[INFO] [stdout]      |            ---- field in this struct
[INFO] [stdout] 1020 |     c: C,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `c` is never read
[INFO] [stdout]     --> src/context.rs:1028:5
[INFO] [stdout]      |
[INFO] [stdout] 1027 | pub struct FFlex<C> {
[INFO] [stdout]      |            ----- field in this struct
[INFO] [stdout] 1028 |     c: C,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `v` and `stk` are never read
[INFO] [stdout]     --> src/context.rs:1035:5
[INFO] [stdout]      |
[INFO] [stdout] 1034 | pub struct FStk<V, Stk> {
[INFO] [stdout]      |            ---- fields in this struct
[INFO] [stdout] 1035 |     v: V,
[INFO] [stdout]      |     ^
[INFO] [stdout] 1036 |     stk: Stk,
[INFO] [stdout]      |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `t` and `s` are never read
[INFO] [stdout]     --> src/context.rs:1042:5
[INFO] [stdout]      |
[INFO] [stdout] 1041 | pub struct FCbn<T, S> {
[INFO] [stdout]      |            ---- fields in this struct
[INFO] [stdout] 1042 |     t: T,
[INFO] [stdout]      |     ^
[INFO] [stdout] 1043 |     s: S,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `a` is never read
[INFO] [stdout]     --> src/context.rs:1048:5
[INFO] [stdout]      |
[INFO] [stdout] 1047 | pub struct ZApp<A> {
[INFO] [stdout]      |            ---- field in this struct
[INFO] [stdout] 1048 |     a: A,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `k` is never read
[INFO] [stdout]     --> src/context.rs:1056:5
[INFO] [stdout]      |
[INFO] [stdout] 1055 | pub struct ZShift<K> {
[INFO] [stdout]      |            ------ field in this struct
[INFO] [stdout] 1056 |     k: K,
[INFO] [stdout]      |     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `flags` and `rels` are never read
[INFO] [stdout]     --> src/context.rs:1578:5
[INFO] [stdout]      |
[INFO] [stdout] 1577 | pub struct ClosInfos<Flags, Rels> {
[INFO] [stdout]      |            --------- fields in this struct
[INFO] [stdout] 1578 |     flags: Flags,
[INFO] [stdout]      |     ^^^^^
[INFO] [stdout] 1579 |     rels: Rels,
[INFO] [stdout]      |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.74s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: syn v0.12.15
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1`
[INFO] running `Command { std: "docker" "inspect" "3b61fe6593634e9d0710471647ff473bf87653bfa1608ec035e5c8a00d4d5c11", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3b61fe6593634e9d0710471647ff473bf87653bfa1608ec035e5c8a00d4d5c11", kill_on_drop: false }`
[INFO] [stdout] 3b61fe6593634e9d0710471647ff473bf87653bfa1608ec035e5c8a00d4d5c11