[INFO] cloning repository https://github.com/cohyou/raz
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/cohyou/raz" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohyou%2Fraz", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohyou%2Fraz'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 5fb98e8c47b061f144f009c397243b868d834956
[INFO] checking cohyou/raz against try#0611f7de057c584b8771102fde7aed6c70c71d3b for pr-146440
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohyou%2Fraz" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/cohyou/raz
[INFO] finished tweaking git repo https://github.com/cohyou/raz
[INFO] tweaked toml for git repo https://github.com/cohyou/raz written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/cohyou/raz on toolchain 0611f7de057c584b8771102fde7aed6c70c71d3b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/cohyou/raz 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" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f1c75dfadefcbfb8eeb8642eaeee90c2c986e2f86378bddd90f7006afaff1bbf
[INFO] running `Command { std: "docker" "start" "-a" "f1c75dfadefcbfb8eeb8642eaeee90c2c986e2f86378bddd90f7006afaff1bbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f1c75dfadefcbfb8eeb8642eaeee90c2c986e2f86378bddd90f7006afaff1bbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f1c75dfadefcbfb8eeb8642eaeee90c2c986e2f86378bddd90f7006afaff1bbf", kill_on_drop: false }`
[INFO] [stdout] f1c75dfadefcbfb8eeb8642eaeee90c2c986e2f86378bddd90f7006afaff1bbf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0611f7de057c584b8771102fde7aed6c70c71d3b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7c719515b910de8fd1ce04fd1f776278da7d0ed2c58676f24044a6543639178f
[INFO] running `Command { std: "docker" "start" "-a" "7c719515b910de8fd1ce04fd1f776278da7d0ed2c58676f24044a6543639178f", kill_on_drop: false }`
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]     Checking raz v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `collections::HashMap` and `rc::Rc`
[INFO] [stdout]  --> src/term.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::HashMap, rc::Rc};
[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 imports: `RazType` and `Sort`
[INFO] [stdout]  --> src/term.rs:3:49
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{Attribute, Context, Edge, Function, RazType, Sort, Variable};
[INFO] [stdout]   |                                                 ^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `collections::HashMap` and `rc::Rc`
[INFO] [stdout]  --> src/equation.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{collections::HashMap, rc::Rc};
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Context`, `Function`, `RazType`, `Signature`, `Sort`, `TermInner`, `Theory`, and `Variable`
[INFO] [stdout]  --> src/equation.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{Context, Function, RazType, Signature, Sort, Term, TermInner, Theory, Variable};
[INFO] [stdout]   |             ^^^^^^^  ^^^^^^^^  ^^^^^^^  ^^^^^^^^^  ^^^^        ^^^^^^^^^  ^^^^^^  ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `equation`
[INFO] [stdout]  --> src/algebra.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{equation, Context, Equation};
[INFO] [stdout]   |             ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fmt::Display` and `hash::Hash`
[INFO] [stdout]  --> src/schema.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Display, hash::Hash};
[INFO] [stdout]   |           ^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `equation`
[INFO] [stdout]  --> src/algebra.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{equation, Context, Equation};
[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 imports: `fmt::Display` and `hash::Hash`
[INFO] [stdout]  --> src/schema.rs:1:11
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::{fmt::Display, hash::Hash};
[INFO] [stdout]   |           ^^^^^^^^^^^^  ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/context.rs:30:20
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct Context(Rc<HashMap<Variable, RazType>>);
[INFO] [stdout]    |            ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |            |
[INFO] [stdout]    |            field in this struct
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing this field
[INFO] [stdout]    = note: `Context` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `inner` are never read
[INFO] [stdout]  --> src/term.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct Term {
[INFO] [stdout]   |            ---- fields in this struct
[INFO] [stdout] 6 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 7 |     inner: TermInner,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]  --> src/equation.rs:5:21
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct Equation(Term, Term);
[INFO] [stdout]   |            -------- ^^^^  ^^^^
[INFO] [stdout]   |            |
[INFO] [stdout]   |            fields in this struct
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider removing these fields
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `id` is never read
[INFO] [stdout]  --> src/theory.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct Function {
[INFO] [stdout]   |            -------- field in this struct
[INFO] [stdout] 9 |     id: FunctionId,
[INFO] [stdout]   |     ^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Function` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `sorts` and `functions` are never read
[INFO] [stdout]   --> src/theory.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Signature {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout] 23 |     sorts: Vec<Sort>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 24 |     functions: Vec<Function>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `signature` and `equations` are never read
[INFO] [stdout]   --> src/theory.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct Theory {
[INFO] [stdout]    |            ------ fields in this struct
[INFO] [stdout] 34 |     signature: Signature,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 35 |     equations: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `equations` are never read
[INFO] [stdout]  --> src/algebra.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Algebra {
[INFO] [stdout]   |            ------- fields in this struct
[INFO] [stdout] 4 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 5 |     equations: Vec<Equation>,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Category` is never constructed
[INFO] [stdout]   --> src/category.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Category {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]    = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `id`, `name`, `dom`, and `cod` are never read
[INFO] [stdout]   --> src/category.rs:9:5
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub struct Edge {
[INFO] [stdout]    |            ---- fields in this struct
[INFO] [stdout]  9 |     id: EdgeId,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 10 |     name: Label,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 11 |     dom: Entity,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 12 |     cod: Entity,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `nodes` and `edges` are never read
[INFO] [stdout]   --> src/category.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct Graph {
[INFO] [stdout]    |        ----- fields in this struct
[INFO] [stdout] 16 |     nodes: Vec<Entity>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 17 |     edges: Vec<Edge>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `graph` and `equations` are never read
[INFO] [stdout]   --> src/category.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Category {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 21 |     graph: Graph,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 22 |     equations: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Schema` is never constructed
[INFO] [stdout]   --> src/schema.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Schema {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `id`, `name`, `entity`, and `sort` are never read
[INFO] [stdout]   --> src/schema.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Attribute {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout]  8 |     id: AttributeId,
[INFO] [stdout]    |     ^^
[INFO] [stdout]  9 |     name: Label,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 10 |     entity: Entity,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 11 |     sort: Sort,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `attributes` and `observables` are never read
[INFO] [stdout]   --> src/schema.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Profunctor {
[INFO] [stdout]    |        ---------- fields in this struct
[INFO] [stdout] 15 |     attributes: Vec<Attribute>,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 16 |     observables: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `category`, `profunctor`, and `theory` are never read
[INFO] [stdout]   --> src/schema.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Schema {
[INFO] [stdout]    |            ------ fields in this struct
[INFO] [stdout] 20 |     category: Category,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 21 |     profunctor: Profunctor,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 22 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Instance` is never constructed
[INFO] [stdout]  --> src/instance.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Instance {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `equations` are never read
[INFO] [stdout]  --> src/instance.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Instance {
[INFO] [stdout]   |            -------- fields in this struct
[INFO] [stdout] 4 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 5 |     equations: Vec<Equation>,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `raz` (lib) due to 3 previous errors; 20 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/context.rs:30:20
[INFO] [stdout]    |
[INFO] [stdout] 30 | pub struct Context(Rc<HashMap<Variable, RazType>>);
[INFO] [stdout]    |            ------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |            |
[INFO] [stdout]    |            field in this struct
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider removing this field
[INFO] [stdout]    = note: `Context` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `inner` are never read
[INFO] [stdout]  --> src/term.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct Term {
[INFO] [stdout]   |            ---- fields in this struct
[INFO] [stdout] 6 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 7 |     inner: TermInner,
[INFO] [stdout]   |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `0` and `1` are never read
[INFO] [stdout]  --> src/equation.rs:5:21
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub struct Equation(Term, Term);
[INFO] [stdout]   |            -------- ^^^^  ^^^^
[INFO] [stdout]   |            |
[INFO] [stdout]   |            fields in this struct
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider removing these fields
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `id` is never read
[INFO] [stdout]  --> src/theory.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub struct Function {
[INFO] [stdout]   |            -------- field in this struct
[INFO] [stdout] 9 |     id: FunctionId,
[INFO] [stdout]   |     ^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Function` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `sorts` and `functions` are never read
[INFO] [stdout]   --> src/theory.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 22 | pub struct Signature {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout] 23 |     sorts: Vec<Sort>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 24 |     functions: Vec<Function>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `signature` and `equations` are never read
[INFO] [stdout]   --> src/theory.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 33 | pub struct Theory {
[INFO] [stdout]    |            ------ fields in this struct
[INFO] [stdout] 34 |     signature: Signature,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 35 |     equations: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `equations` are never read
[INFO] [stdout]  --> src/algebra.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Algebra {
[INFO] [stdout]   |            ------- fields in this struct
[INFO] [stdout] 4 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 5 |     equations: Vec<Equation>,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Category` is never constructed
[INFO] [stdout]   --> src/category.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Category {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout]    = note: `#[deny(unused_unconstructable_pub_struct)]` (part of `#[deny(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `id`, `name`, `dom`, and `cod` are never read
[INFO] [stdout]   --> src/category.rs:9:5
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub struct Edge {
[INFO] [stdout]    |            ---- fields in this struct
[INFO] [stdout]  9 |     id: EdgeId,
[INFO] [stdout]    |     ^^
[INFO] [stdout] 10 |     name: Label,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 11 |     dom: Entity,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 12 |     cod: Entity,
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `nodes` and `edges` are never read
[INFO] [stdout]   --> src/category.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct Graph {
[INFO] [stdout]    |        ----- fields in this struct
[INFO] [stdout] 16 |     nodes: Vec<Entity>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 17 |     edges: Vec<Edge>,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `graph` and `equations` are never read
[INFO] [stdout]   --> src/category.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct Category {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 21 |     graph: Graph,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 22 |     equations: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Schema` is never constructed
[INFO] [stdout]   --> src/schema.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Schema {
[INFO] [stdout]    |            ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `id`, `name`, `entity`, and `sort` are never read
[INFO] [stdout]   --> src/schema.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub struct Attribute {
[INFO] [stdout]    |            --------- fields in this struct
[INFO] [stdout]  8 |     id: AttributeId,
[INFO] [stdout]    |     ^^
[INFO] [stdout]  9 |     name: Label,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 10 |     entity: Entity,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 11 |     sort: Sort,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `attributes` and `observables` are never read
[INFO] [stdout]   --> src/schema.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | struct Profunctor {
[INFO] [stdout]    |        ---------- fields in this struct
[INFO] [stdout] 15 |     attributes: Vec<Attribute>,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 16 |     observables: Vec<Equation>,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `category`, `profunctor`, and `theory` are never read
[INFO] [stdout]   --> src/schema.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct Schema {
[INFO] [stdout]    |            ------ fields in this struct
[INFO] [stdout] 20 |     category: Category,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 21 |     profunctor: Profunctor,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 22 |     theory: Theory,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: struct `Instance` is never constructed
[INFO] [stdout]  --> src/instance.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Instance {
[INFO] [stdout]   |            ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: this `pub` struct has private fields, no public constructor, and is not otherwise reachable through the external API, so consider providing a public constructor or removing it
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `context` and `equations` are never read
[INFO] [stdout]  --> src/instance.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Instance {
[INFO] [stdout]   |            -------- fields in this struct
[INFO] [stdout] 4 |     context: Context,
[INFO] [stdout]   |     ^^^^^^^
[INFO] [stdout] 5 |     equations: Vec<Equation>,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `raz` (lib test) due to 3 previous errors; 16 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "7c719515b910de8fd1ce04fd1f776278da7d0ed2c58676f24044a6543639178f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7c719515b910de8fd1ce04fd1f776278da7d0ed2c58676f24044a6543639178f", kill_on_drop: false }`
[INFO] [stdout] 7c719515b910de8fd1ce04fd1f776278da7d0ed2c58676f24044a6543639178f
