Dec 17 17:31:02.141 INFO checking pythonesque/dependent_traits against try#0b8c5828f68d7b2840b81fa51239346dc97fef5a for pr-54252
Dec 17 17:31:02.141 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-3/try#0b8c5828f68d7b2840b81fa51239346dc97fef5a:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/try#0b8c5828f68d7b2840b81fa51239346dc97fef5a/gh/pythonesque/dependent_traits:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+0b8c5828f68d7b2840b81fa51239346dc97fef5a-alt" "check" "--frozen" "--all" "--all-targets"`
Dec 17 17:31:02.738 INFO [stdout] ba0a33db7190a3992567d600da054b84440be5a7a7607b08924a7aee50affeaf
Dec 17 17:31:02.740 INFO running `"docker" "start" "-a" "ba0a33db7190a3992567d600da054b84440be5a7a7607b08924a7aee50affeaf"`
Dec 17 17:31:05.276 INFO [stderr]    Compiling frunk_core v0.2.0
Dec 17 17:31:22.724 INFO [stderr]    Compiling frunk_derives v0.2.0
Dec 17 17:31:25.037 INFO [stderr]     Checking frunk v0.2.0
Dec 17 17:31:25.852 INFO [stderr]     Checking dependent_traits v0.1.0 (/opt/crater/workdir)
Dec 17 17:31:26.001 INFO [stderr] warning: unused `#[macro_use]` import
Dec 17 17:31:26.001 INFO [stderr]  --> src/main.rs:4:1
Dec 17 17:31:26.002 INFO [stderr]   |
Dec 17 17:31:26.002 INFO [stderr] 4 | #[macro_use]
Dec 17 17:31:26.002 INFO [stderr]   | ^^^^^^^^^^^^
Dec 17 17:31:26.002 INFO [stderr]   |
Dec 17 17:31:26.002 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 17 17:31:26.002 INFO [stderr] 
Dec 17 17:31:26.002 INFO [stderr] warning: unused import: `std::mem`
Dec 17 17:31:26.002 INFO [stderr]  --> src/context.rs:1:5
Dec 17 17:31:26.002 INFO [stderr]   |
Dec 17 17:31:26.002 INFO [stderr] 1 | use std::mem;
Dec 17 17:31:26.002 INFO [stderr]   |     ^^^^^^^^
Dec 17 17:31:26.002 INFO [stderr] 
Dec 17 17:31:26.002 INFO [stderr] warning: unused imports: `Generic`, `LabelledGeneric`
Dec 17 17:31:26.002 INFO [stderr]  --> src/context.rs:3:13
Dec 17 17:31:26.002 INFO [stderr]   |
Dec 17 17:31:26.002 INFO [stderr] 3 | use frunk::{Generic, LabelledGeneric};
Dec 17 17:31:26.002 INFO [stderr]   |             ^^^^^^^  ^^^^^^^^^^^^^^^
Dec 17 17:31:26.002 INFO [stderr] 
Dec 17 17:31:26.002 INFO [stderr] warning: unused imports: `LiftFrom`, `Selector`
Dec 17 17:31:26.002 INFO [stderr]  --> src/context.rs:4:40
Dec 17 17:31:26.002 INFO [stderr]   |
Dec 17 17:31:26.002 INFO [stderr] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector};
Dec 17 17:31:26.002 INFO [stderr]   |                                        ^^^^^^^^  ^^^^^^^^
Dec 17 17:31:26.002 INFO [stderr] 
Dec 17 17:31:26.120 INFO [stderr] warning: unused `#[macro_use]` import
Dec 17 17:31:26.120 INFO [stderr]  --> src/main.rs:4:1
Dec 17 17:31:26.120 INFO [stderr]   |
Dec 17 17:31:26.120 INFO [stderr] 4 | #[macro_use]
Dec 17 17:31:26.120 INFO [stderr]   | ^^^^^^^^^^^^
Dec 17 17:31:26.120 INFO [stderr]   |
Dec 17 17:31:26.120 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 17 17:31:26.120 INFO [stderr] 
Dec 17 17:31:26.120 INFO [stderr] warning: unused import: `std::mem`
Dec 17 17:31:26.120 INFO [stderr]  --> src/context.rs:1:5
Dec 17 17:31:26.120 INFO [stderr]   |
Dec 17 17:31:26.120 INFO [stderr] 1 | use std::mem;
Dec 17 17:31:26.120 INFO [stderr]   |     ^^^^^^^^
Dec 17 17:31:26.120 INFO [stderr] 
Dec 17 17:31:26.120 INFO [stderr] warning: unused imports: `LiftFrom`, `Selector`
Dec 17 17:31:26.120 INFO [stderr]  --> src/context.rs:4:40
Dec 17 17:31:26.120 INFO [stderr]   |
Dec 17 17:31:26.120 INFO [stderr] 4 | use frunk::hlist::{HCons, HList, HNil, LiftFrom, Selector};
Dec 17 17:31:26.120 INFO [stderr]   |                                        ^^^^^^^^  ^^^^^^^^
Dec 17 17:31:26.120 INFO [stderr] 
Dec 17 17:31:26.120 INFO [stderr] warning: unused imports: `HCons`, `HNil`, `LiftFrom`, `Selector`
Dec 17 17:31:26.120 INFO [stderr]     --> src/context.rs:2627:24
Dec 17 17:31:26.121 INFO [stderr]      |
Dec 17 17:31:26.121 INFO [stderr] 2627 |     use frunk::hlist::{HCons, HNil, LiftFrom, Selector};
Dec 17 17:31:26.121 INFO [stderr]      |                        ^^^^^  ^^^^  ^^^^^^^^  ^^^^^^^^
Dec 17 17:31:26.121 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.203 INFO [stderr]   --> src/context.rs:10:5
Dec 17 17:31:26.203 INFO [stderr]    |
Dec 17 17:31:26.203 INFO [stderr] 10 |     l: L,
Dec 17 17:31:26.203 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.203 INFO [stderr]    |
Dec 17 17:31:26.203 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `r`
Dec 17 17:31:26.203 INFO [stderr]   --> src/context.rs:14:5
Dec 17 17:31:26.203 INFO [stderr]    |
Dec 17 17:31:26.203 INFO [stderr] 14 |     r: R,
Dec 17 17:31:26.203 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.203 INFO [stderr]   --> src/context.rs:18:5
Dec 17 17:31:26.203 INFO [stderr]    |
Dec 17 17:31:26.203 INFO [stderr] 18 |     t: T,
Dec 17 17:31:26.203 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.203 INFO [stderr]    --> src/context.rs:179:5
Dec 17 17:31:26.203 INFO [stderr]     |
Dec 17 17:31:26.203 INFO [stderr] 179 |     l: Lift,
Dec 17 17:31:26.203 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.203 INFO [stderr]    --> src/context.rs:180:5
Dec 17 17:31:26.203 INFO [stderr]     |
Dec 17 17:31:26.203 INFO [stderr] 180 |     n: N,
Dec 17 17:31:26.203 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.203 INFO [stderr]    --> src/context.rs:185:5
Dec 17 17:31:26.203 INFO [stderr]     |
Dec 17 17:31:26.203 INFO [stderr] 185 |     n: N,
Dec 17 17:31:26.203 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.203 INFO [stderr] 
Dec 17 17:31:26.203 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.203 INFO [stderr]    --> src/context.rs:186:5
Dec 17 17:31:26.203 INFO [stderr]     |
Dec 17 17:31:26.203 INFO [stderr] 186 |     l: Lift,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:314:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 314 |     n: N,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:319:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 319 |     t: T,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:320:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 320 |     s: S,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:325:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 325 |     n: N,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:326:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 326 |     s: S,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:331:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 331 |     n: N,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:332:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 332 |     s: S,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:577:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 577 |     ty: Type,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `bd`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:582:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 582 |     bd: Body,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:583:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 583 |     ty: Type,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `fun`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:601:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 601 |     fun: Fun,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `arg`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:603:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 603 |     arg: Arg,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:607:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 607 |     ty: Type,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `bd`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:608:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 608 |     bd: Body,
Dec 17 17:31:26.204 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.204 INFO [stderr] 
Dec 17 17:31:26.204 INFO [stderr] warning: field is never used: `domain`
Dec 17 17:31:26.204 INFO [stderr]    --> src/context.rs:612:5
Dec 17 17:31:26.204 INFO [stderr]     |
Dec 17 17:31:26.204 INFO [stderr] 612 |     domain: Domain,
Dec 17 17:31:26.205 INFO [stderr]     |     ^^^^^^^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `codomain`
Dec 17 17:31:26.205 INFO [stderr]    --> src/context.rs:613:5
Dec 17 17:31:26.205 INFO [stderr]     |
Dec 17 17:31:26.205 INFO [stderr] 613 |     codomain: CoDomain,
Dec 17 17:31:26.205 INFO [stderr]     |     ^^^^^^^^^^^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `sort`
Dec 17 17:31:26.205 INFO [stderr]    --> src/context.rs:618:5
Dec 17 17:31:26.205 INFO [stderr]     |
Dec 17 17:31:26.205 INFO [stderr] 618 |     sort: S,
Dec 17 17:31:26.205 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `index`
Dec 17 17:31:26.205 INFO [stderr]    --> src/context.rs:623:5
Dec 17 17:31:26.205 INFO [stderr]     |
Dec 17 17:31:26.205 INFO [stderr] 623 |     index: Index,
Dec 17 17:31:26.205 INFO [stderr]     |     ^^^^^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `c`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1020:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1020 |     c: C,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `c`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1028:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1028 |     c: C,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `v`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1035:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1035 |     v: V,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `stk`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1036:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1036 |     stk: Stk,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1042:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1042 |     t: T,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1043:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1043 |     s: S,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `a`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1048:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1048 |     a: A,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `k`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1056:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1056 |     k: K,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `flags`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1578:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1578 |     flags: Flags,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.205 INFO [stderr] warning: field is never used: `rels`
Dec 17 17:31:26.205 INFO [stderr]     --> src/context.rs:1579:5
Dec 17 17:31:26.205 INFO [stderr]      |
Dec 17 17:31:26.205 INFO [stderr] 1579 |     rels: Rels,
Dec 17 17:31:26.205 INFO [stderr]      |     ^^^^^^^^^^
Dec 17 17:31:26.205 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.685 INFO [stderr]   --> src/context.rs:10:5
Dec 17 17:31:26.685 INFO [stderr]    |
Dec 17 17:31:26.685 INFO [stderr] 10 |     l: L,
Dec 17 17:31:26.685 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.685 INFO [stderr]    |
Dec 17 17:31:26.685 INFO [stderr]    = note: #[warn(dead_code)] on by default
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `r`
Dec 17 17:31:26.685 INFO [stderr]   --> src/context.rs:14:5
Dec 17 17:31:26.685 INFO [stderr]    |
Dec 17 17:31:26.685 INFO [stderr] 14 |     r: R,
Dec 17 17:31:26.685 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.685 INFO [stderr]   --> src/context.rs:18:5
Dec 17 17:31:26.685 INFO [stderr]    |
Dec 17 17:31:26.685 INFO [stderr] 18 |     t: T,
Dec 17 17:31:26.685 INFO [stderr]    |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:179:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 179 |     l: Lift,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:180:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 180 |     n: N,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:185:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 185 |     n: N,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `l`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:186:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 186 |     l: Lift,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:314:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 314 |     n: N,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:319:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.685 INFO [stderr] 319 |     t: T,
Dec 17 17:31:26.685 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.685 INFO [stderr] 
Dec 17 17:31:26.685 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.685 INFO [stderr]    --> src/context.rs:320:5
Dec 17 17:31:26.685 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 320 |     s: S,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:325:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 325 |     n: N,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:326:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 326 |     s: S,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `n`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:331:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 331 |     n: N,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:332:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 332 |     s: S,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:577:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 577 |     ty: Type,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `bd`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:582:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 582 |     bd: Body,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:583:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 583 |     ty: Type,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `fun`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:601:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 601 |     fun: Fun,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `arg`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:603:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 603 |     arg: Arg,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `ty`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:607:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 607 |     ty: Type,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `bd`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:608:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 608 |     bd: Body,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `domain`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:612:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 612 |     domain: Domain,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `codomain`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:613:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 613 |     codomain: CoDomain,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^^^^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `sort`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:618:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 618 |     sort: S,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.686 INFO [stderr] warning: field is never used: `index`
Dec 17 17:31:26.686 INFO [stderr]    --> src/context.rs:623:5
Dec 17 17:31:26.686 INFO [stderr]     |
Dec 17 17:31:26.686 INFO [stderr] 623 |     index: Index,
Dec 17 17:31:26.686 INFO [stderr]     |     ^^^^^^^^^^^^
Dec 17 17:31:26.686 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `c`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1020:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1020 |     c: C,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `c`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1028:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1028 |     c: C,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `v`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1035:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1035 |     v: V,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `stk`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1036:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1036 |     stk: Stk,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `t`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1042:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1042 |     t: T,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `s`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1043:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1043 |     s: S,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `a`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1048:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1048 |     a: A,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `k`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1056:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1056 |     k: K,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `flags`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1578:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1578 |     flags: Flags,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^^^^^^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.687 INFO [stderr] warning: field is never used: `rels`
Dec 17 17:31:26.687 INFO [stderr]     --> src/context.rs:1579:5
Dec 17 17:31:26.687 INFO [stderr]      |
Dec 17 17:31:26.687 INFO [stderr] 1579 |     rels: Rels,
Dec 17 17:31:26.687 INFO [stderr]      |     ^^^^^^^^^^
Dec 17 17:31:26.687 INFO [stderr] 
Dec 17 17:31:26.756 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 21.55s
Dec 17 17:31:27.965 INFO running `"docker" "inspect" "ba0a33db7190a3992567d600da054b84440be5a7a7607b08924a7aee50affeaf"`
Dec 17 17:31:28.228 INFO running `"docker" "rm" "-f" "ba0a33db7190a3992567d600da054b84440be5a7a7607b08924a7aee50affeaf"`
Dec 17 17:31:28.584 INFO [stdout] ba0a33db7190a3992567d600da054b84440be5a7a7607b08924a7aee50affeaf