[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#c290daa1e5274a52e54a0f49e31bd70192abc606 for pr-133502-23
[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] 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] validating manifest of git repo https://github.com/pythonesque/dependent_traits on toolchain c290daa1e5274a52e54a0f49e31bd70192abc606
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `dependent_traits` (manifest) generated 1 warning
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded proc-macro2 v0.2.3
[INFO] [stderr]   Downloaded syn v0.12.15
[INFO] [stderr]   Downloaded frunk_derives v0.2.0
[INFO] [stderr]   Downloaded frunk v0.2.0
[INFO] [stderr]   Downloaded frunk_core v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597
[INFO] running `Command { std: "docker" "start" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597" "/opt/rustwide/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597" "/opt/rustwide/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `dependent_traits` (manifest) generated 1 warning
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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.75s
[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" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597", kill_on_drop: false }`
[INFO] [stdout] 1665e91f9752698d7080e9f551511961796775565b507c74e49816b262620597
