[INFO] cloning repository https://github.com/MarvelousAnything/linear-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarvelousAnything/linear-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarvelousAnything%2Flinear-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarvelousAnything%2Flinear-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e0ca485ff30674948e984061da33230e7a1659c3
[INFO] checking MarvelousAnything/linear-rust against try#0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9 for pr-147185
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarvelousAnything%2Flinear-rust" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/MarvelousAnything/linear-rust
[INFO] finished tweaking git repo https://github.com/MarvelousAnything/linear-rust
[INFO] tweaked toml for git repo https://github.com/MarvelousAnything/linear-rust written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/MarvelousAnything/linear-rust on toolchain 0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/MarvelousAnything/linear-rust 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" "+0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d18d658bee727fa2082c678fe1015823e7147fc24b46f9a7d9687ef89fcc7e05
[INFO] running `Command { std: "docker" "start" "-a" "d18d658bee727fa2082c678fe1015823e7147fc24b46f9a7d9687ef89fcc7e05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d18d658bee727fa2082c678fe1015823e7147fc24b46f9a7d9687ef89fcc7e05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d18d658bee727fa2082c678fe1015823e7147fc24b46f9a7d9687ef89fcc7e05", kill_on_drop: false }`
[INFO] [stdout] d18d658bee727fa2082c678fe1015823e7147fc24b46f9a7d9687ef89fcc7e05
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+0de49ae9e81f9a1e7df6f0783824ce94ed18e8a9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9a7f442fee76ce3c6a410b27342ad825890d2ad0e126e13930d15d1fa695757e
[INFO] running `Command { std: "docker" "start" "-a" "9a7f442fee76ce3c6a410b27342ad825890d2ad0e126e13930d15d1fa695757e", kill_on_drop: false }`
[INFO] [stderr]     Checking num-traits v0.2.15
[INFO] [stderr]     Checking linear-rust v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `EmptySet` and `Union`
[INFO] [stdout]  --> src/set/non_determinate_set.rs:1:26
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::set::axioms::{EmptySet, Union};
[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 import: `std::cmp::Ordering`
[INFO] [stdout]  --> src/set/non_determinate_set.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cmp::Ordering;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Matrix` is never used
[INFO] [stdout]  --> src/matrix/traits.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait Matrix<const R: usize, const C: usize>: Debug + Sized + Clone {
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Identity` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:39:11
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub trait Identity<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Traceable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:46:11
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub trait Traceable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Transposable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:53:11
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub trait Transposable<const R: usize, const C: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Determinable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:60:11
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub trait Determinable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Cofactor` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:67:11
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub trait Cofactor<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `LUDecomposable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:74:11
[INFO] [stdout]    |
[INFO] [stdout] 74 | pub trait LUDecomposable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Basis` is never used
[INFO] [stdout]  --> src/matrix/space.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Basis {
[INFO] [stdout]   |           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `VectorSpace` is never used
[INFO] [stdout]  --> src/matrix/vector.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait VectorSpace {
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Printer` is never used
[INFO] [stdout]  --> src/printer.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Printer {
[INFO] [stdout]   |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Set` is never used
[INFO] [stdout]   --> src/set/mod.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait Set {
[INFO] [stdout]    |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Extensionality` is never used
[INFO] [stdout]  --> src/set/axioms.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait Extensionality<T> {
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Cardinality` is never used
[INFO] [stdout]   --> src/set/axioms.rs:11:11
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub trait Cardinality {
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `EmptySet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:18:11
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub trait EmptySet {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairSet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:25:11
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub trait PairSet<T, U> {
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Union` is never used
[INFO] [stdout]   --> src/set/axioms.rs:33:11
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub trait Union<T> {
[INFO] [stdout]    |           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Intersection` is never used
[INFO] [stdout]   --> src/set/axioms.rs:41:11
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub trait Intersection<T> {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Difference` is never used
[INFO] [stdout]   --> src/set/axioms.rs:49:11
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub trait Difference<T> {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Complement` is never used
[INFO] [stdout]   --> src/set/axioms.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 | pub trait Complement {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Regularity` is never used
[INFO] [stdout]   --> src/set/axioms.rs:64:11
[INFO] [stdout]    |
[INFO] [stdout] 64 | pub trait Regularity {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PowerSet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:72:11
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub trait PowerSet {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Replacement` is never used
[INFO] [stdout]   --> src/set/axioms.rs:79:11
[INFO] [stdout]    |
[INFO] [stdout] 79 | pub trait Replacement<A, B> {
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Choice` is never used
[INFO] [stdout]   --> src/set/axioms.rs:86:11
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub trait Choice<T> {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Specification` is never used
[INFO] [stdout]   --> src/set/axioms.rs:93:11
[INFO] [stdout]    |
[INFO] [stdout] 93 | pub trait Specification<T> {
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Induction` is never used
[INFO] [stdout]    --> src/set/axioms.rs:109:11
[INFO] [stdout]     |
[INFO] [stdout] 109 | pub trait Induction<T> {
[INFO] [stdout]     |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Domain` is never used
[INFO] [stdout]  --> src/set/domain.rs:2:11
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub trait Domain {}
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FiniteSet` is never constructed
[INFO] [stdout]  --> src/set/finite_set.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct FiniteSet<T> {
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PeanoAxioms` is never used
[INFO] [stdout]  --> src/set/natural.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait PeanoAxioms {
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NonDeterminantSet` is never used
[INFO] [stdout]  --> src/set/non_determinate_set.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait NonDeterminantSet: Sized {
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `EmptySet` and `Union`
[INFO] [stdout]  --> src/set/non_determinate_set.rs:1:26
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::set::axioms::{EmptySet, Union};
[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 import: `std::cmp::Ordering`
[INFO] [stdout]  --> src/set/non_determinate_set.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::cmp::Ordering;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Matrix` is never used
[INFO] [stdout]  --> src/matrix/traits.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait Matrix<const R: usize, const C: usize>: Debug + Sized + Clone {
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Identity` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:39:11
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub trait Identity<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Traceable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:46:11
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub trait Traceable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Transposable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:53:11
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub trait Transposable<const R: usize, const C: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Determinable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:60:11
[INFO] [stdout]    |
[INFO] [stdout] 60 | pub trait Determinable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Cofactor` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:67:11
[INFO] [stdout]    |
[INFO] [stdout] 67 | pub trait Cofactor<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `LUDecomposable` is never used
[INFO] [stdout]   --> src/matrix/traits.rs:74:11
[INFO] [stdout]    |
[INFO] [stdout] 74 | pub trait LUDecomposable<const N: usize>
[INFO] [stdout]    |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Basis` is never used
[INFO] [stdout]  --> src/matrix/space.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Basis {
[INFO] [stdout]   |           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `VectorSpace` is never used
[INFO] [stdout]  --> src/matrix/vector.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait VectorSpace {
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Printer` is never used
[INFO] [stdout]  --> src/printer.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait Printer {
[INFO] [stdout]   |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Set` is never used
[INFO] [stdout]   --> src/set/mod.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait Set {
[INFO] [stdout]    |           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Extensionality` is never used
[INFO] [stdout]  --> src/set/axioms.rs:4:11
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub trait Extensionality<T> {
[INFO] [stdout]   |           ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Cardinality` is never used
[INFO] [stdout]   --> src/set/axioms.rs:11:11
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub trait Cardinality {
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `EmptySet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:18:11
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub trait EmptySet {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PairSet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:25:11
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub trait PairSet<T, U> {
[INFO] [stdout]    |           ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Union` is never used
[INFO] [stdout]   --> src/set/axioms.rs:33:11
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub trait Union<T> {
[INFO] [stdout]    |           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Intersection` is never used
[INFO] [stdout]   --> src/set/axioms.rs:41:11
[INFO] [stdout]    |
[INFO] [stdout] 41 | pub trait Intersection<T> {
[INFO] [stdout]    |           ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Difference` is never used
[INFO] [stdout]   --> src/set/axioms.rs:49:11
[INFO] [stdout]    |
[INFO] [stdout] 49 | pub trait Difference<T> {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Complement` is never used
[INFO] [stdout]   --> src/set/axioms.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 | pub trait Complement {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Regularity` is never used
[INFO] [stdout]   --> src/set/axioms.rs:64:11
[INFO] [stdout]    |
[INFO] [stdout] 64 | pub trait Regularity {
[INFO] [stdout]    |           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PowerSet` is never used
[INFO] [stdout]   --> src/set/axioms.rs:72:11
[INFO] [stdout]    |
[INFO] [stdout] 72 | pub trait PowerSet {
[INFO] [stdout]    |           ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Replacement` is never used
[INFO] [stdout]   --> src/set/axioms.rs:79:11
[INFO] [stdout]    |
[INFO] [stdout] 79 | pub trait Replacement<A, B> {
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Choice` is never used
[INFO] [stdout]   --> src/set/axioms.rs:86:11
[INFO] [stdout]    |
[INFO] [stdout] 86 | pub trait Choice<T> {
[INFO] [stdout]    |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Specification` is never used
[INFO] [stdout]   --> src/set/axioms.rs:93:11
[INFO] [stdout]    |
[INFO] [stdout] 93 | pub trait Specification<T> {
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Induction` is never used
[INFO] [stdout]    --> src/set/axioms.rs:109:11
[INFO] [stdout]     |
[INFO] [stdout] 109 | pub trait Induction<T> {
[INFO] [stdout]     |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `Domain` is never used
[INFO] [stdout]  --> src/set/domain.rs:2:11
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub trait Domain {}
[INFO] [stdout]   |           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FiniteSet` is never constructed
[INFO] [stdout]  --> src/set/finite_set.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct FiniteSet<T> {
[INFO] [stdout]   |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `PeanoAxioms` is never used
[INFO] [stdout]  --> src/set/natural.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub trait PeanoAxioms {
[INFO] [stdout]   |           ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `NonDeterminantSet` is never used
[INFO] [stdout]  --> src/set/non_determinate_set.rs:5:11
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub trait NonDeterminantSet: Sized {
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.13s
[INFO] running `Command { std: "docker" "inspect" "9a7f442fee76ce3c6a410b27342ad825890d2ad0e126e13930d15d1fa695757e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a7f442fee76ce3c6a410b27342ad825890d2ad0e126e13930d15d1fa695757e", kill_on_drop: false }`
[INFO] [stdout] 9a7f442fee76ce3c6a410b27342ad825890d2ad0e126e13930d15d1fa695757e