[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 beta-2025-09-21 for beta-1.91-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/j-p-obrien/jtheorems on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7bc693552e7fddc97e26b302af89f398e4dc1dac0352674c0fb109ae419f8046
[INFO] running `Command { std: "docker" "start" "-a" "7bc693552e7fddc97e26b302af89f398e4dc1dac0352674c0fb109ae419f8046", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7bc693552e7fddc97e26b302af89f398e4dc1dac0352674c0fb109ae419f8046", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7bc693552e7fddc97e26b302af89f398e4dc1dac0352674c0fb109ae419f8046", kill_on_drop: false }`
[INFO] [stdout] 7bc693552e7fddc97e26b302af89f398e4dc1dac0352674c0fb109ae419f8046
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 14534682e96490d4458b4919100ed7fc93c2fb255e894a9e9180631ad6a79959
[INFO] running `Command { std: "docker" "start" "-a" "14534682e96490d4458b4919100ed7fc93c2fb255e894a9e9180631ad6a79959", 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: `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: `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: `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.55s
[INFO] running `Command { std: "docker" "inspect" "14534682e96490d4458b4919100ed7fc93c2fb255e894a9e9180631ad6a79959", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "14534682e96490d4458b4919100ed7fc93c2fb255e894a9e9180631ad6a79959", kill_on_drop: false }`
[INFO] [stdout] 14534682e96490d4458b4919100ed7fc93c2fb255e894a9e9180631ad6a79959
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] eb93b5f7d183df18f14dcf42ac703d684751e7bdb9de72848274b9f0e23be178
[INFO] running `Command { std: "docker" "start" "-a" "eb93b5f7d183df18f14dcf42ac703d684751e7bdb9de72848274b9f0e23be178", 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: `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: `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: `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]    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: `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: `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: `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.81s
[INFO] running `Command { std: "docker" "inspect" "eb93b5f7d183df18f14dcf42ac703d684751e7bdb9de72848274b9f0e23be178", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eb93b5f7d183df18f14dcf42ac703d684751e7bdb9de72848274b9f0e23be178", kill_on_drop: false }`
[INFO] [stdout] eb93b5f7d183df18f14dcf42ac703d684751e7bdb9de72848274b9f0e23be178
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e135f887e00e0376f2768051ce084a900413516d61ac7709f6af4ef95131ce9b
[INFO] running `Command { std: "docker" "start" "-a" "e135f887e00e0376f2768051ce084a900413516d61ac7709f6af4ef95131ce9b", 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: `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: `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: `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 2 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 3 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/jtheorems-cbebf682f270adfa)
[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_parsing2 ... FAILED
[INFO] [stdout] test terminal::parse::parser::tests::test_identity_function_parsing3 ... FAILED
[INFO] [stdout] test terminal::parse::lexer::tests::test_unit_is_contractible ... FAILED
[INFO] [stdout] test terminal::parse::parser::tests::test_identity_function_parsing1 ... 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:     0x5991e6628202 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5991e6628202 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5991e6628202 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5991e6628202 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5991e663840f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5991e663840f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5991e65f5771 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5991e65f5771 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5991e66017d2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5991e660631f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5991e66061b1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5991e65c6d7e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5991e65c6d7e - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5991e66069df - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5991e66069df - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x5991e6606806 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5991e6601909 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5991e65e9c4d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5991e663fef0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5991e663fecc - core::panicking::panic::h355c5fec13755e30
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x5991e65a5ce5 - jtheorems::terminal::context::Context::try_variable_intro::h5ce7eb341c13db48
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:86:13
[INFO] [stdout]   21:     0x5991e65a5044 - jtheorems::terminal::context::tests::create_context_for_identity_function::hc91d38e5f9dcaa7c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:112:25
[INFO] [stdout]   22:     0x5991e65a5b57 - jtheorems::terminal::context::tests::create_context_for_identity_function::{{closure}}::h002b8e84356d6669
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/context.rs:107:46
[INFO] [stdout]   23:     0x5991e659ed46 - core::ops::function::FnOnce::call_once::h1f6d497a60a23be9
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5991e65c6b3b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5991e65c6b3b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5991e65dc7a5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5991e65dc7a5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x5991e65dc7a5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   29:     0x5991e65dc7a5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   30:     0x5991e65dc7a5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5991e65dc7a5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5991e65dc7a5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5991e65b2f94 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5991e65b2f94 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   35:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   36:     0x5991e65b685a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x5991e65b685a - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   38:     0x5991e65b685a - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   39:     0x5991e65b685a - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   41:     0x5991e65b685a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5991e65fca6f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   43:     0x5991e65fca6f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   44:     0x7a4f8a321aa4 - <unknown>
[INFO] [stdout]   45:     0x7a4f8a3aea34 - clone
[INFO] [stdout]   46:                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:     0x5991e6628202 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5991e6628202 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5991e6628202 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5991e6628202 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5991e663840f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5991e663840f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5991e65f5771 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5991e65f5771 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5991e66017d2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5991e660631f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5991e66061b1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5991e65c6d7e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5991e65c6d7e - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5991e66069df - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5991e66069df - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x5991e6606806 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5991e6601909 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5991e65e9c4d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5991e663fef0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5991e663fecc - core::panicking::panic::h355c5fec13755e30
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x5991e65a4deb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h4e79aac326dc5341
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5991e65a4d6d - jtheorems::terminal::parse::parser::Parser::parse_definition::hc0e2e230641d2fd4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5991e65a4ef0 - jtheorems::terminal::parse::parser::Parser::parse::h0dc00ef198e56c92
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5991e65a4b38 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::h0007cf13e1ef1728
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:99:16
[INFO] [stdout]   24:     0x5991e65a4ba7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::{{closure}}::hcad5244298eee887
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:95:41
[INFO] [stdout]   25:     0x5991e659edb6 - core::ops::function::FnOnce::call_once::h24d3acf9a44fc98d
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5991e65c6b3b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5991e65c6b3b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5991e65dc7a5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5991e65dc7a5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5991e65dc7a5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   31:     0x5991e65dc7a5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   32:     0x5991e65dc7a5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5991e65dc7a5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5991e65dc7a5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5991e65b2f94 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5991e65b2f94 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   37:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   38:     0x5991e65b685a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5991e65b685a - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   40:     0x5991e65b685a - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   41:     0x5991e65b685a - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   43:     0x5991e65b685a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5991e65fca6f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   45:     0x5991e65fca6f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   46:     0x7a4f8a321aa4 - <unknown>
[INFO] [stdout]   47:     0x7a4f8a3aea34 - 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:     0x5991e6628202 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5991e6628202 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5991e6628202 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5991e6628202 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5991e663840f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5991e663840f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5991e65f5771 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5991e65f5771 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5991e66017d2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5991e660631f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5991e66061b1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5991e65c6d7e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5991e65c6d7e - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5991e66069df - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5991e66069df - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x5991e6606806 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5991e6601909 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5991e65e9c4d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5991e663fef0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5991e663fecc - core::panicking::panic::h355c5fec13755e30
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x5991e65a4deb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h4e79aac326dc5341
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5991e65a4d6d - jtheorems::terminal::parse::parser::Parser::parse_definition::hc0e2e230641d2fd4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5991e65a4ef0 - jtheorems::terminal::parse::parser::Parser::parse::h0dc00ef198e56c92
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5991e65a4c18 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::hefc72d89ab101e5d
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:107:16
[INFO] [stdout]   24:     0x5991e65a4c87 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::{{closure}}::h9644a5727bbbfeac
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:103:41
[INFO] [stdout]   25:     0x5991e659edf6 - core::ops::function::FnOnce::call_once::h311192b3b17c9027
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5991e65c6b3b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5991e65c6b3b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5991e65dc7a5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5991e65dc7a5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5991e65dc7a5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   31:     0x5991e65dc7a5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   32:     0x5991e65dc7a5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5991e65dc7a5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5991e65dc7a5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5991e65b2f94 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5991e65b2f94 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   37:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   38:     0x5991e65b685a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5991e65b685a - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   40:     0x5991e65b685a - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   41:     0x5991e65b685a - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   43:     0x5991e65b685a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5991e65fca6f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   45:     0x5991e65fca6f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   46:     0x7a4f8a321aa4 - <unknown>
[INFO] [stdout]   47:     0x7a4f8a3aea34 - 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:     0x5991e6628202 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5991e6628202 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5991e6628202 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5991e6628202 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5991e663840f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5991e663840f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5991e65f5771 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5991e65f5771 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5991e66017d2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5991e660631f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5991e66061b1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5991e65c6d7e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5991e65c6d7e - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5991e66069df - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5991e66069df - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout]   15:     0x5991e6606806 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5991e6601909 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5991e65e9c4d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5991e663fef0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5991e65a4741 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::haf8825167b744662
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:156:9
[INFO] [stdout]   20:     0x5991e65a4767 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::{{closure}}::h912424bf2addddf9
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:154:35
[INFO] [stdout]   21:     0x5991e659ee86 - core::ops::function::FnOnce::call_once::h69103aa9fb444b4d
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x5991e65c6b3b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x5991e65c6b3b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x5991e65dc7a5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x5991e65dc7a5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x5991e65dc7a5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   27:     0x5991e65dc7a5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   28:     0x5991e65dc7a5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x5991e65dc7a5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x5991e65dc7a5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x5991e65b2f94 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x5991e65b2f94 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   33:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   34:     0x5991e65b685a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x5991e65b685a - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   36:     0x5991e65b685a - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   37:     0x5991e65b685a - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   39:     0x5991e65b685a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x5991e65fca6f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   41:     0x5991e65fca6f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   42:     0x7a4f8a321aa4 - <unknown>
[INFO] [stdout]   43:     0x7a4f8a3aea34 - clone
[INFO] [stdout]   44:                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:     0x5991e6628202 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5991e6628202 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5991e6628202 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5991e6628202 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5991e663840f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5991e663840f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5991e65f5771 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5991e65f5771 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5991e66017d2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5991e660631f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5991e66061b1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5991e65c6d7e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5991e65c6d7e - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5991e66069df - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5991e66069df - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x5991e6606806 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5991e6601909 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5991e65e9c4d - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5991e663fef0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5991e663fecc - core::panicking::panic::h355c5fec13755e30
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:145:5
[INFO] [stdout]   20:     0x5991e65a4deb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h4e79aac326dc5341
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9
[INFO] [stdout]   21:     0x5991e65a4d6d - jtheorems::terminal::parse::parser::Parser::parse_definition::hc0e2e230641d2fd4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22
[INFO] [stdout]   22:     0x5991e65a4ef0 - jtheorems::terminal::parse::parser::Parser::parse::h0dc00ef198e56c92
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42
[INFO] [stdout]   23:     0x5991e65a4a58 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::h4c7042dd3d1125cf
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:91:16
[INFO] [stdout]   24:     0x5991e65a4ac7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::{{closure}}::hdb1c3a318a9c8957
[INFO] [stdout]                                at /opt/rustwide/workdir/src/terminal/parse/parser.rs:87:41
[INFO] [stdout]   25:     0x5991e659ee36 - core::ops::function::FnOnce::call_once::h33444710fe341580
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5991e65c6b3b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5991e65c6b3b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5991e65dc7a5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5991e65dc7a5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5991e65dc7a5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   31:     0x5991e65dc7a5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   32:     0x5991e65dc7a5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5991e65dc7a5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5991e65dc7a5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5991e65b2f94 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5991e65b2f94 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   37:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   38:     0x5991e65b685a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5991e65b685a - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   40:     0x5991e65b685a - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   41:     0x5991e65b685a - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5991e65b685a - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   43:     0x5991e65b685a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5991e65fca6f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   45:     0x5991e65fca6f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   46:     0x7a4f8a321aa4 - <unknown>
[INFO] [stdout]   47:     0x7a4f8a3aea34 - 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.03s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e135f887e00e0376f2768051ce084a900413516d61ac7709f6af4ef95131ce9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e135f887e00e0376f2768051ce084a900413516d61ac7709f6af4ef95131ce9b", kill_on_drop: false }`
[INFO] [stdout] e135f887e00e0376f2768051ce084a900413516d61ac7709f6af4ef95131ce9b
