[INFO] cloning repository https://github.com/j-p-obrien/jtheorems
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/j-p-obrien/jtheorems" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7fc04160873cc32eda817469d874a612879e46a3
[INFO] testing j-p-obrien/jtheorems against master#0d162b25edd5bf0dba9a22e83b614f1113e90474 for pr-150681
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/j-p-obrien/jtheorems
[INFO] finished tweaking git repo https://github.com/j-p-obrien/jtheorems
[INFO] tweaked toml for git repo https://github.com/j-p-obrien/jtheorems written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/j-p-obrien/jtheorems on toolchain 0d162b25edd5bf0dba9a22e83b614f1113e90474
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/j-p-obrien/jtheorems 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" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dc9af5eef6baee89737dd959f154cd21242d2917387f3face6dd9d596ef91ad0
[INFO] running `Command { std: "docker" "start" "-a" "dc9af5eef6baee89737dd959f154cd21242d2917387f3face6dd9d596ef91ad0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dc9af5eef6baee89737dd959f154cd21242d2917387f3face6dd9d596ef91ad0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dc9af5eef6baee89737dd959f154cd21242d2917387f3face6dd9d596ef91ad0", kill_on_drop: false }`
[INFO] [stdout] dc9af5eef6baee89737dd959f154cd21242d2917387f3face6dd9d596ef91ad0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4d5ca8e47b42a14437a79638db5a71853588516273afe954cf19d033761b08e3
[INFO] running `Command { std: "docker" "start" "-a" "4d5ca8e47b42a14437a79638db5a71853588516273afe954cf19d033761b08e3", kill_on_drop: false }`
[INFO] [stderr]    Compiling jtheorems v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `types::Type`
[INFO] [stdout]  --> src/term/identity.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use super::{types::Type, universe::Universe};
[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: `term::terms::Term`
[INFO] [stdout]  --> src/terminal/parse/parser.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{term::terms::Term, terminal::context::Context};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/term/types.rs:35:17
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn try_from(value: Term) -> Result<Self, Self::Error> {
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/terminal/context.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn from(value: Infallible) -> Self {
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |         typ: Type,
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term_arena`
[INFO] [stdout]   --> src/terminal/context.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |         term_arena: &mut TermArena,
[INFO] [stdout]    |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_arena`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |                   ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:78:9
[INFO] [stdout]    |
[INFO] [stdout] 78 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:85:19
[INFO] [stdout]    |
[INFO] [stdout] 85 |         if let Ok(typ) = typ.try_into() {
[INFO] [stdout]    |                   ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:92:45
[INFO] [stdout]    |
[INFO] [stdout] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stdout]    |                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stdout]    |                                              ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:60:38
[INFO] [stdout]    |
[INFO] [stdout] 60 |             if let Token::Identifier(name) = token {
[INFO] [stdout]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lexer`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |         lexer: &mut Lexer<'_>,
[INFO] [stdout]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_lexer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         context: &mut Context,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Application` is more private than the item `Term::Application::0`
[INFO] [stdout]   --> src/term/terms.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::Application::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Application` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/app.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Application {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Constant` is more private than the item `Term::Constant::0`
[INFO] [stdout]   --> src/term/terms.rs:18:14
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::Constant::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Constant` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/constant.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Constant {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InL` is more private than the item `Term::InL::0`
[INFO] [stdout]   --> src/term/terms.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |         ^^^ field `Term::InL::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InL` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct InL {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InR` is more private than the item `Term::InR::0`
[INFO] [stdout]   --> src/term/terms.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |         ^^^ field `Term::InR::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InR` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub(super) struct InR {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Term::CoproductType::0`
[INFO] [stdout]   --> src/term/terms.rs:21:19
[INFO] [stdout]    |
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Term::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Term::EmptyType::0`
[INFO] [stdout]   --> src/term/terms.rs:22:15
[INFO] [stdout]    |
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Refl` is more private than the item `Term::Refl::0`
[INFO] [stdout]   --> src/term/terms.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |          ^^^^ field `Term::Refl::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Refl` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Refl {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Term::IdentityType::0`
[INFO] [stdout]   --> src/term/terms.rs:24:18
[INFO] [stdout]    |
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lambda` is more private than the item `Term::Lambda::0`
[INFO] [stdout]   --> src/term/terms.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |            ^^^^^^ field `Term::Lambda::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lambda` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Lambda {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Term::FunctionType::0`
[INFO] [stdout]   --> src/term/terms.rs:26:18
[INFO] [stdout]    |
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Term::PiType::0`
[INFO] [stdout]   --> src/term/terms.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Term::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `naturals::Zero` is more private than the item `Term::Zero::0`
[INFO] [stdout]   --> src/term/terms.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |          ^^^^ field `Term::Zero::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `naturals::Zero` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Zero();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Succ` is more private than the item `Term::Succ::0`
[INFO] [stdout]   --> src/term/terms.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |          ^^^^ field `Term::Succ::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Succ` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Succ();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Term::NaturalType::0`
[INFO] [stdout]   --> src/term/terms.rs:30:17
[INFO] [stdout]    |
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Pair` is more private than the item `Term::Pair::0`
[INFO] [stdout]   --> src/term/terms.rs:31:10
[INFO] [stdout]    |
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |          ^^^^ field `Term::Pair::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Pair` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Pair {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Term::ProductType::0`
[INFO] [stdout]   --> src/term/terms.rs:32:17
[INFO] [stdout]    |
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Term::SigmaType::0`
[INFO] [stdout]   --> src/term/terms.rs:33:15
[INFO] [stdout]    |
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Unit` is more private than the item `Term::Unit::0`
[INFO] [stdout]   --> src/term/terms.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |          ^^^^ field `Term::Unit::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Unit` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Unit();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Term::UnitType::0`
[INFO] [stdout]   --> src/term/terms.rs:35:14
[INFO] [stdout]    |
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Type::CoproductType::0`
[INFO] [stdout]   --> src/term/types.rs:18:19
[INFO] [stdout]    |
[INFO] [stdout] 18 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Type::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Type::EmptyType::0`
[INFO] [stdout]   --> src/term/types.rs:19:15
[INFO] [stdout]    |
[INFO] [stdout] 19 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Type::IdentityType::0`
[INFO] [stdout]   --> src/term/types.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Type::FunctionType::0`
[INFO] [stdout]   --> src/term/types.rs:21:18
[INFO] [stdout]    |
[INFO] [stdout] 21 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Type::PiType::0`
[INFO] [stdout]   --> src/term/types.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Type::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Type::NaturalType::0`
[INFO] [stdout]   --> src/term/types.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Type::ProductType::0`
[INFO] [stdout]   --> src/term/types.rs:24:17
[INFO] [stdout]    |
[INFO] [stdout] 24 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Type::SigmaType::0`
[INFO] [stdout]   --> src/term/types.rs:25:15
[INFO] [stdout]    |
[INFO] [stdout] 25 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Type::UnitType::0`
[INFO] [stdout]   --> src/term/types.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Type::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lexer<'_>` is more private than the item `Parser::parse_definition`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 | /     pub(crate) fn parse_definition(
[INFO] [stdout] 54 | |         &mut self,
[INFO] [stdout] 55 | |         lexer: &mut Lexer,
[INFO] [stdout] 56 | |         context: &mut Context,
[INFO] [stdout] 57 | |     ) -> ParseResult {
[INFO] [stdout]    | |____________________^ method `Parser::parse_definition` is reachable at visibility `pub(in crate::terminal)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lexer<'_>` is only usable at visibility `pub(in crate::terminal::parse)`
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Lexer<'a> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fun`, `arg`, and `typ` are never read
[INFO] [stdout]  --> src/term/app.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Application {
[INFO] [stdout]   |                   ----------- fields in this struct
[INFO] [stdout] 5 |     fun: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 6 |     arg: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Application` has derived impls for the traits `Clone` and `Debug`, but these are 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 `name`, `typ`, and `definition` are never read
[INFO] [stdout]  --> src/term/constant.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Constant {
[INFO] [stdout]   |                   -------- fields in this struct
[INFO] [stdout] 5 |     name: NamePtr,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 6 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     definition: TermPtr,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Constant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout]    |     -------- ^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 36 -     Universe(Universe),
[INFO] [stdout] 36 +     Universe(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:38:18
[INFO] [stdout]    |
[INFO] [stdout] 38 |     FreeVariable(FreeVariable),
[INFO] [stdout]    |     ------------ ^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 38 -     FreeVariable(FreeVariable),
[INFO] [stdout] 38 +     FreeVariable(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/term/terms.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(crate) enum Term {
[INFO] [stdout]    |                 ---- variants in this enum
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout] 37 |     BoundVariable(BoundVariable),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/term/types.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub(crate) enum Type {
[INFO] [stdout]    |                 ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new_universe` is never used
[INFO] [stdout]   --> src/term/types.rs:41:19
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl Type {
[INFO] [stdout]    | --------- associated function in this implementation
[INFO] [stdout] 41 |     pub(crate) fn new_universe(level: usize) -> Type {
[INFO] [stdout]    |                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Definite` is never constructed
[INFO] [stdout]  --> src/term/universe.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum UniverseLevel {
[INFO] [stdout]   |      ------------- variant in this enum
[INFO] [stdout] 6 |     Definite(usize),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `UniverseLevel` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/term/universe.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 26 | impl Universe {
[INFO] [stdout]    | ------------- associated function in this implementation
[INFO] [stdout] 27 |     pub(crate) fn new(level: usize) -> Self {
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ContextError` is never used
[INFO] [stdout]   --> src/terminal/context.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub enum ContextError {
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `vars` is never read
[INFO] [stdout]   --> src/terminal/context.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | struct LocalContext {
[INFO] [stdout]    |        ------------ field in this struct
[INFO] [stdout] 25 |     vars: Vec<FreeVariable>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `LocalContext` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `add_variable` is never used
[INFO] [stdout]   --> src/terminal/context.rs:33:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl LocalContext {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 33 |     fn add_variable(
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `data` is never read
[INFO] [stdout]   --> src/terminal/context.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 43 | struct TermArena {
[INFO] [stdout]    |        --------- field in this struct
[INFO] [stdout] 44 |     data: Vec<Term>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `typ` and `typ_has_name` are never used
[INFO] [stdout]   --> src/terminal/context.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl TermArena {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `local_context`, `term_arena`, and `string_pool` are never read
[INFO] [stdout]   --> src/terminal/context.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) struct Context {
[INFO] [stdout]    |                   ------- fields in this struct
[INFO] [stdout] 62 |     local_context: LocalContext,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 63 |     term_arena: TermArena,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 64 |     string_pool: String,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `try_variable_intro`, `typ`, and `name` are never used
[INFO] [stdout]   --> src/terminal/context.rs:76:19
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl Context {
[INFO] [stdout]    | ------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub(super) fn try_variable_intro<T>(
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] ...
[INFO] [stdout] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ParseOk` is never used
[INFO] [stdout]  --> src/terminal/parse/parser.rs:5:17
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub(crate) enum ParseOk {
[INFO] [stdout]   |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `General` is never constructed
[INFO] [stdout]   --> src/terminal/parse/parser.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub(crate) enum ParseError {
[INFO] [stdout]    |                 ---------- variant in this enum
[INFO] [stdout] 12 |     General(&'static str),
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:19:17
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub(crate) enum Expression {
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/terminal/parse/token.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) enum Token<'a> {
[INFO] [stdout]    |                 ----- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout]  7 |     Number(&'a str),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 34 |     // /
[INFO] [stdout] 35 |     Slash,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     FatRightArrow,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 51 |     Fn,
[INFO] [stdout]    |     ^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     Succ,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 58 |     // zero
[INFO] [stdout] 59 |     Zero,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 60 |     // Empty
[INFO] [stdout] 61 |     EmptyType,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 62 |     // Unit
[INFO] [stdout] 63 |     UnitType,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 64 |     // refl
[INFO] [stdout] 65 |     Refl,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Token` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `handle_T` should have a snake case name
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 |     fn handle_T(&mut self, start_index: usize) -> Token<'a> {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case: `handle_t`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:61:17
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let _ = self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/terminal.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let _ = self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.60s
[INFO] running `Command { std: "docker" "inspect" "4d5ca8e47b42a14437a79638db5a71853588516273afe954cf19d033761b08e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d5ca8e47b42a14437a79638db5a71853588516273afe954cf19d033761b08e3", kill_on_drop: false }`
[INFO] [stdout] 4d5ca8e47b42a14437a79638db5a71853588516273afe954cf19d033761b08e3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 37d5cfd20633f4eccf2ab07a885a0964227429a6fb7a2dfd600dc238bfd91ae9
[INFO] running `Command { std: "docker" "start" "-a" "37d5cfd20633f4eccf2ab07a885a0964227429a6fb7a2dfd600dc238bfd91ae9", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `types::Type`
[INFO] [stdout]  --> src/term/identity.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use super::{types::Type, universe::Universe};
[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: `term::terms::Term`
[INFO] [stdout]  --> src/terminal/parse/parser.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{term::terms::Term, terminal::context::Context};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/term/types.rs:35:17
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn try_from(value: Term) -> Result<Self, Self::Error> {
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/terminal/context.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn from(value: Infallible) -> Self {
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |         typ: Type,
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term_arena`
[INFO] [stdout]   --> src/terminal/context.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |         term_arena: &mut TermArena,
[INFO] [stdout]    |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_arena`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |                   ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:78:9
[INFO] [stdout]    |
[INFO] [stdout] 78 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:85:19
[INFO] [stdout]    |
[INFO] [stdout] 85 |         if let Ok(typ) = typ.try_into() {
[INFO] [stdout]    |                   ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:92:45
[INFO] [stdout]    |
[INFO] [stdout] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stdout]    |                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stdout]    |                                              ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:60:38
[INFO] [stdout]    |
[INFO] [stdout] 60 |             if let Token::Identifier(name) = token {
[INFO] [stdout]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lexer`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |         lexer: &mut Lexer<'_>,
[INFO] [stdout]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_lexer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         context: &mut Context,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Application` is more private than the item `Term::Application::0`
[INFO] [stdout]   --> src/term/terms.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::Application::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Application` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/app.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Application {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Constant` is more private than the item `Term::Constant::0`
[INFO] [stdout]   --> src/term/terms.rs:18:14
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::Constant::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Constant` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/constant.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Constant {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InL` is more private than the item `Term::InL::0`
[INFO] [stdout]   --> src/term/terms.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |         ^^^ field `Term::InL::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InL` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct InL {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InR` is more private than the item `Term::InR::0`
[INFO] [stdout]   --> src/term/terms.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |         ^^^ field `Term::InR::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InR` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub(super) struct InR {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Term::CoproductType::0`
[INFO] [stdout]   --> src/term/terms.rs:21:19
[INFO] [stdout]    |
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Term::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Term::EmptyType::0`
[INFO] [stdout]   --> src/term/terms.rs:22:15
[INFO] [stdout]    |
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Refl` is more private than the item `Term::Refl::0`
[INFO] [stdout]   --> src/term/terms.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |          ^^^^ field `Term::Refl::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Refl` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Refl {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Term::IdentityType::0`
[INFO] [stdout]   --> src/term/terms.rs:24:18
[INFO] [stdout]    |
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lambda` is more private than the item `Term::Lambda::0`
[INFO] [stdout]   --> src/term/terms.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |            ^^^^^^ field `Term::Lambda::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lambda` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Lambda {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Term::FunctionType::0`
[INFO] [stdout]   --> src/term/terms.rs:26:18
[INFO] [stdout]    |
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Term::PiType::0`
[INFO] [stdout]   --> src/term/terms.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Term::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `naturals::Zero` is more private than the item `Term::Zero::0`
[INFO] [stdout]   --> src/term/terms.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |          ^^^^ field `Term::Zero::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `naturals::Zero` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Zero();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Succ` is more private than the item `Term::Succ::0`
[INFO] [stdout]   --> src/term/terms.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |          ^^^^ field `Term::Succ::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Succ` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Succ();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Term::NaturalType::0`
[INFO] [stdout]   --> src/term/terms.rs:30:17
[INFO] [stdout]    |
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Pair` is more private than the item `Term::Pair::0`
[INFO] [stdout]   --> src/term/terms.rs:31:10
[INFO] [stdout]    |
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |          ^^^^ field `Term::Pair::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Pair` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Pair {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Term::ProductType::0`
[INFO] [stdout]   --> src/term/terms.rs:32:17
[INFO] [stdout]    |
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Term::SigmaType::0`
[INFO] [stdout]   --> src/term/terms.rs:33:15
[INFO] [stdout]    |
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Unit` is more private than the item `Term::Unit::0`
[INFO] [stdout]   --> src/term/terms.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |          ^^^^ field `Term::Unit::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Unit` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Unit();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Term::UnitType::0`
[INFO] [stdout]   --> src/term/terms.rs:35:14
[INFO] [stdout]    |
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Type::CoproductType::0`
[INFO] [stdout]   --> src/term/types.rs:18:19
[INFO] [stdout]    |
[INFO] [stdout] 18 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Type::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Type::EmptyType::0`
[INFO] [stdout]   --> src/term/types.rs:19:15
[INFO] [stdout]    |
[INFO] [stdout] 19 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Type::IdentityType::0`
[INFO] [stdout]   --> src/term/types.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Type::FunctionType::0`
[INFO] [stdout]   --> src/term/types.rs:21:18
[INFO] [stdout]    |
[INFO] [stdout] 21 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Type::PiType::0`
[INFO] [stdout]   --> src/term/types.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Type::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Type::NaturalType::0`
[INFO] [stdout]   --> src/term/types.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Type::ProductType::0`
[INFO] [stdout]   --> src/term/types.rs:24:17
[INFO] [stdout]    |
[INFO] [stdout] 24 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Type::SigmaType::0`
[INFO] [stdout]   --> src/term/types.rs:25:15
[INFO] [stdout]    |
[INFO] [stdout] 25 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Type::UnitType::0`
[INFO] [stdout]   --> src/term/types.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Type::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lexer<'_>` is more private than the item `Parser::parse_definition`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 | /     pub(crate) fn parse_definition(
[INFO] [stdout] 54 | |         &mut self,
[INFO] [stdout] 55 | |         lexer: &mut Lexer,
[INFO] [stdout] 56 | |         context: &mut Context,
[INFO] [stdout] 57 | |     ) -> ParseResult {
[INFO] [stdout]    | |____________________^ method `Parser::parse_definition` is reachable at visibility `pub(in crate::terminal)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lexer<'_>` is only usable at visibility `pub(in crate::terminal::parse)`
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Lexer<'a> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fun`, `arg`, and `typ` are never read
[INFO] [stdout]  --> src/term/app.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Application {
[INFO] [stdout]   |                   ----------- fields in this struct
[INFO] [stdout] 5 |     fun: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 6 |     arg: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Application` has derived impls for the traits `Clone` and `Debug`, but these are 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 `name`, `typ`, and `definition` are never read
[INFO] [stdout]  --> src/term/constant.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Constant {
[INFO] [stdout]   |                   -------- fields in this struct
[INFO] [stdout] 5 |     name: NamePtr,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 6 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     definition: TermPtr,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Constant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout]    |     -------- ^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 36 -     Universe(Universe),
[INFO] [stdout] 36 +     Universe(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:38:18
[INFO] [stdout]    |
[INFO] [stdout] 38 |     FreeVariable(FreeVariable),
[INFO] [stdout]    |     ------------ ^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 38 -     FreeVariable(FreeVariable),
[INFO] [stdout] 38 +     FreeVariable(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/term/terms.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(crate) enum Term {
[INFO] [stdout]    |                 ---- variants in this enum
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout] 37 |     BoundVariable(BoundVariable),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Type` is never used
[INFO] [stdout]   --> src/term/types.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub(crate) enum Type {
[INFO] [stdout]    |                 ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new_universe` is never used
[INFO] [stdout]   --> src/term/types.rs:41:19
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl Type {
[INFO] [stdout]    | --------- associated function in this implementation
[INFO] [stdout] 41 |     pub(crate) fn new_universe(level: usize) -> Type {
[INFO] [stdout]    |                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `Definite` is never constructed
[INFO] [stdout]  --> src/term/universe.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | enum UniverseLevel {
[INFO] [stdout]   |      ------------- variant in this enum
[INFO] [stdout] 6 |     Definite(usize),
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `UniverseLevel` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/term/universe.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 26 | impl Universe {
[INFO] [stdout]    | ------------- associated function in this implementation
[INFO] [stdout] 27 |     pub(crate) fn new(level: usize) -> Self {
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ContextError` is never used
[INFO] [stdout]   --> src/terminal/context.rs:11:10
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub enum ContextError {
[INFO] [stdout]    |          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `vars` is never read
[INFO] [stdout]   --> src/terminal/context.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | struct LocalContext {
[INFO] [stdout]    |        ------------ field in this struct
[INFO] [stdout] 25 |     vars: Vec<FreeVariable>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `LocalContext` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `add_variable` is never used
[INFO] [stdout]   --> src/terminal/context.rs:33:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl LocalContext {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 33 |     fn add_variable(
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling jtheorems v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `data` is never read
[INFO] [stdout]   --> src/terminal/context.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 43 | struct TermArena {
[INFO] [stdout]    |        --------- field in this struct
[INFO] [stdout] 44 |     data: Vec<Term>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `typ` and `typ_has_name` are never used
[INFO] [stdout]   --> src/terminal/context.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl TermArena {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `local_context`, `term_arena`, and `string_pool` are never read
[INFO] [stdout]   --> src/terminal/context.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) struct Context {
[INFO] [stdout]    |                   ------- fields in this struct
[INFO] [stdout] 62 |     local_context: LocalContext,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 63 |     term_arena: TermArena,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 64 |     string_pool: String,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `try_variable_intro`, `typ`, and `name` are never used
[INFO] [stdout]   --> src/terminal/context.rs:76:19
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl Context {
[INFO] [stdout]    | ------------ methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 76 |     pub(super) fn try_variable_intro<T>(
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stdout]    |                   ^^^
[INFO] [stdout] ...
[INFO] [stdout] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stdout]    |                   ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ParseOk` is never used
[INFO] [stdout]  --> src/terminal/parse/parser.rs:5:17
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub(crate) enum ParseOk {
[INFO] [stdout]   |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `General` is never constructed
[INFO] [stdout]   --> src/terminal/parse/parser.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub(crate) enum ParseError {
[INFO] [stdout]    |                 ---------- variant in this enum
[INFO] [stdout] 12 |     General(&'static str),
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:19:17
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub(crate) enum Expression {
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/terminal/parse/token.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) enum Token<'a> {
[INFO] [stdout]    |                 ----- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout]  7 |     Number(&'a str),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 34 |     // /
[INFO] [stdout] 35 |     Slash,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     FatRightArrow,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 51 |     Fn,
[INFO] [stdout]    |     ^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     Succ,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 58 |     // zero
[INFO] [stdout] 59 |     Zero,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 60 |     // Empty
[INFO] [stdout] 61 |     EmptyType,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 62 |     // Unit
[INFO] [stdout] 63 |     UnitType,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 64 |     // refl
[INFO] [stdout] 65 |     Refl,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Token` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `handle_T` should have a snake case name
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 |     fn handle_T(&mut self, start_index: usize) -> Token<'a> {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case: `handle_t`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:61:17
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let _ = self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/terminal.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let _ = self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `types::Type`
[INFO] [stdout]  --> src/term/identity.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use super::{types::Type, universe::Universe};
[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: `term::terms::Term`
[INFO] [stdout]  --> src/terminal/parse/parser.rs:1:13
[INFO] [stdout]   |
[INFO] [stdout] 1 | use crate::{term::terms::Term, terminal::context::Context};
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/term/types.rs:35:17
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn try_from(value: Term) -> Result<Self, Self::Error> {
[INFO] [stdout]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]   --> src/terminal/context.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn from(value: Infallible) -> Self {
[INFO] [stdout]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:36:9
[INFO] [stdout]    |
[INFO] [stdout] 36 |         typ: Type,
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term_arena`
[INFO] [stdout]   --> src/terminal/context.rs:37:9
[INFO] [stdout]    |
[INFO] [stdout] 37 |         term_arena: &mut TermArena,
[INFO] [stdout]    |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_arena`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:52:19
[INFO] [stdout]    |
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |                   ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:56:41
[INFO] [stdout]    |
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/context.rs:78:9
[INFO] [stdout]    |
[INFO] [stdout] 78 |         name: &str,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `typ`
[INFO] [stdout]   --> src/terminal/context.rs:85:19
[INFO] [stdout]    |
[INFO] [stdout] 85 |         if let Ok(typ) = typ.try_into() {
[INFO] [stdout]    |                   ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:92:45
[INFO] [stdout]    |
[INFO] [stdout] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stdout]    |                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `term`
[INFO] [stdout]   --> src/terminal/context.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stdout]    |                                              ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `unit_is_contractible_signature`
[INFO] [stdout]    --> src/terminal/parse/lexer.rs:155:13
[INFO] [stdout]     |
[INFO] [stdout] 155 |         let unit_is_contractible_signature = r"def unit_is_contractible: (x : Unit) -> * = x :=";
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_unit_is_contractible_signature`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `name`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:60:38
[INFO] [stdout]    |
[INFO] [stdout] 60 |             if let Token::Identifier(name) = token {
[INFO] [stdout]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `lexer`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |         lexer: &mut Lexer<'_>,
[INFO] [stdout]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_lexer`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `context`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         context: &mut Context,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/terminal/parse/parser.rs:90:13
[INFO] [stdout]    |
[INFO] [stdout] 90 |         let mut context = &mut Context::new();
[INFO] [stdout]    |             ----^^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/terminal/parse/parser.rs:98:13
[INFO] [stdout]    |
[INFO] [stdout] 98 |         let mut context = &mut Context::new();
[INFO] [stdout]    |             ----^^^^^^^
[INFO] [stdout]    |             |
[INFO] [stdout]    |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/terminal/parse/parser.rs:106:13
[INFO] [stdout]     |
[INFO] [stdout] 106 |         let mut context = &mut Context::new();
[INFO] [stdout]     |             ----^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Application` is more private than the item `Term::Application::0`
[INFO] [stdout]   --> src/term/terms.rs:17:17
[INFO] [stdout]    |
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::Application::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Application` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/app.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Application {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Constant` is more private than the item `Term::Constant::0`
[INFO] [stdout]   --> src/term/terms.rs:18:14
[INFO] [stdout]    |
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::Constant::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Constant` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/constant.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct Constant {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InL` is more private than the item `Term::InL::0`
[INFO] [stdout]   --> src/term/terms.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |         ^^^ field `Term::InL::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InL` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:4:1
[INFO] [stdout]    |
[INFO] [stdout]  4 | pub(super) struct InL {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `InR` is more private than the item `Term::InR::0`
[INFO] [stdout]   --> src/term/terms.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |         ^^^ field `Term::InR::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `InR` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub(super) struct InR {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Term::CoproductType::0`
[INFO] [stdout]   --> src/term/terms.rs:21:19
[INFO] [stdout]    |
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Term::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Term::EmptyType::0`
[INFO] [stdout]   --> src/term/terms.rs:22:15
[INFO] [stdout]    |
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Refl` is more private than the item `Term::Refl::0`
[INFO] [stdout]   --> src/term/terms.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |          ^^^^ field `Term::Refl::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Refl` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Refl {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Term::IdentityType::0`
[INFO] [stdout]   --> src/term/terms.rs:24:18
[INFO] [stdout]    |
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lambda` is more private than the item `Term::Lambda::0`
[INFO] [stdout]   --> src/term/terms.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |            ^^^^^^ field `Term::Lambda::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lambda` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Lambda {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Term::FunctionType::0`
[INFO] [stdout]   --> src/term/terms.rs:26:18
[INFO] [stdout]    |
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Term::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Term::PiType::0`
[INFO] [stdout]   --> src/term/terms.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Term::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `naturals::Zero` is more private than the item `Term::Zero::0`
[INFO] [stdout]   --> src/term/terms.rs:28:10
[INFO] [stdout]    |
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |          ^^^^ field `Term::Zero::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `naturals::Zero` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Zero();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Succ` is more private than the item `Term::Succ::0`
[INFO] [stdout]   --> src/term/terms.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |          ^^^^ field `Term::Succ::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Succ` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Succ();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Term::NaturalType::0`
[INFO] [stdout]   --> src/term/terms.rs:30:17
[INFO] [stdout]    |
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Pair` is more private than the item `Term::Pair::0`
[INFO] [stdout]   --> src/term/terms.rs:31:10
[INFO] [stdout]    |
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |          ^^^^ field `Term::Pair::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Pair` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub(super) struct Pair {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Term::ProductType::0`
[INFO] [stdout]   --> src/term/terms.rs:32:17
[INFO] [stdout]    |
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Term::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Term::SigmaType::0`
[INFO] [stdout]   --> src/term/terms.rs:33:15
[INFO] [stdout]    |
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Term::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Unit` is more private than the item `Term::Unit::0`
[INFO] [stdout]   --> src/term/terms.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |          ^^^^ field `Term::Unit::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Unit` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct Unit();
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Term::UnitType::0`
[INFO] [stdout]   --> src/term/terms.rs:35:14
[INFO] [stdout]    |
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Term::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `CoproductType` is more private than the item `Type::CoproductType::0`
[INFO] [stdout]   --> src/term/types.rs:18:19
[INFO] [stdout]    |
[INFO] [stdout] 18 |     CoproductType(CoproductType),
[INFO] [stdout]    |                   ^^^^^^^^^^^^^ field `Type::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/coproduct.rs:16:1
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(super) struct CoproductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `EmptyType` is more private than the item `Type::EmptyType::0`
[INFO] [stdout]   --> src/term/types.rs:19:15
[INFO] [stdout]    |
[INFO] [stdout] 19 |     EmptyType(EmptyType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/empty.rs:2:1
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) struct EmptyType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `IdentityType` is more private than the item `Type::IdentityType::0`
[INFO] [stdout]   --> src/term/types.rs:20:18
[INFO] [stdout]    |
[INFO] [stdout] 20 |     IdentityType(IdentityType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/identity.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct IdentityType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `FunctionType` is more private than the item `Type::FunctionType::0`
[INFO] [stdout]   --> src/term/types.rs:21:18
[INFO] [stdout]    |
[INFO] [stdout] 21 |     FunctionType(FunctionType),
[INFO] [stdout]    |                  ^^^^^^^^^^^^ field `Type::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:12:1
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub(super) struct FunctionType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `PiType` is more private than the item `Type::PiType::0`
[INFO] [stdout]   --> src/term/types.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 22 |     PiType(PiType),
[INFO] [stdout]    |            ^^^^^^ field `Type::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/lambda.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub(super) struct PiType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `NaturalType` is more private than the item `Type::NaturalType::0`
[INFO] [stdout]   --> src/term/types.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     NaturalType(NaturalType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/naturals.rs:8:1
[INFO] [stdout]    |
[INFO] [stdout]  8 | pub(super) struct NaturalType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `ProductType` is more private than the item `Type::ProductType::0`
[INFO] [stdout]   --> src/term/types.rs:24:17
[INFO] [stdout]    |
[INFO] [stdout] 24 |     ProductType(ProductType),
[INFO] [stdout]    |                 ^^^^^^^^^^^ field `Type::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub(super) struct ProductType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `SigmaType` is more private than the item `Type::SigmaType::0`
[INFO] [stdout]   --> src/term/types.rs:25:15
[INFO] [stdout]    |
[INFO] [stdout] 25 |     SigmaType(SigmaType),
[INFO] [stdout]    |               ^^^^^^^^^ field `Type::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/pair.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub(super) struct SigmaType {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `UnitType` is more private than the item `Type::UnitType::0`
[INFO] [stdout]   --> src/term/types.rs:26:14
[INFO] [stdout]    |
[INFO] [stdout] 26 |     UnitType(UnitType),
[INFO] [stdout]    |              ^^^^^^^^ field `Type::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stdout]   --> src/term/unit.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct UnitType;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type `Lexer<'_>` is more private than the item `Parser::parse_definition`
[INFO] [stdout]   --> src/terminal/parse/parser.rs:53:5
[INFO] [stdout]    |
[INFO] [stdout] 53 | /     pub(crate) fn parse_definition(
[INFO] [stdout] 54 | |         &mut self,
[INFO] [stdout] 55 | |         lexer: &mut Lexer,
[INFO] [stdout] 56 | |         context: &mut Context,
[INFO] [stdout] 57 | |     ) -> ParseResult {
[INFO] [stdout]    | |____________________^ method `Parser::parse_definition` is reachable at visibility `pub(in crate::terminal)`
[INFO] [stdout]    |
[INFO] [stdout] note: but type `Lexer<'_>` is only usable at visibility `pub(in crate::terminal::parse)`
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:5:1
[INFO] [stdout]    |
[INFO] [stdout]  5 | pub(super) struct Lexer<'a> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `fun`, `arg`, and `typ` are never read
[INFO] [stdout]  --> src/term/app.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Application {
[INFO] [stdout]   |                   ----------- fields in this struct
[INFO] [stdout] 5 |     fun: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 6 |     arg: TermPtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Application` has derived impls for the traits `Clone` and `Debug`, but these are 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 `name`, `typ`, and `definition` are never read
[INFO] [stdout]  --> src/term/constant.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | pub(super) struct Constant {
[INFO] [stdout]   |                   -------- fields in this struct
[INFO] [stdout] 5 |     name: NamePtr,
[INFO] [stdout]   |     ^^^^
[INFO] [stdout] 6 |     typ: TypePtr,
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 7 |     definition: TermPtr,
[INFO] [stdout]   |     ^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `Constant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:36:14
[INFO] [stdout]    |
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout]    |     -------- ^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 36 -     Universe(Universe),
[INFO] [stdout] 36 +     Universe(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/term/terms.rs:38:18
[INFO] [stdout]    |
[INFO] [stdout] 38 |     FreeVariable(FreeVariable),
[INFO] [stdout]    |     ------------ ^^^^^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 38 -     FreeVariable(FreeVariable),
[INFO] [stdout] 38 +     FreeVariable(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/term/terms.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub(crate) enum Term {
[INFO] [stdout]    |                 ---- variants in this enum
[INFO] [stdout] 17 |     Application(Application),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 18 |     Constant(Constant),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 19 |     InL(InL),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 20 |     InR(InR),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 21 |     CoproductType(CoproductType),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 22 |     EmptyType(EmptyType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 23 |     Refl(Refl),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 24 |     IdentityType(IdentityType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 25 |     Lambda(Lambda),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 26 |     FunctionType(FunctionType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 27 |     PiType(PiType),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 28 |     Zero(Zero),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 29 |     Succ(Succ),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 30 |     NaturalType(NaturalType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 31 |     Pair(Pair),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 32 |     ProductType(ProductType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 33 |     SigmaType(SigmaType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 34 |     Unit(Unit),
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 35 |     UnitType(UnitType),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 36 |     Universe(Universe),
[INFO] [stdout] 37 |     BoundVariable(BoundVariable),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/term/types.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub(crate) enum Type {
[INFO] [stdout]    |                 ---- variants in this enum
[INFO] [stdout] 18 |     CoproductType(CoproductType),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 19 |     EmptyType(EmptyType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 20 |     IdentityType(IdentityType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 21 |     FunctionType(FunctionType),
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 22 |     PiType(PiType),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 23 |     NaturalType(NaturalType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 24 |     ProductType(ProductType),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 25 |     SigmaType(SigmaType),
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 26 |     UnitType(UnitType),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 27 |     Universe(Universe),
[INFO] [stdout] 28 |     BoundVariable(BoundVariable),
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new_universe` is never used
[INFO] [stdout]   --> src/term/types.rs:41:19
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl Type {
[INFO] [stdout]    | --------- associated function in this implementation
[INFO] [stdout] 41 |     pub(crate) fn new_universe(level: usize) -> Type {
[INFO] [stdout]    |                   ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `NameAlreadyTaken` is never constructed
[INFO] [stdout]   --> src/terminal/context.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub enum ContextError {
[INFO] [stdout]    |          ------------ variant in this enum
[INFO] [stdout] 12 |     NameAlreadyTaken(String),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ContextError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `vars` is never read
[INFO] [stdout]   --> src/terminal/context.rs:25:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | struct LocalContext {
[INFO] [stdout]    |        ------------ field in this struct
[INFO] [stdout] 25 |     vars: Vec<FreeVariable>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `LocalContext` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `add_variable` is never used
[INFO] [stdout]   --> src/terminal/context.rs:33:8
[INFO] [stdout]    |
[INFO] [stdout] 28 | impl LocalContext {
[INFO] [stdout]    | ----------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 33 |     fn add_variable(
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `data` is never read
[INFO] [stdout]   --> src/terminal/context.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 43 | struct TermArena {
[INFO] [stdout]    |        --------- field in this struct
[INFO] [stdout] 44 |     data: Vec<Term>,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `typ` and `typ_has_name` are never used
[INFO] [stdout]   --> src/terminal/context.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 47 | impl TermArena {
[INFO] [stdout]    | -------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `local_context`, `term_arena`, and `string_pool` are never read
[INFO] [stdout]   --> src/terminal/context.rs:62:5
[INFO] [stdout]    |
[INFO] [stdout] 61 | pub(super) struct Context {
[INFO] [stdout]    |                   ------- fields in this struct
[INFO] [stdout] 62 |     local_context: LocalContext,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 63 |     term_arena: TermArena,
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 64 |     string_pool: String,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ParseOk` is never used
[INFO] [stdout]  --> src/terminal/parse/parser.rs:5:17
[INFO] [stdout]   |
[INFO] [stdout] 5 | pub(crate) enum ParseOk {
[INFO] [stdout]   |                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `General` is never constructed
[INFO] [stdout]   --> src/terminal/parse/parser.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub(crate) enum ParseError {
[INFO] [stdout]    |                 ---------- variant in this enum
[INFO] [stdout] 12 |     General(&'static str),
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `Expression` is never used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:19:17
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub(crate) enum Expression {
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/terminal/parse/token.rs:7:5
[INFO] [stdout]    |
[INFO] [stdout]  2 | pub(super) enum Token<'a> {
[INFO] [stdout]    |                 ----- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout]  7 |     Number(&'a str),
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     Star,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 34 |     // /
[INFO] [stdout] 35 |     Slash,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 43 |     FatRightArrow,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 51 |     Fn,
[INFO] [stdout]    |     ^^
[INFO] [stdout] ...
[INFO] [stdout] 57 |     Succ,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 58 |     // zero
[INFO] [stdout] 59 |     Zero,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout] 60 |     // Empty
[INFO] [stdout] 61 |     EmptyType,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 62 |     // Unit
[INFO] [stdout] 63 |     UnitType,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 64 |     // refl
[INFO] [stdout] 65 |     Refl,
[INFO] [stdout]    |     ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Token` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `handle_T` should have a snake case name
[INFO] [stdout]   --> src/terminal/parse/lexer.rs:47:8
[INFO] [stdout]    |
[INFO] [stdout] 47 |     fn handle_T(&mut self, start_index: usize) -> Token<'a> {
[INFO] [stdout]    |        ^^^^^^^^ help: convert the identifier to snake case: `handle_t`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:61:17
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let _ = self.get_constant_parameters(lexer, context);
[INFO] [stdout]    |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:91:9
[INFO] [stdout]    |
[INFO] [stdout] 91 |         parser.parse(&identity_signature1, context);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 91 |         let _ = parser.parse(&identity_signature1, context);
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/parse/parser.rs:99:9
[INFO] [stdout]    |
[INFO] [stdout] 99 |         parser.parse(&identity_signature2, context);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 99 |         let _ = parser.parse(&identity_signature2, context);
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/terminal/parse/parser.rs:107:9
[INFO] [stdout]     |
[INFO] [stdout] 107 |         parser.parse(&identity_signature2, context);
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 107 |         let _ = parser.parse(&identity_signature2, context);
[INFO] [stdout]     |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]   --> src/terminal/terminal.rs:19:9
[INFO] [stdout]    |
[INFO] [stdout] 19 |         self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]    |
[INFO] [stdout] 19 |         let _ = self.parser.parse(input, &mut self.context);
[INFO] [stdout]    |         +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.77s
[INFO] running `Command { std: "docker" "inspect" "37d5cfd20633f4eccf2ab07a885a0964227429a6fb7a2dfd600dc238bfd91ae9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "37d5cfd20633f4eccf2ab07a885a0964227429a6fb7a2dfd600dc238bfd91ae9", kill_on_drop: false }`
[INFO] [stdout] 37d5cfd20633f4eccf2ab07a885a0964227429a6fb7a2dfd600dc238bfd91ae9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+0d162b25edd5bf0dba9a22e83b614f1113e90474" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 0727cd1728059283fcb47350e24f20ab46f86dcf3c3705e4a763094d19572dfe
[INFO] running `Command { std: "docker" "start" "-a" "0727cd1728059283fcb47350e24f20ab46f86dcf3c3705e4a763094d19572dfe", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `types::Type`
[INFO] [stderr]  --> src/term/identity.rs:3:13
[INFO] [stderr]   |
[INFO] [stderr] 3 | use super::{types::Type, universe::Universe};
[INFO] [stderr]   |             ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `term::terms::Term`
[INFO] [stderr]  --> src/terminal/parse/parser.rs:1:13
[INFO] [stderr]   |
[INFO] [stderr] 1 | use crate::{term::terms::Term, terminal::context::Context};
[INFO] [stderr]   |             ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]   --> src/term/types.rs:35:17
[INFO] [stderr]    |
[INFO] [stderr] 35 |     fn try_from(value: Term) -> Result<Self, Self::Error> {
[INFO] [stderr]    |                 ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `value`
[INFO] [stderr]   --> src/terminal/context.rs:18:13
[INFO] [stderr]    |
[INFO] [stderr] 18 |     fn from(value: Infallible) -> Self {
[INFO] [stderr]    |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]   --> src/terminal/context.rs:35:9
[INFO] [stderr]    |
[INFO] [stderr] 35 |         name: &str,
[INFO] [stderr]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `typ`
[INFO] [stderr]   --> src/terminal/context.rs:36:9
[INFO] [stderr]    |
[INFO] [stderr] 36 |         typ: Type,
[INFO] [stderr]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `term_arena`
[INFO] [stderr]   --> src/terminal/context.rs:37:9
[INFO] [stderr]    |
[INFO] [stderr] 37 |         term_arena: &mut TermArena,
[INFO] [stderr]    |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_arena`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `term`
[INFO] [stderr]   --> src/terminal/context.rs:52:19
[INFO] [stderr]    |
[INFO] [stderr] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stderr]    |                   ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `term`
[INFO] [stderr]   --> src/terminal/context.rs:56:28
[INFO] [stderr]    |
[INFO] [stderr] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stderr]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]   --> src/terminal/context.rs:56:41
[INFO] [stderr]    |
[INFO] [stderr] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stderr]    |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]   --> src/terminal/context.rs:78:9
[INFO] [stderr]    |
[INFO] [stderr] 78 |         name: &str,
[INFO] [stderr]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `typ`
[INFO] [stderr]   --> src/terminal/context.rs:85:19
[INFO] [stderr]    |
[INFO] [stderr] 85 |         if let Ok(typ) = typ.try_into() {
[INFO] [stderr]    |                   ^^^ help: if this is intentional, prefix it with an underscore: `_typ`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `term`
[INFO] [stderr]   --> src/terminal/context.rs:92:45
[INFO] [stderr]    |
[INFO] [stderr] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stderr]    |                                             ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `term`
[INFO] [stderr]   --> src/terminal/context.rs:96:46
[INFO] [stderr]    |
[INFO] [stderr] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stderr]    |                                              ^^^^ help: if this is intentional, prefix it with an underscore: `_term`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `name`
[INFO] [stderr]   --> src/terminal/parse/parser.rs:60:38
[INFO] [stderr]    |
[INFO] [stderr] 60 |             if let Token::Identifier(name) = token {
[INFO] [stderr]    |                                      ^^^^ help: if this is intentional, prefix it with an underscore: `_name`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `lexer`
[INFO] [stderr]   --> src/terminal/parse/parser.rs:73:9
[INFO] [stderr]    |
[INFO] [stderr] 73 |         lexer: &mut Lexer<'_>,
[INFO] [stderr]    |         ^^^^^ help: if this is intentional, prefix it with an underscore: `_lexer`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `context`
[INFO] [stderr]   --> src/terminal/parse/parser.rs:74:9
[INFO] [stderr]    |
[INFO] [stderr] 74 |         context: &mut Context,
[INFO] [stderr]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context`
[INFO] [stderr] 
[INFO] [stderr] warning: type `Application` is more private than the item `Term::Application::0`
[INFO] [stderr]   --> src/term/terms.rs:17:17
[INFO] [stderr]    |
[INFO] [stderr] 17 |     Application(Application),
[INFO] [stderr]    |                 ^^^^^^^^^^^ field `Term::Application::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Application` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/app.rs:4:1
[INFO] [stderr]    |
[INFO] [stderr]  4 | pub(super) struct Application {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    = note: `#[warn(private_interfaces)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: type `Constant` is more private than the item `Term::Constant::0`
[INFO] [stderr]   --> src/term/terms.rs:18:14
[INFO] [stderr]    |
[INFO] [stderr] 18 |     Constant(Constant),
[INFO] [stderr]    |              ^^^^^^^^ field `Term::Constant::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Constant` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/constant.rs:4:1
[INFO] [stderr]    |
[INFO] [stderr]  4 | pub(super) struct Constant {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `InL` is more private than the item `Term::InL::0`
[INFO] [stderr]   --> src/term/terms.rs:19:9
[INFO] [stderr]    |
[INFO] [stderr] 19 |     InL(InL),
[INFO] [stderr]    |         ^^^ field `Term::InL::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `InL` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/coproduct.rs:4:1
[INFO] [stderr]    |
[INFO] [stderr]  4 | pub(super) struct InL {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `InR` is more private than the item `Term::InR::0`
[INFO] [stderr]   --> src/term/terms.rs:20:9
[INFO] [stderr]    |
[INFO] [stderr] 20 |     InR(InR),
[INFO] [stderr]    |         ^^^ field `Term::InR::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `InR` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/coproduct.rs:10:1
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub(super) struct InR {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `CoproductType` is more private than the item `Term::CoproductType::0`
[INFO] [stderr]   --> src/term/terms.rs:21:19
[INFO] [stderr]    |
[INFO] [stderr] 21 |     CoproductType(CoproductType),
[INFO] [stderr]    |                   ^^^^^^^^^^^^^ field `Term::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/coproduct.rs:16:1
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub(super) struct CoproductType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `EmptyType` is more private than the item `Term::EmptyType::0`
[INFO] [stderr]   --> src/term/terms.rs:22:15
[INFO] [stderr]    |
[INFO] [stderr] 22 |     EmptyType(EmptyType),
[INFO] [stderr]    |               ^^^^^^^^^ field `Term::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/empty.rs:2:1
[INFO] [stderr]    |
[INFO] [stderr]  2 | pub(super) struct EmptyType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Refl` is more private than the item `Term::Refl::0`
[INFO] [stderr]   --> src/term/terms.rs:23:10
[INFO] [stderr]    |
[INFO] [stderr] 23 |     Refl(Refl),
[INFO] [stderr]    |          ^^^^ field `Term::Refl::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Refl` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/identity.rs:6:1
[INFO] [stderr]    |
[INFO] [stderr]  6 | pub(super) struct Refl {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `IdentityType` is more private than the item `Term::IdentityType::0`
[INFO] [stderr]   --> src/term/terms.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |     IdentityType(IdentityType),
[INFO] [stderr]    |                  ^^^^^^^^^^^^ field `Term::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/identity.rs:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub(super) struct IdentityType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Lambda` is more private than the item `Term::Lambda::0`
[INFO] [stderr]   --> src/term/terms.rs:25:12
[INFO] [stderr]    |
[INFO] [stderr] 25 |     Lambda(Lambda),
[INFO] [stderr]    |            ^^^^^^ field `Term::Lambda::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Lambda` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/lambda.rs:6:1
[INFO] [stderr]    |
[INFO] [stderr]  6 | pub(super) struct Lambda {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `FunctionType` is more private than the item `Term::FunctionType::0`
[INFO] [stderr]   --> src/term/terms.rs:26:18
[INFO] [stderr]    |
[INFO] [stderr] 26 |     FunctionType(FunctionType),
[INFO] [stderr]    |                  ^^^^^^^^^^^^ field `Term::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/lambda.rs:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub(super) struct FunctionType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `PiType` is more private than the item `Term::PiType::0`
[INFO] [stderr]   --> src/term/terms.rs:27:12
[INFO] [stderr]    |
[INFO] [stderr] 27 |     PiType(PiType),
[INFO] [stderr]    |            ^^^^^^ field `Term::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/lambda.rs:18:1
[INFO] [stderr]    |
[INFO] [stderr] 18 | pub(super) struct PiType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `naturals::Zero` is more private than the item `Term::Zero::0`
[INFO] [stderr]   --> src/term/terms.rs:28:10
[INFO] [stderr]    |
[INFO] [stderr] 28 |     Zero(Zero),
[INFO] [stderr]    |          ^^^^ field `Term::Zero::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `naturals::Zero` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/naturals.rs:2:1
[INFO] [stderr]    |
[INFO] [stderr]  2 | pub(super) struct Zero();
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Succ` is more private than the item `Term::Succ::0`
[INFO] [stderr]   --> src/term/terms.rs:29:10
[INFO] [stderr]    |
[INFO] [stderr] 29 |     Succ(Succ),
[INFO] [stderr]    |          ^^^^ field `Term::Succ::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Succ` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/naturals.rs:5:1
[INFO] [stderr]    |
[INFO] [stderr]  5 | pub(super) struct Succ();
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `NaturalType` is more private than the item `Term::NaturalType::0`
[INFO] [stderr]   --> src/term/terms.rs:30:17
[INFO] [stderr]    |
[INFO] [stderr] 30 |     NaturalType(NaturalType),
[INFO] [stderr]    |                 ^^^^^^^^^^^ field `Term::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/naturals.rs:8:1
[INFO] [stderr]    |
[INFO] [stderr]  8 | pub(super) struct NaturalType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Pair` is more private than the item `Term::Pair::0`
[INFO] [stderr]   --> src/term/terms.rs:31:10
[INFO] [stderr]    |
[INFO] [stderr] 31 |     Pair(Pair),
[INFO] [stderr]    |          ^^^^ field `Term::Pair::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Pair` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/pair.rs:6:1
[INFO] [stderr]    |
[INFO] [stderr]  6 | pub(super) struct Pair {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `ProductType` is more private than the item `Term::ProductType::0`
[INFO] [stderr]   --> src/term/terms.rs:32:17
[INFO] [stderr]    |
[INFO] [stderr] 32 |     ProductType(ProductType),
[INFO] [stderr]    |                 ^^^^^^^^^^^ field `Term::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/pair.rs:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub(super) struct ProductType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `SigmaType` is more private than the item `Term::SigmaType::0`
[INFO] [stderr]   --> src/term/terms.rs:33:15
[INFO] [stderr]    |
[INFO] [stderr] 33 |     SigmaType(SigmaType),
[INFO] [stderr]    |               ^^^^^^^^^ field `Term::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/pair.rs:20:1
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub(super) struct SigmaType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Unit` is more private than the item `Term::Unit::0`
[INFO] [stderr]   --> src/term/terms.rs:34:10
[INFO] [stderr]    |
[INFO] [stderr] 34 |     Unit(Unit),
[INFO] [stderr]    |          ^^^^ field `Term::Unit::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Unit` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/unit.rs:2:1
[INFO] [stderr]    |
[INFO] [stderr]  2 | pub(super) struct Unit();
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `UnitType` is more private than the item `Term::UnitType::0`
[INFO] [stderr]   --> src/term/terms.rs:35:14
[INFO] [stderr]    |
[INFO] [stderr] 35 |     UnitType(UnitType),
[INFO] [stderr]    |              ^^^^^^^^ field `Term::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/unit.rs:5:1
[INFO] [stderr]    |
[INFO] [stderr]  5 | pub(super) struct UnitType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `CoproductType` is more private than the item `Type::CoproductType::0`
[INFO] [stderr]   --> src/term/types.rs:18:19
[INFO] [stderr]    |
[INFO] [stderr] 18 |     CoproductType(CoproductType),
[INFO] [stderr]    |                   ^^^^^^^^^^^^^ field `Type::CoproductType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `CoproductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/coproduct.rs:16:1
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub(super) struct CoproductType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `EmptyType` is more private than the item `Type::EmptyType::0`
[INFO] [stderr]   --> src/term/types.rs:19:15
[INFO] [stderr]    |
[INFO] [stderr] 19 |     EmptyType(EmptyType),
[INFO] [stderr]    |               ^^^^^^^^^ field `Type::EmptyType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `EmptyType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/empty.rs:2:1
[INFO] [stderr]    |
[INFO] [stderr]  2 | pub(super) struct EmptyType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `IdentityType` is more private than the item `Type::IdentityType::0`
[INFO] [stderr]   --> src/term/types.rs:20:18
[INFO] [stderr]    |
[INFO] [stderr] 20 |     IdentityType(IdentityType),
[INFO] [stderr]    |                  ^^^^^^^^^^^^ field `Type::IdentityType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `IdentityType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/identity.rs:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub(super) struct IdentityType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `FunctionType` is more private than the item `Type::FunctionType::0`
[INFO] [stderr]   --> src/term/types.rs:21:18
[INFO] [stderr]    |
[INFO] [stderr] 21 |     FunctionType(FunctionType),
[INFO] [stderr]    |                  ^^^^^^^^^^^^ field `Type::FunctionType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `FunctionType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/lambda.rs:12:1
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub(super) struct FunctionType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `PiType` is more private than the item `Type::PiType::0`
[INFO] [stderr]   --> src/term/types.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 22 |     PiType(PiType),
[INFO] [stderr]    |            ^^^^^^ field `Type::PiType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `PiType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/lambda.rs:18:1
[INFO] [stderr]    |
[INFO] [stderr] 18 | pub(super) struct PiType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `NaturalType` is more private than the item `Type::NaturalType::0`
[INFO] [stderr]   --> src/term/types.rs:23:17
[INFO] [stderr]    |
[INFO] [stderr] 23 |     NaturalType(NaturalType),
[INFO] [stderr]    |                 ^^^^^^^^^^^ field `Type::NaturalType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `NaturalType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/naturals.rs:8:1
[INFO] [stderr]    |
[INFO] [stderr]  8 | pub(super) struct NaturalType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `ProductType` is more private than the item `Type::ProductType::0`
[INFO] [stderr]   --> src/term/types.rs:24:17
[INFO] [stderr]    |
[INFO] [stderr] 24 |     ProductType(ProductType),
[INFO] [stderr]    |                 ^^^^^^^^^^^ field `Type::ProductType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `ProductType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/pair.rs:13:1
[INFO] [stderr]    |
[INFO] [stderr] 13 | pub(super) struct ProductType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `SigmaType` is more private than the item `Type::SigmaType::0`
[INFO] [stderr]   --> src/term/types.rs:25:15
[INFO] [stderr]    |
[INFO] [stderr] 25 |     SigmaType(SigmaType),
[INFO] [stderr]    |               ^^^^^^^^^ field `Type::SigmaType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `SigmaType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/pair.rs:20:1
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub(super) struct SigmaType {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `UnitType` is more private than the item `Type::UnitType::0`
[INFO] [stderr]   --> src/term/types.rs:26:14
[INFO] [stderr]    |
[INFO] [stderr] 26 |     UnitType(UnitType),
[INFO] [stderr]    |              ^^^^^^^^ field `Type::UnitType::0` is reachable at visibility `pub(crate)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `UnitType` is only usable at visibility `pub(in crate::term)`
[INFO] [stderr]   --> src/term/unit.rs:5:1
[INFO] [stderr]    |
[INFO] [stderr]  5 | pub(super) struct UnitType;
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: type `Lexer<'_>` is more private than the item `Parser::parse_definition`
[INFO] [stderr]   --> src/terminal/parse/parser.rs:53:5
[INFO] [stderr]    |
[INFO] [stderr] 53 | /     pub(crate) fn parse_definition(
[INFO] [stderr] 54 | |         &mut self,
[INFO] [stderr] 55 | |         lexer: &mut Lexer,
[INFO] [stderr] 56 | |         context: &mut Context,
[INFO] [stderr] 57 | |     ) -> ParseResult {
[INFO] [stderr]    | |____________________^ method `Parser::parse_definition` is reachable at visibility `pub(in crate::terminal)`
[INFO] [stderr]    |
[INFO] [stderr] note: but type `Lexer<'_>` is only usable at visibility `pub(in crate::terminal::parse)`
[INFO] [stderr]   --> src/terminal/parse/lexer.rs:5:1
[INFO] [stderr]    |
[INFO] [stderr]  5 | pub(super) struct Lexer<'a> {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `fun`, `arg`, and `typ` are never read
[INFO] [stderr]  --> src/term/app.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub(super) struct Application {
[INFO] [stderr]   |                   ----------- fields in this struct
[INFO] [stderr] 5 |     fun: TermPtr,
[INFO] [stderr]   |     ^^^
[INFO] [stderr] 6 |     arg: TermPtr,
[INFO] [stderr]   |     ^^^
[INFO] [stderr] 7 |     typ: TypePtr,
[INFO] [stderr]   |     ^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `Application` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: fields `name`, `typ`, and `definition` are never read
[INFO] [stderr]  --> src/term/constant.rs:5:5
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub(super) struct Constant {
[INFO] [stderr]   |                   -------- fields in this struct
[INFO] [stderr] 5 |     name: NamePtr,
[INFO] [stderr]   |     ^^^^
[INFO] [stderr] 6 |     typ: TypePtr,
[INFO] [stderr]   |     ^^^
[INFO] [stderr] 7 |     definition: TermPtr,
[INFO] [stderr]   |     ^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `Constant` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/term/terms.rs:36:14
[INFO] [stderr]    |
[INFO] [stderr] 36 |     Universe(Universe),
[INFO] [stderr]    |     -------- ^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 36 -     Universe(Universe),
[INFO] [stderr] 36 +     Universe(()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: field `0` is never read
[INFO] [stderr]   --> src/term/terms.rs:38:18
[INFO] [stderr]    |
[INFO] [stderr] 38 |     FreeVariable(FreeVariable),
[INFO] [stderr]    |     ------------ ^^^^^^^^^^^^
[INFO] [stderr]    |     |
[INFO] [stderr]    |     field in this variant
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stderr]    |
[INFO] [stderr] 38 -     FreeVariable(FreeVariable),
[INFO] [stderr] 38 +     FreeVariable(()),
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: multiple variants are never constructed
[INFO] [stderr]   --> src/term/terms.rs:17:5
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub(crate) enum Term {
[INFO] [stderr]    |                 ---- variants in this enum
[INFO] [stderr] 17 |     Application(Application),
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 18 |     Constant(Constant),
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 19 |     InL(InL),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 20 |     InR(InR),
[INFO] [stderr]    |     ^^^
[INFO] [stderr] 21 |     CoproductType(CoproductType),
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 22 |     EmptyType(EmptyType),
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 23 |     Refl(Refl),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 24 |     IdentityType(IdentityType),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 25 |     Lambda(Lambda),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 26 |     FunctionType(FunctionType),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 27 |     PiType(PiType),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 28 |     Zero(Zero),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 29 |     Succ(Succ),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 30 |     NaturalType(NaturalType),
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 31 |     Pair(Pair),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 32 |     ProductType(ProductType),
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 33 |     SigmaType(SigmaType),
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 34 |     Unit(Unit),
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 35 |     UnitType(UnitType),
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 36 |     Universe(Universe),
[INFO] [stderr] 37 |     BoundVariable(BoundVariable),
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Term` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Type` is never used
[INFO] [stderr]   --> src/term/types.rs:17:17
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub(crate) enum Type {
[INFO] [stderr]    |                 ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new_universe` is never used
[INFO] [stderr]   --> src/term/types.rs:41:19
[INFO] [stderr]    |
[INFO] [stderr] 40 | impl Type {
[INFO] [stderr]    | --------- associated function in this implementation
[INFO] [stderr] 41 |     pub(crate) fn new_universe(level: usize) -> Type {
[INFO] [stderr]    |                   ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `Definite` is never constructed
[INFO] [stderr]  --> src/term/universe.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 5 | enum UniverseLevel {
[INFO] [stderr]   |      ------------- variant in this enum
[INFO] [stderr] 6 |     Definite(usize),
[INFO] [stderr]   |     ^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `UniverseLevel` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/term/universe.rs:27:19
[INFO] [stderr]    |
[INFO] [stderr] 26 | impl Universe {
[INFO] [stderr]    | ------------- associated function in this implementation
[INFO] [stderr] 27 |     pub(crate) fn new(level: usize) -> Self {
[INFO] [stderr]    |                   ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `ContextError` is never used
[INFO] [stderr]   --> src/terminal/context.rs:11:10
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub enum ContextError {
[INFO] [stderr]    |          ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `vars` is never read
[INFO] [stderr]   --> src/terminal/context.rs:25:5
[INFO] [stderr]    |
[INFO] [stderr] 24 | struct LocalContext {
[INFO] [stderr]    |        ------------ field in this struct
[INFO] [stderr] 25 |     vars: Vec<FreeVariable>,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `LocalContext` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: method `add_variable` is never used
[INFO] [stderr]   --> src/terminal/context.rs:33:8
[INFO] [stderr]    |
[INFO] [stderr] 28 | impl LocalContext {
[INFO] [stderr]    | ----------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 33 |     fn add_variable(
[INFO] [stderr]    |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `data` is never read
[INFO] [stderr]   --> src/terminal/context.rs:44:5
[INFO] [stderr]    |
[INFO] [stderr] 43 | struct TermArena {
[INFO] [stderr]    |        --------- field in this struct
[INFO] [stderr] 44 |     data: Vec<Term>,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `typ` and `typ_has_name` are never used
[INFO] [stderr]   --> src/terminal/context.rs:52:8
[INFO] [stderr]    |
[INFO] [stderr] 47 | impl TermArena {
[INFO] [stderr]    | -------------- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 52 |     fn typ(&self, term: &Term) -> Type {
[INFO] [stderr]    |        ^^^
[INFO] [stderr] ...
[INFO] [stderr] 56 |     fn typ_has_name(&self, term: &Term, name: &str) -> bool {
[INFO] [stderr]    |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: fields `local_context`, `term_arena`, and `string_pool` are never read
[INFO] [stderr]   --> src/terminal/context.rs:62:5
[INFO] [stderr]    |
[INFO] [stderr] 61 | pub(super) struct Context {
[INFO] [stderr]    |                   ------- fields in this struct
[INFO] [stderr] 62 |     local_context: LocalContext,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 63 |     term_arena: TermArena,
[INFO] [stderr]    |     ^^^^^^^^^^
[INFO] [stderr] 64 |     string_pool: String,
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `try_variable_intro`, `typ`, and `name` are never used
[INFO] [stderr]   --> src/terminal/context.rs:76:19
[INFO] [stderr]    |
[INFO] [stderr] 67 | impl Context {
[INFO] [stderr]    | ------------ methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 76 |     pub(super) fn try_variable_intro<T>(
[INFO] [stderr]    |                   ^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 92 |     pub(super) fn typ<T: Into<Term>>(&self, term: T) -> Type {
[INFO] [stderr]    |                   ^^^
[INFO] [stderr] ...
[INFO] [stderr] 96 |     pub(super) fn name<T: Into<Term>>(&self, term: T) -> &str {
[INFO] [stderr]    |                   ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `ParseOk` is never used
[INFO] [stderr]  --> src/terminal/parse/parser.rs:5:17
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub(crate) enum ParseOk {
[INFO] [stderr]   |                 ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variant `General` is never constructed
[INFO] [stderr]   --> src/terminal/parse/parser.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub(crate) enum ParseError {
[INFO] [stderr]    |                 ---------- variant in this enum
[INFO] [stderr] 12 |     General(&'static str),
[INFO] [stderr]    |     ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: enum `Expression` is never used
[INFO] [stderr]   --> src/terminal/parse/parser.rs:19:17
[INFO] [stderr]    |
[INFO] [stderr] 19 | pub(crate) enum Expression {
[INFO] [stderr]    |                 ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: multiple variants are never constructed
[INFO] [stderr]   --> src/terminal/parse/token.rs:7:5
[INFO] [stderr]    |
[INFO] [stderr]  2 | pub(super) enum Token<'a> {
[INFO] [stderr]    |                 ----- variants in this enum
[INFO] [stderr] ...
[INFO] [stderr]  7 |     Number(&'a str),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 33 |     Star,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 34 |     // /
[INFO] [stderr] 35 |     Slash,
[INFO] [stderr]    |     ^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 43 |     FatRightArrow,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 51 |     Fn,
[INFO] [stderr]    |     ^^
[INFO] [stderr] ...
[INFO] [stderr] 57 |     Succ,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 58 |     // zero
[INFO] [stderr] 59 |     Zero,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr] 60 |     // Empty
[INFO] [stderr] 61 |     EmptyType,
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 62 |     // Unit
[INFO] [stderr] 63 |     UnitType,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 64 |     // refl
[INFO] [stderr] 65 |     Refl,
[INFO] [stderr]    |     ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Token` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: method `handle_T` should have a snake case name
[INFO] [stderr]   --> src/terminal/parse/lexer.rs:47:8
[INFO] [stderr]    |
[INFO] [stderr] 47 |     fn handle_T(&mut self, start_index: usize) -> Token<'a> {
[INFO] [stderr]    |        ^^^^^^^^ help: convert the identifier to snake case: `handle_t`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]   --> src/terminal/parse/parser.rs:61:17
[INFO] [stderr]    |
[INFO] [stderr] 61 |                 self.get_constant_parameters(lexer, context);
[INFO] [stderr]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr]    = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 61 |                 let _ = self.get_constant_parameters(lexer, context);
[INFO] [stderr]    |                 +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]   --> src/terminal/terminal.rs:19:9
[INFO] [stderr]    |
[INFO] [stderr] 19 |         self.parser.parse(input, &mut self.context);
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 19 |         let _ = self.parser.parse(input, &mut self.context);
[INFO] [stderr]    |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `jtheorems` (lib) generated 69 warnings (run `cargo fix --lib -p jtheorems` to apply 17 suggestions)
[INFO] [stderr] warning: unused variable: `unit_is_contractible_signature`
[INFO] [stderr]    --> src/terminal/parse/lexer.rs:155:13
[INFO] [stderr]     |
[INFO] [stderr] 155 |         let unit_is_contractible_signature = r"def unit_is_contractible: (x : Unit) -> * = x :=";
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_unit_is_contractible_signature`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/terminal/parse/parser.rs:90:13
[INFO] [stderr]    |
[INFO] [stderr] 90 |         let mut context = &mut Context::new();
[INFO] [stderr]    |             ----^^^^^^^
[INFO] [stderr]    |             |
[INFO] [stderr]    |             help: remove this `mut`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/terminal/parse/parser.rs:98:13
[INFO] [stderr]    |
[INFO] [stderr] 98 |         let mut context = &mut Context::new();
[INFO] [stderr]    |             ----^^^^^^^
[INFO] [stderr]    |             |
[INFO] [stderr]    |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/terminal/parse/parser.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         let mut context = &mut Context::new();
[INFO] [stderr]     |             ----^^^^^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: multiple variants are never constructed
[INFO] [stderr]   --> src/term/types.rs:18:5
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub(crate) enum Type {
[INFO] [stderr]    |                 ---- variants in this enum
[INFO] [stderr] 18 |     CoproductType(CoproductType),
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr] 19 |     EmptyType(EmptyType),
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 20 |     IdentityType(IdentityType),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 21 |     FunctionType(FunctionType),
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 22 |     PiType(PiType),
[INFO] [stderr]    |     ^^^^^^
[INFO] [stderr] 23 |     NaturalType(NaturalType),
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 24 |     ProductType(ProductType),
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr] 25 |     SigmaType(SigmaType),
[INFO] [stderr]    |     ^^^^^^^^^
[INFO] [stderr] 26 |     UnitType(UnitType),
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] 27 |     Universe(Universe),
[INFO] [stderr] 28 |     BoundVariable(BoundVariable),
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: variant `NameAlreadyTaken` is never constructed
[INFO] [stderr]   --> src/terminal/context.rs:12:5
[INFO] [stderr]    |
[INFO] [stderr] 11 | pub enum ContextError {
[INFO] [stderr]    |          ------------ variant in this enum
[INFO] [stderr] 12 |     NameAlreadyTaken(String),
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `ContextError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]   --> src/terminal/parse/parser.rs:91:9
[INFO] [stderr]    |
[INFO] [stderr] 91 |         parser.parse(&identity_signature1, context);
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 91 |         let _ = parser.parse(&identity_signature1, context);
[INFO] [stderr]    |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]   --> src/terminal/parse/parser.rs:99:9
[INFO] [stderr]    |
[INFO] [stderr] 99 |         parser.parse(&identity_signature2, context);
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]    |
[INFO] [stderr] 99 |         let _ = parser.parse(&identity_signature2, context);
[INFO] [stderr]    |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: unused `Result` that must be used
[INFO] [stderr]    --> src/terminal/parse/parser.rs:107:9
[INFO] [stderr]     |
[INFO] [stderr] 107 |         parser.parse(&identity_signature2, context);
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stderr] help: use `let _ = ...` to ignore the resulting value
[INFO] [stderr]     |
[INFO] [stderr] 107 |         let _ = parser.parse(&identity_signature2, context);
[INFO] [stderr]     |         +++++++
[INFO] [stderr] 
[INFO] [stderr] warning: `jtheorems` (lib test) generated 73 warnings (64 duplicates) (run `cargo fix --lib -p jtheorems --tests` to apply 4 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/jtheorems-5ecf9427985c2b01)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test terminal::parse::lexer::tests::test_identity_function_signature ... ok
[INFO] [stdout] test terminal::parse::lexer::tests::test_add_function_signature ... ok
[INFO] [stdout] test terminal::context::tests::create_context_for_identity_function ... FAILED
[INFO] [stdout] test terminal::parse::parser::tests::test_identity_function_parsing1 ... FAILED
[INFO] [stdout] test terminal::parse::lexer::tests::test_unit_is_contractible ... FAILED
[INFO] [stdout] test terminal::parse::parser::tests::test_identity_function_parsing2 ... FAILED
[INFO] [stdout] test terminal::parse::parser::tests::test_identity_function_parsing3 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- terminal::context::tests::create_context_for_identity_function stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'terminal::context::tests::create_context_for_identity_function' (16) panicked at src/terminal/context.rs:86:13:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5d7b25ef2c82 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5d7b25ef2c82 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5d7b25f0756a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5d7b25f0756a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x5d7b25ef7a86 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5d7b25ef7a86 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5d7b25ed141f - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5d7b25ed141f - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5d7b25eeaf69 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5d7b25e869ee - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5d7b25e869ee - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5d7b25eeb122 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5d7b25eeb122 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5d7b25ed150a - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5d7b25ec6759 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5d7b25ed232d - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5d7b25f07bdc - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5d7b25f07ba2 - core[27de1724e4349be2]::panicking::panic
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x5d7b25e736c5 - <jtheorems[a00cc2c9a4c686e8]::terminal::context::Context>::try_variable_intro::<jtheorems[a00cc2c9a4c686e8]::term::universe::Universe>
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:86:13
[INFO] [stdout]   21:     0x5d7b25e762e4 - jtheorems[a00cc2c9a4c686e8]::terminal::context::tests::create_context_for_identity_function
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:112:25
[INFO] [stdout]   22:     0x5d7b25e750b7 - jtheorems[a00cc2c9a4c686e8]::terminal::context::tests::create_context_for_identity_function::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:107:46
[INFO] [stdout]   23:     0x5d7b25e7aa66 - <jtheorems[a00cc2c9a4c686e8]::terminal::context::tests::create_context_for_identity_function::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5d7b25e7ad9b - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5d7b25e7ad9b - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5d7b25e875fa - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5d7b25e875fa - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5d7b25e82ba4 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5d7b25e82ba4 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x5d7b25e8a0f2 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5d7b25e8a0f2 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x5d7b25e8a0f2 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5d7b25ef252f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x5d7b25ef252f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x727970eafaa4 - <unknown>
[INFO] [stdout]   45:     0x727970f3ca64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- terminal::parse::parser::tests::test_identity_function_parsing1 stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'terminal::parse::parser::tests::test_identity_function_parsing1' (20) panicked at src/terminal/parse/parser.rs:76:9:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5d7b25ef2c82 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5d7b25ef2c82 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5d7b25f0756a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5d7b25f0756a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x5d7b25ef7a86 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5d7b25ef7a86 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5d7b25ed141f - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5d7b25ed141f - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5d7b25eeaf69 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5d7b25e869ee - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5d7b25e869ee - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5d7b25eeb122 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5d7b25eeb122 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5d7b25ed150a - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5d7b25ec6759 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5d7b25ed232d - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5d7b25f07bdc - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5d7b25f07ba2 - core[27de1724e4349be2]::panicking::panic
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x5d7b25e75b4b - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::get_constant_parameters
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5d7b25e75ad7 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse_definition
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5d7b25e75c50 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5d7b25e77098 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing1
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:91:16
[INFO] [stdout]   24:     0x5d7b25e75177 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing1::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:87:41
[INFO] [stdout]   25:     0x5d7b25e7ab66 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing1::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5d7b25e7ad9b - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5d7b25e7ad9b - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5d7b25e875fa - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   31:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   32:     0x5d7b25e875fa - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5d7b25e82ba4 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5d7b25e82ba4 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   37:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   38:     0x5d7b25e8a0f2 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   40:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   41:     0x5d7b25e8a0f2 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   43:     0x5d7b25e8a0f2 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5d7b25ef252f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   45:     0x5d7b25ef252f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   46:     0x727970eafaa4 - <unknown>
[INFO] [stdout]   47:     0x727970f3ca64 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- terminal::parse::lexer::tests::test_unit_is_contractible stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'terminal::parse::lexer::tests::test_unit_is_contractible' (19) panicked at src/terminal/parse/lexer.rs:156:9:
[INFO] [stdout] not yet implemented: Test lexing for unit_is_contractible function.
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5d7b25ef2c82 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5d7b25ef2c82 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5d7b25f0756a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5d7b25f0756a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x5d7b25ef7a86 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5d7b25ef7a86 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5d7b25ed141f - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5d7b25ed141f - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5d7b25eeaf69 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5d7b25e869ee - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5d7b25e869ee - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5d7b25eeb122 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5d7b25eeb122 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5d7b25ed150a - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5d7b25ec6759 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5d7b25ed232d - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5d7b25f07bdc - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5d7b25e76ddd - jtheorems[a00cc2c9a4c686e8]::terminal::parse::lexer::tests::test_unit_is_contractible
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:156:9
[INFO] [stdout]   20:     0x5d7b25e750e7 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::lexer::tests::test_unit_is_contractible::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:154:35
[INFO] [stdout]   21:     0x5d7b25e7aaa6 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::lexer::tests::test_unit_is_contractible::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5d7b25e7ad9b - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5d7b25e7ad9b - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x5d7b25e875fa - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x5d7b25e875fa - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x5d7b25e82ba4 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x5d7b25e82ba4 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x5d7b25e8a0f2 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x5d7b25e8a0f2 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x5d7b25e8a0f2 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5d7b25ef252f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x5d7b25ef252f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   42:     0x727970eafaa4 - <unknown>
[INFO] [stdout]   43:     0x727970f3ca64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- terminal::parse::parser::tests::test_identity_function_parsing2 stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'terminal::parse::parser::tests::test_identity_function_parsing2' (21) panicked at src/terminal/parse/parser.rs:76:9:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5d7b25ef2c82 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5d7b25ef2c82 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5d7b25f0756a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5d7b25f0756a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x5d7b25ef7a86 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5d7b25ef7a86 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5d7b25ed141f - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5d7b25ed141f - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5d7b25eeaf69 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5d7b25e869ee - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5d7b25e869ee - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5d7b25eeb122 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5d7b25eeb122 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5d7b25ed150a - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5d7b25ec6759 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5d7b25ed232d - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5d7b25f07bdc - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5d7b25f07ba2 - core[27de1724e4349be2]::panicking::panic
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x5d7b25e75b4b - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::get_constant_parameters
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5d7b25e75ad7 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse_definition
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5d7b25e75c50 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5d7b25e77148 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing2
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:99:16
[INFO] [stdout]   24:     0x5d7b25e751a7 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing2::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:95:41
[INFO] [stdout]   25:     0x5d7b25e7aba6 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing2::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5d7b25e7ad9b - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5d7b25e7ad9b - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5d7b25e875fa - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   31:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   32:     0x5d7b25e875fa - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5d7b25e82ba4 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5d7b25e82ba4 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   37:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   38:     0x5d7b25e8a0f2 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   40:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   41:     0x5d7b25e8a0f2 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   43:     0x5d7b25e8a0f2 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5d7b25ef252f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   45:     0x5d7b25ef252f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   46:     0x727970eafaa4 - <unknown>
[INFO] [stdout]   47:     0x727970f3ca64 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- terminal::parse::parser::tests::test_identity_function_parsing3 stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'terminal::parse::parser::tests::test_identity_function_parsing3' (22) panicked at src/terminal/parse/parser.rs:76:9:
[INFO] [stdout] not yet implemented
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5d7b25ef2c82 - std[3b51380354919863]::backtrace_rs::backtrace::trace_unsynchronized::<std[3b51380354919863]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5d7b25ef2c82 - std[3b51380354919863]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5d7b25ef2c82 - <<std[3b51380354919863]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[27de1724e4349be2]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5d7b25f0756a - <core[27de1724e4349be2]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5d7b25f0756a - core[27de1724e4349be2]::fmt::write
[INFO] [stdout]    6:     0x5d7b25ef7a86 - std[3b51380354919863]::io::default_write_fmt::<alloc[a57f19327c0ad893]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5d7b25ef7a86 - <alloc[a57f19327c0ad893]::vec::Vec<u8> as std[3b51380354919863]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5d7b25ed141f - <std[3b51380354919863]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5d7b25ed141f - std[3b51380354919863]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5d7b25eeaf69 - std[3b51380354919863]::panicking::default_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5d7b25e869ee - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5d7b25e869ee - test[182b2e79ecd7bbd9]::test_main_with_exit_callback::<test[182b2e79ecd7bbd9]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5d7b25eeb122 - <alloc[a57f19327c0ad893]::boxed::Box<dyn for<'a, 'b> core[27de1724e4349be2]::ops::function::Fn<(&'a std[3b51380354919863]::panic::PanicHookInfo<'b>,), Output = ()> + core[27de1724e4349be2]::marker::Sync + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::Fn<(&std[3b51380354919863]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5d7b25eeb122 - std[3b51380354919863]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5d7b25ed150a - std[3b51380354919863]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x5d7b25ec6759 - std[3b51380354919863]::sys::backtrace::__rust_end_short_backtrace::<std[3b51380354919863]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5d7b25ed232d - __rustc[d79c0ace40940972]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5d7b25f07bdc - core[27de1724e4349be2]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5d7b25f07ba2 - core[27de1724e4349be2]::panicking::panic
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x5d7b25e75b4b - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::get_constant_parameters
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5d7b25e75ad7 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse_definition
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5d7b25e75c50 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::Parser>::parse
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5d7b25e771f8 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing3
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:107:16
[INFO] [stdout]   24:     0x5d7b25e751d7 - jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing3::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:103:41
[INFO] [stdout]   25:     0x5d7b25e7abe6 - <jtheorems[a00cc2c9a4c686e8]::terminal::parse::parser::tests::test_identity_function_parsing3::{closure#0} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5d7b25e7ad9b - <fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5d7b25e7ad9b - test[182b2e79ecd7bbd9]::__rust_begin_short_backtrace::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, fn() -> core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5d7b25e875fa - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   31:     0x5d7b25e875fa - std[3b51380354919863]::panicking::catch_unwind::<core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>, core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   32:     0x5d7b25e875fa - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<test[182b2e79ecd7bbd9]::run_test_in_process::{closure#0}>, core[27de1724e4349be2]::result::Result<(), alloc[a57f19327c0ad893]::string::String>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test_in_process
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5d7b25e875fa - test[182b2e79ecd7bbd9]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5d7b25e82ba4 - test[182b2e79ecd7bbd9]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5d7b25e82ba4 - std[3b51380354919863]::sys::backtrace::__rust_begin_short_backtrace::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   37:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   38:     0x5d7b25e8a0f2 - <core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::do_call::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:581:40
[INFO] [stdout]   40:     0x5d7b25e8a0f2 - std[3b51380354919863]::panicking::catch_unwind::<(), core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panicking.rs:544:19
[INFO] [stdout]   41:     0x5d7b25e8a0f2 - std[3b51380354919863]::panic::catch_unwind::<core[27de1724e4349be2]::panic::unwind_safe::AssertUnwindSafe<std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5d7b25e8a0f2 - std[3b51380354919863]::thread::lifecycle::spawn_unchecked::<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   43:     0x5d7b25e8a0f2 - <std[3b51380354919863]::thread::lifecycle::spawn_unchecked<test[182b2e79ecd7bbd9]::run_test::{closure#1}, ()>::{closure#1} as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5d7b25ef252f - <alloc[a57f19327c0ad893]::boxed::Box<dyn core[27de1724e4349be2]::ops::function::FnOnce<(), Output = ()> + core[27de1724e4349be2]::marker::Send> as core[27de1724e4349be2]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   45:     0x5d7b25ef252f - <std[3b51380354919863]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/0d162b25edd5bf0dba9a22e83b614f1113e90474/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   46:     0x727970eafaa4 - <unknown>
[INFO] [stdout]   47:     0x727970f3ca64 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     terminal::context::tests::create_context_for_identity_function
[INFO] [stdout]     terminal::parse::lexer::tests::test_unit_is_contractible
[INFO] [stdout]     terminal::parse::parser::tests::test_identity_function_parsing1
[INFO] [stdout]     terminal::parse::parser::tests::test_identity_function_parsing2
[INFO] [stdout]     terminal::parse::parser::tests::test_identity_function_parsing3
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 2 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "0727cd1728059283fcb47350e24f20ab46f86dcf3c3705e4a763094d19572dfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0727cd1728059283fcb47350e24f20ab46f86dcf3c3705e4a763094d19572dfe", kill_on_drop: false }`
[INFO] [stdout] 0727cd1728059283fcb47350e24f20ab46f86dcf3c3705e4a763094d19572dfe
