[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] testing pythonesque/dependent_traits against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/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-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pythonesque/dependent_traits on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f54c6fc6942f80c57e1a5e25d521bdc4ca0984d9b21db996bf43a77a8e20b92d
[INFO] running `Command { std: "docker" "start" "-a" "f54c6fc6942f80c57e1a5e25d521bdc4ca0984d9b21db996bf43a77a8e20b92d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f54c6fc6942f80c57e1a5e25d521bdc4ca0984d9b21db996bf43a77a8e20b92d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f54c6fc6942f80c57e1a5e25d521bdc4ca0984d9b21db996bf43a77a8e20b92d", kill_on_drop: false }`
[INFO] [stdout] f54c6fc6942f80c57e1a5e25d521bdc4ca0984d9b21db996bf43a77a8e20b92d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 62e4945b2babb808a4084f882e66c223bb9accb0d3f62dc661dec22d8ca384bb
[INFO] running `Command { std: "docker" "start" "-a" "62e4945b2babb808a4084f882e66c223bb9accb0d3f62dc661dec22d8ca384bb", 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]    Compiling frunk v0.2.0
[INFO] [stderr]    Compiling 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: 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.15s
[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" "62e4945b2babb808a4084f882e66c223bb9accb0d3f62dc661dec22d8ca384bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "62e4945b2babb808a4084f882e66c223bb9accb0d3f62dc661dec22d8ca384bb", kill_on_drop: false }`
[INFO] [stdout] 62e4945b2babb808a4084f882e66c223bb9accb0d3f62dc661dec22d8ca384bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7fc090d3f586f02b0cd3501ed9ac5fe5929c3c6ebd2402b7a73663373d8d4e41
[INFO] running `Command { std: "docker" "start" "-a" "7fc090d3f586f02b0cd3501ed9ac5fe5929c3c6ebd2402b7a73663373d8d4e41", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling 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: `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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.49s
[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" "7fc090d3f586f02b0cd3501ed9ac5fe5929c3c6ebd2402b7a73663373d8d4e41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7fc090d3f586f02b0cd3501ed9ac5fe5929c3c6ebd2402b7a73663373d8d4e41", kill_on_drop: false }`
[INFO] [stdout] 7fc090d3f586f02b0cd3501ed9ac5fe5929c3c6ebd2402b7a73663373d8d4e41
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 3a2c68cf381e37480b9866ce3b7496ba225d3581bf736247c5fff44d891b0756
[INFO] running `Command { std: "docker" "start" "-a" "3a2c68cf381e37480b9866ce3b7496ba225d3581bf736247c5fff44d891b0756", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr] warning: unused `#[macro_use]` import
[INFO] [stderr]  --> src/main.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: unused doc comment
[INFO] [stderr]     --> src/context.rs:1949:1
[INFO] [stderr]      |
[INFO] [stderr] 1949 | /// All the remaining terms that can't compare to Sorts: Rel, Lambda, Prod.
[INFO] [stderr]      | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stderr]      |
[INFO] [stderr]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr]      = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]     --> src/context.rs:1980:1
[INFO] [stderr]      |
[INFO] [stderr] 1980 | /// All the remaining terms that can't compare to Rels: Prod.
[INFO] [stderr]      | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stderr]      |
[INFO] [stderr]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]     --> src/context.rs:2044:1
[INFO] [stderr]      |
[INFO] [stderr] 2044 | /// All the remaining terms that can't compare to Lambda: Prod.
[INFO] [stderr]      | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macro invocations
[INFO] [stderr]      |
[INFO] [stderr]      = help: to document an item produced by a macro, the macro must produce the documentation as part of its expansion
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::mem`
[INFO] [stderr]  --> src/context.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::mem;
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `LiftFrom` and `Selector`
[INFO] [stderr]  --> src/context.rs:4:40
[INFO] [stderr]   |
[INFO] [stderr] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector};
[INFO] [stderr]   |                                        ^^^^^^^^  ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `HCons`, `HNil`, `LiftFrom`, and `Selector`
[INFO] [stderr]     --> src/context.rs:2627:24
[INFO] [stderr]      |
[INFO] [stderr] 2627 |     use frunk::hlist::{HCons, HNil, LiftFrom, Selector};
[INFO] [stderr]      |                        ^^^^^  ^^^^  ^^^^^^^^  ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `l` is never read
[INFO] [stderr]   --> src/context.rs:10:5
[INFO] [stderr]    |
[INFO] [stderr]  9 | pub struct Inl<L> {
[INFO] [stderr]    |            --- field in this struct
[INFO] [stderr] 10 |     l: L,
[INFO] [stderr]    |     ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `r` is never read
[INFO] [stderr]   --> src/context.rs:14:5
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub struct Inr<R> {
[INFO] [stderr]    |            --- field in this struct
[INFO] [stderr] 14 |     r: R,
[INFO] [stderr]    |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `t` is never read
[INFO] [stderr]   --> src/context.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub struct TSome<T> {
[INFO] [stderr]    |            ----- field in this struct
[INFO] [stderr] 18 |     t: T,
[INFO] [stderr]    |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `l` and `n` are never read
[INFO] [stderr]    --> src/context.rs:179:5
[INFO] [stderr]     |
[INFO] [stderr] 178 | pub struct ElShift<Lift, N> {
[INFO] [stderr]     |            ------- fields in this struct
[INFO] [stderr] 179 |     l: Lift,
[INFO] [stderr]     |     ^
[INFO] [stderr] 180 |     n: N,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `n` and `l` are never read
[INFO] [stderr]    --> src/context.rs:185:5
[INFO] [stderr]     |
[INFO] [stderr] 184 | pub struct ElLift<N, Lift> {
[INFO] [stderr]     |            ------ fields in this struct
[INFO] [stderr] 185 |     n: N,
[INFO] [stderr]     |     ^
[INFO] [stderr] 186 |     l: Lift,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `n` is never read
[INFO] [stderr]    --> src/context.rs:314:5
[INFO] [stderr]     |
[INFO] [stderr] 312 | pub struct EsId<N> {
[INFO] [stderr]     |            ---- field in this struct
[INFO] [stderr] 313 |     /// NOTE: n = pred N
[INFO] [stderr] 314 |     n: N,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `t` and `s` are never read
[INFO] [stderr]    --> src/context.rs:319:5
[INFO] [stderr]     |
[INFO] [stderr] 318 | pub struct EsCons<T,S> {
[INFO] [stderr]     |            ------ fields in this struct
[INFO] [stderr] 319 |     t: T,
[INFO] [stderr]     |     ^
[INFO] [stderr] 320 |     s: S,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `n` and `s` are never read
[INFO] [stderr]    --> src/context.rs:325:5
[INFO] [stderr]     |
[INFO] [stderr] 324 | pub struct EsShift<N, S> {
[INFO] [stderr]     |            ------- fields in this struct
[INFO] [stderr] 325 |     n: N,
[INFO] [stderr]     |     ^
[INFO] [stderr] 326 |     s: S,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `n` and `s` are never read
[INFO] [stderr]    --> src/context.rs:331:5
[INFO] [stderr]     |
[INFO] [stderr] 330 | pub struct EsLift<N, S> {
[INFO] [stderr]     |            ------ fields in this struct
[INFO] [stderr] 331 |     n: N,
[INFO] [stderr]     |     ^
[INFO] [stderr] 332 |     s: S,
[INFO] [stderr]     |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `ty` is never read
[INFO] [stderr]    --> src/context.rs:577:5
[INFO] [stderr]     |
[INFO] [stderr] 576 | pub struct Assum<Type> {
[INFO] [stderr]     |            ----- field in this struct
[INFO] [stderr] 577 |     ty: Type,
[INFO] [stderr]     |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `bd` and `ty` are never read
[INFO] [stderr]    --> src/context.rs:582:5
[INFO] [stderr]     |
[INFO] [stderr] 581 | pub struct Decl<Body, Type> {
[INFO] [stderr]     |            ---- fields in this struct
[INFO] [stderr] 582 |     bd: Body,
[INFO] [stderr]     |     ^^
[INFO] [stderr] 583 |     ty: Type,
[INFO] [stderr]     |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `fun` and `arg` are never read
[INFO] [stderr]    --> src/context.rs:601:5
[INFO] [stderr]     |
[INFO] [stderr] 600 | pub struct App<Fun, /*Args : HList*/Arg> {
[INFO] [stderr]     |            --- fields in this struct
[INFO] [stderr] 601 |     fun: Fun,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 602 |     // args: Args,
[INFO] [stderr] 603 |     arg: Arg,
[INFO] [stderr]     |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `ty` and `bd` are never read
[INFO] [stderr]    --> src/context.rs:607:5
[INFO] [stderr]     |
[INFO] [stderr] 606 | pub struct Lambda<Type, Body> {
[INFO] [stderr]     |            ------ fields in this struct
[INFO] [stderr] 607 |     ty: Type,
[INFO] [stderr]     |     ^^
[INFO] [stderr] 608 |     bd: Body,
[INFO] [stderr]     |     ^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `domain` and `codomain` are never read
[INFO] [stderr]    --> src/context.rs:612:5
[INFO] [stderr]     |
[INFO] [stderr] 611 | pub struct Prod<Domain, CoDomain> {
[INFO] [stderr]     |            ---- fields in this struct
[INFO] [stderr] 612 |     domain: Domain,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr] 613 |     codomain: CoDomain,
[INFO] [stderr]     |     ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `sort` is never read
[INFO] [stderr]    --> src/context.rs:618:5
[INFO] [stderr]     |
[INFO] [stderr] 617 | pub struct Sort<S> {
[INFO] [stderr]     |            ---- field in this struct
[INFO] [stderr] 618 |     sort: S,
[INFO] [stderr]     |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `index` is never read
[INFO] [stderr]    --> src/context.rs:623:5
[INFO] [stderr]     |
[INFO] [stderr] 622 | pub struct Rel<Index> {
[INFO] [stderr]     |            --- field in this struct
[INFO] [stderr] 623 |     index: Index,
[INFO] [stderr]     |     ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `c` is never read
[INFO] [stderr]     --> src/context.rs:1020:5
[INFO] [stderr]      |
[INFO] [stderr] 1019 | pub struct FVal<C> {
[INFO] [stderr]      |            ---- field in this struct
[INFO] [stderr] 1020 |     c: C,
[INFO] [stderr]      |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `c` is never read
[INFO] [stderr]     --> src/context.rs:1028:5
[INFO] [stderr]      |
[INFO] [stderr] 1027 | pub struct FFlex<C> {
[INFO] [stderr]      |            ----- field in this struct
[INFO] [stderr] 1028 |     c: C,
[INFO] [stderr]      |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `v` and `stk` are never read
[INFO] [stderr]     --> src/context.rs:1035:5
[INFO] [stderr]      |
[INFO] [stderr] 1034 | pub struct FStk<V, Stk> {
[INFO] [stderr]      |            ---- fields in this struct
[INFO] [stderr] 1035 |     v: V,
[INFO] [stderr]      |     ^
[INFO] [stderr] 1036 |     stk: Stk,
[INFO] [stderr]      |     ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `t` and `s` are never read
[INFO] [stderr]     --> src/context.rs:1042:5
[INFO] [stderr]      |
[INFO] [stderr] 1041 | pub struct FCbn<T, S> {
[INFO] [stderr]      |            ---- fields in this struct
[INFO] [stderr] 1042 |     t: T,
[INFO] [stderr]      |     ^
[INFO] [stderr] 1043 |     s: S,
[INFO] [stderr]      |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `a` is never read
[INFO] [stderr]     --> src/context.rs:1048:5
[INFO] [stderr]      |
[INFO] [stderr] 1047 | pub struct ZApp<A> {
[INFO] [stderr]      |            ---- field in this struct
[INFO] [stderr] 1048 |     a: A,
[INFO] [stderr]      |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: field `k` is never read
[INFO] [stderr]     --> src/context.rs:1056:5
[INFO] [stderr]      |
[INFO] [stderr] 1055 | pub struct ZShift<K> {
[INFO] [stderr]      |            ------ field in this struct
[INFO] [stderr] 1056 |     k: K,
[INFO] [stderr]      |     ^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `flags` and `rels` are never read
[INFO] [stderr]     --> src/context.rs:1578:5
[INFO] [stderr]      |
[INFO] [stderr] 1577 | pub struct ClosInfos<Flags, Rels> {
[INFO] [stderr]      |            --------- fields in this struct
[INFO] [stderr] 1578 |     flags: Flags,
[INFO] [stderr]      |     ^^^^^
[INFO] [stderr] 1579 |     rels: Rels,
[INFO] [stderr]      |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `dependent_traits` (bin "dependent_traits" test) generated 30 warnings (run `cargo fix --bin "dependent_traits" -p dependent_traits --tests` to apply 3 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[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] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/dependent_traits-1fee896ad443fcc7)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test context::test::judge_simple_rel ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "3a2c68cf381e37480b9866ce3b7496ba225d3581bf736247c5fff44d891b0756", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3a2c68cf381e37480b9866ce3b7496ba225d3581bf736247c5fff44d891b0756", kill_on_drop: false }`
[INFO] [stdout] 3a2c68cf381e37480b9866ce3b7496ba225d3581bf736247c5fff44d891b0756
