[INFO] updating cached repository pythonesque/dependent_traits [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/pythonesque/dependent_traits [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/pythonesque/dependent_traits" "work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/gh/pythonesque/dependent_traits"` [INFO] [stderr] Cloning into 'work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/gh/pythonesque/dependent_traits'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/pythonesque/dependent_traits" "work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/pythonesque/dependent_traits"` [INFO] [stderr] Cloning into 'work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/pythonesque/dependent_traits'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 0ae01abfaa8ef8df7ef778b6462097b2b48f6865 [INFO] sha for GitHub repo pythonesque/dependent_traits: 0ae01abfaa8ef8df7ef778b6462097b2b48f6865 [INFO] validating manifest of pythonesque/dependent_traits on toolchain master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7 [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of pythonesque/dependent_traits on toolchain try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing pythonesque/dependent_traits [INFO] finished frobbing pythonesque/dependent_traits [INFO] frobbed toml for pythonesque/dependent_traits written to work/ex/pr-59199/sources/master#bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/gh/pythonesque/dependent_traits/Cargo.toml [INFO] started frobbing pythonesque/dependent_traits [INFO] finished frobbing pythonesque/dependent_traits [INFO] frobbed toml for pythonesque/dependent_traits written to work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/pythonesque/dependent_traits/Cargo.toml [INFO] crate pythonesque/dependent_traits already has a lockfile, it will not be regenerated [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/crater-raid/crater/work/local/cargo-home/bin/cargo" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking pythonesque/dependent_traits against try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b for pr-59199 [INFO] running `"docker" "create" "-v" "/mnt/crater-raid/crater/work/local/target-dirs/pr-59199/worker-5/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b:/opt/crater/target:rw,Z" "-v" "/mnt/crater-raid/crater/work/ex/pr-59199/sources/try#68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b/gh/pythonesque/dependent_traits:/opt/crater/workdir:ro,Z" "-v" "/mnt/crater-raid/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/crater-raid/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" "+68fcf881bd1e4dbfc21e22f8c7a56b8a5d8e8f7b-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] ceb1483cf38da77098db2b31a7716d778432211c83a1721a0b96af5f6286a704 [INFO] running `"docker" "start" "-a" "ceb1483cf38da77098db2b31a7716d778432211c83a1721a0b96af5f6286a704"` [INFO] [stderr] Compiling frunk_core v0.2.0 [INFO] [stderr] Compiling frunk_derives v0.2.0 [INFO] [stderr] Checking frunk v0.2.0 [INFO] [stderr] Checking dependent_traits v0.1.0 (/opt/crater/workdir) [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1950 | impl_eqappr_false!([S], FVal>, [N], FVal>); [INFO] [stderr] | ---------------------------------------------------------- rustdoc does not generate documentation for macro expansions [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_doc_comments)] on by default [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:1980:1 [INFO] [stderr] | [INFO] [stderr] 1980 | /// All the remaining terms that can't compare to Rels: Prod. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1981 | impl_eqappr_false!([N], FVal>, [T, C, E], FCbn, E>); [INFO] [stderr] | ---------------------------------------------------------------------- rustdoc does not generate documentation for macro expansions [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 2045 | impl_eqappr_false!([T1, B1, E1], FCbn, E1>, [T2, C2, E2], FCbn, E2>); [INFO] [stderr] | ------------------------------------------------------------------------------------------------- rustdoc does not generate documentation for macro expansions [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:1949:1 [INFO] [stderr] | [INFO] [stderr] 1949 | /// All the remaining terms that can't compare to Sorts: Rel, Lambda, Prod. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1950 | impl_eqappr_false!([S], FVal>, [N], FVal>); [INFO] [stderr] | ---------------------------------------------------------- rustdoc does not generate documentation for macro expansions [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_doc_comments)] on by default [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:1980:1 [INFO] [stderr] | [INFO] [stderr] 1980 | /// All the remaining terms that can't compare to Rels: Prod. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 1981 | impl_eqappr_false!([N], FVal>, [T, C, E], FCbn, E>); [INFO] [stderr] | ---------------------------------------------------------------------- rustdoc does not generate documentation for macro expansions [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 2045 | impl_eqappr_false!([T1, B1, E1], FCbn, E1>, [T2, C2, E2], FCbn, E2>); [INFO] [stderr] | ------------------------------------------------------------------------------------------------- rustdoc does not generate documentation for macro expansions [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 `#[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)] on by default [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: `Generic`, `LabelledGeneric` [INFO] [stderr] --> src/context.rs:3:13 [INFO] [stderr] | [INFO] [stderr] 3 | use frunk::{Generic, LabelledGeneric}; [INFO] [stderr] | ^^^^^^^ ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `LiftFrom`, `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 `#[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)] on by default [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`, `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`, `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 is never used: `l` [INFO] [stderr] --> src/context.rs:10:5 [INFO] [stderr] | [INFO] [stderr] 10 | l: L, [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: field is never used: `r` [INFO] [stderr] --> src/context.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | r: R, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `l` [INFO] [stderr] --> src/context.rs:179:5 [INFO] [stderr] | [INFO] [stderr] 179 | l: Lift, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:180:5 [INFO] [stderr] | [INFO] [stderr] 180 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:185:5 [INFO] [stderr] | [INFO] [stderr] 185 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `l` [INFO] [stderr] --> src/context.rs:186:5 [INFO] [stderr] | [INFO] [stderr] 186 | l: Lift, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:314:5 [INFO] [stderr] | [INFO] [stderr] 314 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:319:5 [INFO] [stderr] | [INFO] [stderr] 319 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:320:5 [INFO] [stderr] | [INFO] [stderr] 320 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:325:5 [INFO] [stderr] | [INFO] [stderr] 325 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:326:5 [INFO] [stderr] | [INFO] [stderr] 326 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:331:5 [INFO] [stderr] | [INFO] [stderr] 331 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:332:5 [INFO] [stderr] | [INFO] [stderr] 332 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:577:5 [INFO] [stderr] | [INFO] [stderr] 577 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `bd` [INFO] [stderr] --> src/context.rs:582:5 [INFO] [stderr] | [INFO] [stderr] 582 | bd: Body, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:583:5 [INFO] [stderr] | [INFO] [stderr] 583 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `fun` [INFO] [stderr] --> src/context.rs:601:5 [INFO] [stderr] | [INFO] [stderr] 601 | fun: Fun, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `arg` [INFO] [stderr] --> src/context.rs:603:5 [INFO] [stderr] | [INFO] [stderr] 603 | arg: Arg, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:607:5 [INFO] [stderr] | [INFO] [stderr] 607 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `bd` [INFO] [stderr] --> src/context.rs:608:5 [INFO] [stderr] | [INFO] [stderr] 608 | bd: Body, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `domain` [INFO] [stderr] --> src/context.rs:612:5 [INFO] [stderr] | [INFO] [stderr] 612 | domain: Domain, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `codomain` [INFO] [stderr] --> src/context.rs:613:5 [INFO] [stderr] | [INFO] [stderr] 613 | codomain: CoDomain, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `sort` [INFO] [stderr] --> src/context.rs:618:5 [INFO] [stderr] | [INFO] [stderr] 618 | sort: S, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `index` [INFO] [stderr] --> src/context.rs:623:5 [INFO] [stderr] | [INFO] [stderr] 623 | index: Index, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `c` [INFO] [stderr] --> src/context.rs:1020:5 [INFO] [stderr] | [INFO] [stderr] 1020 | c: C, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `c` [INFO] [stderr] --> src/context.rs:1028:5 [INFO] [stderr] | [INFO] [stderr] 1028 | c: C, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `v` [INFO] [stderr] --> src/context.rs:1035:5 [INFO] [stderr] | [INFO] [stderr] 1035 | v: V, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `stk` [INFO] [stderr] --> src/context.rs:1036:5 [INFO] [stderr] | [INFO] [stderr] 1036 | stk: Stk, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:1042:5 [INFO] [stderr] | [INFO] [stderr] 1042 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:1043:5 [INFO] [stderr] | [INFO] [stderr] 1043 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `a` [INFO] [stderr] --> src/context.rs:1048:5 [INFO] [stderr] | [INFO] [stderr] 1048 | a: A, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `k` [INFO] [stderr] --> src/context.rs:1056:5 [INFO] [stderr] | [INFO] [stderr] 1056 | k: K, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `flags` [INFO] [stderr] --> src/context.rs:1578:5 [INFO] [stderr] | [INFO] [stderr] 1578 | flags: Flags, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `rels` [INFO] [stderr] --> src/context.rs:1579:5 [INFO] [stderr] | [INFO] [stderr] 1579 | rels: Rels, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `l` [INFO] [stderr] --> src/context.rs:10:5 [INFO] [stderr] | [INFO] [stderr] 10 | l: L, [INFO] [stderr] | ^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: field is never used: `r` [INFO] [stderr] --> src/context.rs:14:5 [INFO] [stderr] | [INFO] [stderr] 14 | r: R, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 18 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `l` [INFO] [stderr] --> src/context.rs:179:5 [INFO] [stderr] | [INFO] [stderr] 179 | l: Lift, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:180:5 [INFO] [stderr] | [INFO] [stderr] 180 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:185:5 [INFO] [stderr] | [INFO] [stderr] 185 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `l` [INFO] [stderr] --> src/context.rs:186:5 [INFO] [stderr] | [INFO] [stderr] 186 | l: Lift, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:314:5 [INFO] [stderr] | [INFO] [stderr] 314 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:319:5 [INFO] [stderr] | [INFO] [stderr] 319 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:320:5 [INFO] [stderr] | [INFO] [stderr] 320 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:325:5 [INFO] [stderr] | [INFO] [stderr] 325 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:326:5 [INFO] [stderr] | [INFO] [stderr] 326 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `n` [INFO] [stderr] --> src/context.rs:331:5 [INFO] [stderr] | [INFO] [stderr] 331 | n: N, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:332:5 [INFO] [stderr] | [INFO] [stderr] 332 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:577:5 [INFO] [stderr] | [INFO] [stderr] 577 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `bd` [INFO] [stderr] --> src/context.rs:582:5 [INFO] [stderr] | [INFO] [stderr] 582 | bd: Body, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:583:5 [INFO] [stderr] | [INFO] [stderr] 583 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `fun` [INFO] [stderr] --> src/context.rs:601:5 [INFO] [stderr] | [INFO] [stderr] 601 | fun: Fun, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `arg` [INFO] [stderr] --> src/context.rs:603:5 [INFO] [stderr] | [INFO] [stderr] 603 | arg: Arg, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `ty` [INFO] [stderr] --> src/context.rs:607:5 [INFO] [stderr] | [INFO] [stderr] 607 | ty: Type, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `bd` [INFO] [stderr] --> src/context.rs:608:5 [INFO] [stderr] | [INFO] [stderr] 608 | bd: Body, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `domain` [INFO] [stderr] --> src/context.rs:612:5 [INFO] [stderr] | [INFO] [stderr] 612 | domain: Domain, [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `codomain` [INFO] [stderr] --> src/context.rs:613:5 [INFO] [stderr] | [INFO] [stderr] 613 | codomain: CoDomain, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `sort` [INFO] [stderr] --> src/context.rs:618:5 [INFO] [stderr] | [INFO] [stderr] 618 | sort: S, [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `index` [INFO] [stderr] --> src/context.rs:623:5 [INFO] [stderr] | [INFO] [stderr] 623 | index: Index, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `c` [INFO] [stderr] --> src/context.rs:1020:5 [INFO] [stderr] | [INFO] [stderr] 1020 | c: C, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `c` [INFO] [stderr] --> src/context.rs:1028:5 [INFO] [stderr] | [INFO] [stderr] 1028 | c: C, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `v` [INFO] [stderr] --> src/context.rs:1035:5 [INFO] [stderr] | [INFO] [stderr] 1035 | v: V, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `stk` [INFO] [stderr] --> src/context.rs:1036:5 [INFO] [stderr] | [INFO] [stderr] 1036 | stk: Stk, [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `t` [INFO] [stderr] --> src/context.rs:1042:5 [INFO] [stderr] | [INFO] [stderr] 1042 | t: T, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `s` [INFO] [stderr] --> src/context.rs:1043:5 [INFO] [stderr] | [INFO] [stderr] 1043 | s: S, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `a` [INFO] [stderr] --> src/context.rs:1048:5 [INFO] [stderr] | [INFO] [stderr] 1048 | a: A, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `k` [INFO] [stderr] --> src/context.rs:1056:5 [INFO] [stderr] | [INFO] [stderr] 1056 | k: K, [INFO] [stderr] | ^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `flags` [INFO] [stderr] --> src/context.rs:1578:5 [INFO] [stderr] | [INFO] [stderr] 1578 | flags: Flags, [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field is never used: `rels` [INFO] [stderr] --> src/context.rs:1579:5 [INFO] [stderr] | [INFO] [stderr] 1579 | rels: Rels, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 20.49s [INFO] running `"docker" "inspect" "ceb1483cf38da77098db2b31a7716d778432211c83a1721a0b96af5f6286a704"` [INFO] running `"docker" "rm" "-f" "ceb1483cf38da77098db2b31a7716d778432211c83a1721a0b96af5f6286a704"` [INFO] [stdout] ceb1483cf38da77098db2b31a7716d778432211c83a1721a0b96af5f6286a704