[INFO] cloning repository https://github.com/pythonesque/dependent_traits [INFO] running `"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"` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits'... [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 0ae01abfaa8ef8df7ef778b6462097b2b48f6865 [INFO] testing pythonesque/dependent_traits against 1.44.0 for beta-1.45-1 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpythonesque%2Fdependent_traits" "/workspace/builds/worker-5/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/pythonesque/dependent_traits on toolchain 1.44.0 [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"` [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/source/Cargo.toml [INFO] crate git repo https://github.com/pythonesque/dependent_traits already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 42a1e1e27308270fa8754092905acc63531af09ac54cb9f3a01b68f07cb9cea3 [INFO] running `"docker" "start" "-a" "42a1e1e27308270fa8754092905acc63531af09ac54cb9f3a01b68f07cb9cea3"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [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] [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 macros [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [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 macros [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: field is never read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `rels` [INFO] [stderr] --> src/context.rs:1579:5 [INFO] [stderr] | [INFO] [stderr] 1579 | rels: Rels, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 42 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 17.67s [INFO] running `"docker" "inspect" "42a1e1e27308270fa8754092905acc63531af09ac54cb9f3a01b68f07cb9cea3"` [INFO] running `"docker" "rm" "-f" "42a1e1e27308270fa8754092905acc63531af09ac54cb9f3a01b68f07cb9cea3"` [INFO] [stdout] 42a1e1e27308270fa8754092905acc63531af09ac54cb9f3a01b68f07cb9cea3 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 26f339cc22475bd29df96354f86974b72c59bba64a3b717d61289c128a40009a [INFO] running `"docker" "start" "-a" "26f339cc22475bd29df96354f86974b72c59bba64a3b717d61289c128a40009a"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling dependent_traits v0.1.0 (/opt/rustwide/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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [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 macros [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: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `rels` [INFO] [stderr] --> src/context.rs:1579:5 [INFO] [stderr] | [INFO] [stderr] 1579 | rels: Rels, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 42 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.28s [INFO] running `"docker" "inspect" "26f339cc22475bd29df96354f86974b72c59bba64a3b717d61289c128a40009a"` [INFO] running `"docker" "rm" "-f" "26f339cc22475bd29df96354f86974b72c59bba64a3b717d61289c128a40009a"` [INFO] [stdout] 26f339cc22475bd29df96354f86974b72c59bba64a3b717d61289c128a40009a [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 92341ba4d7c7233fcf8cba406bfd8c918bdae299f36e5806bcb686cf83383b83 [INFO] running `"docker" "start" "-a" "92341ba4d7c7233fcf8cba406bfd8c918bdae299f36e5806bcb686cf83383b83"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [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 macros [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] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ rustdoc does not generate documentation for macros [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 macros [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: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `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 read: `rels` [INFO] [stderr] --> src/context.rs:1579:5 [INFO] [stderr] | [INFO] [stderr] 1579 | rels: Rels, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: 42 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.09s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/dependent_traits-3bbd39e820d2769f [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 [INFO] [stdout] [INFO] running `"docker" "inspect" "92341ba4d7c7233fcf8cba406bfd8c918bdae299f36e5806bcb686cf83383b83"` [INFO] running `"docker" "rm" "-f" "92341ba4d7c7233fcf8cba406bfd8c918bdae299f36e5806bcb686cf83383b83"` [INFO] [stdout] 92341ba4d7c7233fcf8cba406bfd8c918bdae299f36e5806bcb686cf83383b83