[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 try#2440211fe03bc45c89b6dc1a3df18382ce91e32b for pr-146098-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-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-2-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/j-p-obrien/jtheorems on toolchain 2440211fe03bc45c89b6dc1a3df18382ce91e32b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "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" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 40d3de40003e736effa7b1be530703394922749b37b935ba68f0ce2d58ce0472 [INFO] running `Command { std: "docker" "start" "-a" "40d3de40003e736effa7b1be530703394922749b37b935ba68f0ce2d58ce0472", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "40d3de40003e736effa7b1be530703394922749b37b935ba68f0ce2d58ce0472", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40d3de40003e736effa7b1be530703394922749b37b935ba68f0ce2d58ce0472", kill_on_drop: false }` [INFO] [stdout] 40d3de40003e736effa7b1be530703394922749b37b935ba68f0ce2d58ce0472 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 81141f8b66b4dbce9e6de9057c45ddd523e6cd843c0ecd6bca0b459b790b306f [INFO] running `Command { std: "docker" "start" "-a" "81141f8b66b4dbce9e6de9057c45ddd523e6cd843c0ecd6bca0b459b790b306f", 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 { [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>(&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>(&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, [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, [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( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | pub(super) fn typ>(&self, term: T) -> Type { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 96 | pub(super) fn name>(&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.66s [INFO] running `Command { std: "docker" "inspect" "81141f8b66b4dbce9e6de9057c45ddd523e6cd843c0ecd6bca0b459b790b306f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "81141f8b66b4dbce9e6de9057c45ddd523e6cd843c0ecd6bca0b459b790b306f", kill_on_drop: false }` [INFO] [stdout] 81141f8b66b4dbce9e6de9057c45ddd523e6cd843c0ecd6bca0b459b790b306f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 681d108c89b5162fa4377d01f10a99bffa854ae748874755f14d1568fedc92e4 [INFO] running `Command { std: "docker" "start" "-a" "681d108c89b5162fa4377d01f10a99bffa854ae748874755f14d1568fedc92e4", 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 { [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>(&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>(&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, [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, [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( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | pub(super) fn typ>(&self, term: T) -> Type { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 96 | pub(super) fn name>(&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 { [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>(&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>(&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, [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, [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.86s [INFO] running `Command { std: "docker" "inspect" "681d108c89b5162fa4377d01f10a99bffa854ae748874755f14d1568fedc92e4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "681d108c89b5162fa4377d01f10a99bffa854ae748874755f14d1568fedc92e4", kill_on_drop: false }` [INFO] [stdout] 681d108c89b5162fa4377d01f10a99bffa854ae748874755f14d1568fedc92e4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+2440211fe03bc45c89b6dc1a3df18382ce91e32b" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] efa1fce5a2544a41b0f0d0accee324df6a7c9945868eef9a9eccf18b3857d8dc [INFO] running `Command { std: "docker" "start" "-a" "efa1fce5a2544a41b0f0d0accee324df6a7c9945868eef9a9eccf18b3857d8dc", 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 { [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>(&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>(&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, [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, [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( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 92 | pub(super) fn typ>(&self, term: T) -> Type { [INFO] [stderr] | ^^^ [INFO] [stderr] ... [INFO] [stderr] 96 | pub(super) fn name>(&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] [stdout] [INFO] [stderr] 155 | let unit_is_contractible_signature = r"def unit_is_contractible: (x : Unit) -> * = x :="; [INFO] [stdout] running 7 tests [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.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/jtheorems-5ecf9427985c2b01) [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::parse::parser::tests::test_identity_function_parsing2 ... 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] test terminal::parse::parser::tests::test_identity_function_parsing3 ... FAILED [INFO] [stdout] test terminal::context::tests::create_context_for_identity_function ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [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' (29) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5743c1288952 - std::backtrace_rs::backtrace::libunwind::trace::h22a6a535a50603c6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5743c1288952 - std::backtrace_rs::backtrace::trace_unsynchronized::h2503a4f30dbfbaa2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5743c1288952 - std::sys::backtrace::_print_fmt::hec54e31f36456895 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5743c1288952 - ::fmt::hb1988e8b50fa5f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5743c1298bbf - core::fmt::rt::Argument::fmt::h3118a66e1a57a586 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5743c1298bbf - core::fmt::write::hcd056e06a609f600 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5743c1255751 - std::io::default_write_fmt::hdabc5d6505cb374b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5743c1255751 - std::io::Write::write_fmt::h18c82179fdc1f9d2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5743c1261ac2 - std::sys::backtrace::BacktraceLock::print::h69f50ba7cfff8317 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5743c126660f - std::panicking::default_hook::{{closure}}::hfa978eb2255ab3ab [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5743c12664a1 - std::panicking::default_hook::h09da2eaf8f1deadd [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5743c1226fae - as core::ops::function::Fn>::call::h1697e4d80f236ef6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5743c1226fae - test::test_main_with_exit_callback::{{closure}}::h8f63929ca9fd483b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5743c1266ccf - as core::ops::function::Fn>::call::hba67e0dc3e3fc548 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5743c1266ccf - std::panicking::panic_with_hook::h13c40d280d130fd3 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5743c1266af6 - std::panicking::panic_handler::{{closure}}::hd79d22e8a1d3b951 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5743c1261bf9 - std::sys::backtrace::__rust_end_short_backtrace::h83414d1ec69cf3a6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5743c1249eed - __rustc[b78aa6c7b08e5dc4]::rust_begin_unwind [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5743c12a06a0 - core::panicking::panic_fmt::h326b75cf8ee01b13 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5743c12a067c - core::panicking::panic::h9eb31005fec5715e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5743c120500b - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h591c5d40c999dc12 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5743c1204f8d - jtheorems::terminal::parse::parser::Parser::parse_definition::h770284487ca210ce [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5743c1205110 - jtheorems::terminal::parse::parser::Parser::parse::h61876c3c1ece31f0 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5743c1204d58 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::hd2c65e074356676c [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:99:16 [INFO] [stdout] 24: 0x5743c1204dc7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::{{closure}}::h3f17111b5dad76dc [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:95:41 [INFO] [stdout] 25: 0x5743c11ff046 - core::ops::function::FnOnce::call_once::h80f5ad5406b3cec9 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5743c1226d8b - core::ops::function::FnOnce::call_once::he420dad47d9aac14 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5743c1226d8b - test::__rust_begin_short_backtrace::h51976f55c263f7c2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5743c123c9b5 - test::run_test_in_process::{{closure}}::h6aa4339396d33320 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5743c123c9b5 - as core::ops::function::FnOnce<()>>::call_once::h5bd0ba3863a53529 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5743c123c9b5 - std::panicking::catch_unwind::do_call::h5c710722c40c5839 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5743c123c9b5 - std::panicking::catch_unwind::hf41b5be070ce0f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5743c123c9b5 - std::panic::catch_unwind::h4559aa103e6f16d6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5743c123c9b5 - test::run_test_in_process::he6fd763a772ff213 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5743c123c9b5 - test::run_test::{{closure}}::he46f5435849feb5b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5743c12131c4 - test::run_test::{{closure}}::h12a66289c31b502a [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5743c12131c4 - std::sys::backtrace::__rust_begin_short_backtrace::h614a7925ed7b2f5e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbc654088c5dbff36 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5743c1216b6a - as core::ops::function::FnOnce<()>>::call_once::h3f631d2ca531b61d [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5743c1216b6a - std::panicking::catch_unwind::do_call::hd2548748db0aa717 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5743c1216b6a - std::panicking::catch_unwind::hf7d8620d84df48e2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5743c1216b6a - std::panic::catch_unwind::hdde75b8543fcb96b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::h991e7d03b432cf3f [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 43: 0x5743c1216b6a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hebddb40255441657 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5743c125cd3f - as core::ops::function::FnOnce>::call_once::h55e8930dc7db99a5 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5743c125cd3f - std::sys::thread::unix::Thread::new::thread_start::he23d038ee4fa004e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x7d5e92d06aa4 - [INFO] [stdout] 47: 0x7d5e92d93a34 - clone [INFO] [stdout] 48: 0x0 - [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' (27) 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: 0x5743c1288952 - std::backtrace_rs::backtrace::libunwind::trace::h22a6a535a50603c6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5743c1288952 - std::backtrace_rs::backtrace::trace_unsynchronized::h2503a4f30dbfbaa2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5743c1288952 - std::sys::backtrace::_print_fmt::hec54e31f36456895 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5743c1288952 - ::fmt::hb1988e8b50fa5f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5743c1298bbf - core::fmt::rt::Argument::fmt::h3118a66e1a57a586 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5743c1298bbf - core::fmt::write::hcd056e06a609f600 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5743c1255751 - std::io::default_write_fmt::hdabc5d6505cb374b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5743c1255751 - std::io::Write::write_fmt::h18c82179fdc1f9d2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5743c1261ac2 - std::sys::backtrace::BacktraceLock::print::h69f50ba7cfff8317 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5743c126660f - std::panicking::default_hook::{{closure}}::hfa978eb2255ab3ab [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5743c12664a1 - std::panicking::default_hook::h09da2eaf8f1deadd [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5743c1226fae - as core::ops::function::Fn>::call::h1697e4d80f236ef6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5743c1226fae - test::test_main_with_exit_callback::{{closure}}::h8f63929ca9fd483b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5743c1266ccf - as core::ops::function::Fn>::call::hba67e0dc3e3fc548 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5743c1266ccf - std::panicking::panic_with_hook::h13c40d280d130fd3 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5743c1266af6 - std::panicking::panic_handler::{{closure}}::hd79d22e8a1d3b951 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5743c1261bf9 - std::sys::backtrace::__rust_end_short_backtrace::h83414d1ec69cf3a6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5743c1249eed - __rustc[b78aa6c7b08e5dc4]::rust_begin_unwind [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5743c12a06a0 - core::panicking::panic_fmt::h326b75cf8ee01b13 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5743c1204961 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::h3365fa9baec8e9ed [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:156:9 [INFO] [stdout] 20: 0x5743c1204987 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::{{closure}}::hfe99b263fb59a8f5 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:154:35 [INFO] [stdout] 21: 0x5743c11ff106 - core::ops::function::FnOnce::call_once::haa299c9a7ab82d25 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x5743c1226d8b - core::ops::function::FnOnce::call_once::he420dad47d9aac14 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5743c1226d8b - test::__rust_begin_short_backtrace::h51976f55c263f7c2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:663:18 [INFO] [stdout] 24: 0x5743c123c9b5 - test::run_test_in_process::{{closure}}::h6aa4339396d33320 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:74 [INFO] [stdout] 25: 0x5743c123c9b5 - as core::ops::function::FnOnce<()>>::call_once::h5bd0ba3863a53529 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 26: 0x5743c123c9b5 - std::panicking::catch_unwind::do_call::h5c710722c40c5839 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 27: 0x5743c123c9b5 - std::panicking::catch_unwind::hf41b5be070ce0f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 28: 0x5743c123c9b5 - std::panic::catch_unwind::h4559aa103e6f16d6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x5743c123c9b5 - test::run_test_in_process::he6fd763a772ff213 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:27 [INFO] [stdout] 30: 0x5743c123c9b5 - test::run_test::{{closure}}::he46f5435849feb5b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:607:43 [INFO] [stdout] 31: 0x5743c12131c4 - test::run_test::{{closure}}::h12a66289c31b502a [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:637:41 [INFO] [stdout] 32: 0x5743c12131c4 - std::sys::backtrace::__rust_begin_short_backtrace::h614a7925ed7b2f5e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 33: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbc654088c5dbff36 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 34: 0x5743c1216b6a - as core::ops::function::FnOnce<()>>::call_once::h3f631d2ca531b61d [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 35: 0x5743c1216b6a - std::panicking::catch_unwind::do_call::hd2548748db0aa717 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 36: 0x5743c1216b6a - std::panicking::catch_unwind::hf7d8620d84df48e2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 37: 0x5743c1216b6a - std::panic::catch_unwind::hdde75b8543fcb96b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::h991e7d03b432cf3f [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 39: 0x5743c1216b6a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hebddb40255441657 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x5743c125cd3f - as core::ops::function::FnOnce>::call_once::h55e8930dc7db99a5 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 41: 0x5743c125cd3f - std::sys::thread::unix::Thread::new::thread_start::he23d038ee4fa004e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 42: 0x7d5e92d06aa4 - [INFO] [stdout] 43: 0x7d5e92d93a34 - clone [INFO] [stdout] 44: 0x0 - [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' (28) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5743c1288952 - std::backtrace_rs::backtrace::libunwind::trace::h22a6a535a50603c6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5743c1288952 - std::backtrace_rs::backtrace::trace_unsynchronized::h2503a4f30dbfbaa2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5743c1288952 - std::sys::backtrace::_print_fmt::hec54e31f36456895 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5743c1288952 - ::fmt::hb1988e8b50fa5f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5743c1298bbf - core::fmt::rt::Argument::fmt::h3118a66e1a57a586 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5743c1298bbf - core::fmt::write::hcd056e06a609f600 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5743c1255751 - std::io::default_write_fmt::hdabc5d6505cb374b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5743c1255751 - std::io::Write::write_fmt::h18c82179fdc1f9d2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5743c1261ac2 - std::sys::backtrace::BacktraceLock::print::h69f50ba7cfff8317 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5743c126660f - std::panicking::default_hook::{{closure}}::hfa978eb2255ab3ab [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5743c12664a1 - std::panicking::default_hook::h09da2eaf8f1deadd [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5743c1226fae - as core::ops::function::Fn>::call::h1697e4d80f236ef6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5743c1226fae - test::test_main_with_exit_callback::{{closure}}::h8f63929ca9fd483b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5743c1266ccf - as core::ops::function::Fn>::call::hba67e0dc3e3fc548 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5743c1266ccf - std::panicking::panic_with_hook::h13c40d280d130fd3 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5743c1266af6 - std::panicking::panic_handler::{{closure}}::hd79d22e8a1d3b951 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5743c1261bf9 - std::sys::backtrace::__rust_end_short_backtrace::h83414d1ec69cf3a6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5743c1249eed - __rustc[b78aa6c7b08e5dc4]::rust_begin_unwind [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5743c12a06a0 - core::panicking::panic_fmt::h326b75cf8ee01b13 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5743c12a067c - core::panicking::panic::h9eb31005fec5715e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5743c120500b - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h591c5d40c999dc12 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5743c1204f8d - jtheorems::terminal::parse::parser::Parser::parse_definition::h770284487ca210ce [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5743c1205110 - jtheorems::terminal::parse::parser::Parser::parse::h61876c3c1ece31f0 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5743c1204c78 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::h38dd9a2d1f356c28 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:91:16 [INFO] [stdout] 24: 0x5743c1204ce7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::{{closure}}::h48c22a038bc35e1e [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:87:41 [INFO] [stdout] 25: 0x5743c11ff086 - core::ops::function::FnOnce::call_once::h83cc7acdeafeca82 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5743c1226d8b - core::ops::function::FnOnce::call_once::he420dad47d9aac14 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5743c1226d8b - test::__rust_begin_short_backtrace::h51976f55c263f7c2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5743c123c9b5 - test::run_test_in_process::{{closure}}::h6aa4339396d33320 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5743c123c9b5 - as core::ops::function::FnOnce<()>>::call_once::h5bd0ba3863a53529 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5743c123c9b5 - std::panicking::catch_unwind::do_call::h5c710722c40c5839 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5743c123c9b5 - std::panicking::catch_unwind::hf41b5be070ce0f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5743c123c9b5 - std::panic::catch_unwind::h4559aa103e6f16d6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5743c123c9b5 - test::run_test_in_process::he6fd763a772ff213 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5743c123c9b5 - test::run_test::{{closure}}::he46f5435849feb5b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5743c12131c4 - test::run_test::{{closure}}::h12a66289c31b502a [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5743c12131c4 - std::sys::backtrace::__rust_begin_short_backtrace::h614a7925ed7b2f5e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbc654088c5dbff36 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5743c1216b6a - as core::ops::function::FnOnce<()>>::call_once::h3f631d2ca531b61d [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5743c1216b6a - std::panicking::catch_unwind::do_call::hd2548748db0aa717 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5743c1216b6a - std::panicking::catch_unwind::hf7d8620d84df48e2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5743c1216b6a - std::panic::catch_unwind::hdde75b8543fcb96b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::h991e7d03b432cf3f [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:557:30 [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] [stdout] 43: 0x5743c1216b6a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hebddb40255441657 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5743c125cd3f - as core::ops::function::FnOnce>::call_once::h55e8930dc7db99a5 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5743c125cd3f - std::sys::thread::unix::Thread::new::thread_start::he23d038ee4fa004e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x7d5e92d06aa4 - [INFO] [stdout] 47: 0x7d5e92d93a34 - clone [INFO] [stdout] 48: 0x0 - [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' (30) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5743c1288952 - std::backtrace_rs::backtrace::libunwind::trace::h22a6a535a50603c6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5743c1288952 - std::backtrace_rs::backtrace::trace_unsynchronized::h2503a4f30dbfbaa2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5743c1288952 - std::sys::backtrace::_print_fmt::hec54e31f36456895 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5743c1288952 - ::fmt::hb1988e8b50fa5f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5743c1298bbf - core::fmt::rt::Argument::fmt::h3118a66e1a57a586 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5743c1298bbf - core::fmt::write::hcd056e06a609f600 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5743c1255751 - std::io::default_write_fmt::hdabc5d6505cb374b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5743c1255751 - std::io::Write::write_fmt::h18c82179fdc1f9d2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5743c1261ac2 - std::sys::backtrace::BacktraceLock::print::h69f50ba7cfff8317 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5743c126660f - std::panicking::default_hook::{{closure}}::hfa978eb2255ab3ab [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5743c12664a1 - std::panicking::default_hook::h09da2eaf8f1deadd [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5743c1226fae - as core::ops::function::Fn>::call::h1697e4d80f236ef6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5743c1226fae - test::test_main_with_exit_callback::{{closure}}::h8f63929ca9fd483b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5743c1266ccf - as core::ops::function::Fn>::call::hba67e0dc3e3fc548 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5743c1266ccf - std::panicking::panic_with_hook::h13c40d280d130fd3 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5743c1266af6 - std::panicking::panic_handler::{{closure}}::hd79d22e8a1d3b951 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5743c1261bf9 - std::sys::backtrace::__rust_end_short_backtrace::h83414d1ec69cf3a6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5743c1249eed - __rustc[b78aa6c7b08e5dc4]::rust_begin_unwind [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5743c12a06a0 - core::panicking::panic_fmt::h326b75cf8ee01b13 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5743c12a067c - core::panicking::panic::h9eb31005fec5715e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5743c120500b - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h591c5d40c999dc12 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5743c1204f8d - jtheorems::terminal::parse::parser::Parser::parse_definition::h770284487ca210ce [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5743c1205110 - jtheorems::terminal::parse::parser::Parser::parse::h61876c3c1ece31f0 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5743c1204e38 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::h0a47f47c761f63b4 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:107:16 [INFO] [stdout] 24: 0x5743c1204ea7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::{{closure}}::he0e59821f8d6e41c [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:103:41 [INFO] [stdout] 25: 0x5743c11ff006 - core::ops::function::FnOnce::call_once::h7bb4956d266c4a78 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5743c1226d8b - core::ops::function::FnOnce::call_once::he420dad47d9aac14 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5743c1226d8b - test::__rust_begin_short_backtrace::h51976f55c263f7c2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5743c123c9b5 - test::run_test_in_process::{{closure}}::h6aa4339396d33320 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5743c123c9b5 - as core::ops::function::FnOnce<()>>::call_once::h5bd0ba3863a53529 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5743c123c9b5 - std::panicking::catch_unwind::do_call::h5c710722c40c5839 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5743c123c9b5 - std::panicking::catch_unwind::hf41b5be070ce0f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5743c123c9b5 - std::panic::catch_unwind::h4559aa103e6f16d6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5743c123c9b5 - test::run_test_in_process::he6fd763a772ff213 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5743c123c9b5 - test::run_test::{{closure}}::he46f5435849feb5b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5743c12131c4 - test::run_test::{{closure}}::h12a66289c31b502a [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5743c12131c4 - std::sys::backtrace::__rust_begin_short_backtrace::h614a7925ed7b2f5e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbc654088c5dbff36 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5743c1216b6a - as core::ops::function::FnOnce<()>>::call_once::h3f631d2ca531b61d [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5743c1216b6a - std::panicking::catch_unwind::do_call::hd2548748db0aa717 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5743c1216b6a - std::panicking::catch_unwind::hf7d8620d84df48e2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5743c1216b6a - std::panic::catch_unwind::hdde75b8543fcb96b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::h991e7d03b432cf3f [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 43: 0x5743c1216b6a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hebddb40255441657 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5743c125cd3f - as core::ops::function::FnOnce>::call_once::h55e8930dc7db99a5 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5743c125cd3f - std::sys::thread::unix::Thread::new::thread_start::he23d038ee4fa004e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x7d5e92d06aa4 - [INFO] [stdout] 47: 0x7d5e92d93a34 - clone [INFO] [stdout] 48: 0x0 - [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' (24) panicked at src/terminal/context.rs:86:13: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5743c1288952 - std::backtrace_rs::backtrace::libunwind::trace::h22a6a535a50603c6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5743c1288952 - std::backtrace_rs::backtrace::trace_unsynchronized::h2503a4f30dbfbaa2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5743c1288952 - std::sys::backtrace::_print_fmt::hec54e31f36456895 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5743c1288952 - ::fmt::hb1988e8b50fa5f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5743c1298bbf - core::fmt::rt::Argument::fmt::h3118a66e1a57a586 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5743c1298bbf - core::fmt::write::hcd056e06a609f600 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5743c1255751 - std::io::default_write_fmt::hdabc5d6505cb374b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5743c1255751 - std::io::Write::write_fmt::h18c82179fdc1f9d2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5743c1261ac2 - std::sys::backtrace::BacktraceLock::print::h69f50ba7cfff8317 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5743c126660f - std::panicking::default_hook::{{closure}}::hfa978eb2255ab3ab [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5743c12664a1 - std::panicking::default_hook::h09da2eaf8f1deadd [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5743c1226fae - as core::ops::function::Fn>::call::h1697e4d80f236ef6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5743c1226fae - test::test_main_with_exit_callback::{{closure}}::h8f63929ca9fd483b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5743c1266ccf - as core::ops::function::Fn>::call::hba67e0dc3e3fc548 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5743c1266ccf - std::panicking::panic_with_hook::h13c40d280d130fd3 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5743c1266af6 - std::panicking::panic_handler::{{closure}}::hd79d22e8a1d3b951 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5743c1261bf9 - std::sys::backtrace::__rust_end_short_backtrace::h83414d1ec69cf3a6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5743c1249eed - __rustc[b78aa6c7b08e5dc4]::rust_begin_unwind [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5743c12a06a0 - core::panicking::panic_fmt::h326b75cf8ee01b13 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5743c12a067c - core::panicking::panic::h9eb31005fec5715e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5743c1205f05 - jtheorems::terminal::context::Context::try_variable_intro::ha9e413b8a05f9072 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:86:13 [INFO] [stdout] 21: 0x5743c1205264 - jtheorems::terminal::context::tests::create_context_for_identity_function::h50c9843cb807adf4 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:112:25 [INFO] [stdout] 22: 0x5743c1205d77 - jtheorems::terminal::context::tests::create_context_for_identity_function::{{closure}}::h8a45a4c53008d899 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:107:46 [INFO] [stdout] 23: 0x5743c11ff186 - core::ops::function::FnOnce::call_once::hf3628f75886c38a0 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5743c1226d8b - core::ops::function::FnOnce::call_once::he420dad47d9aac14 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5743c1226d8b - test::__rust_begin_short_backtrace::h51976f55c263f7c2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x5743c123c9b5 - test::run_test_in_process::{{closure}}::h6aa4339396d33320 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x5743c123c9b5 - as core::ops::function::FnOnce<()>>::call_once::h5bd0ba3863a53529 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 28: 0x5743c123c9b5 - std::panicking::catch_unwind::do_call::h5c710722c40c5839 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x5743c123c9b5 - std::panicking::catch_unwind::hf41b5be070ce0f19 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x5743c123c9b5 - std::panic::catch_unwind::h4559aa103e6f16d6 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x5743c123c9b5 - test::run_test_in_process::he6fd763a772ff213 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x5743c123c9b5 - test::run_test::{{closure}}::he46f5435849feb5b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x5743c12131c4 - test::run_test::{{closure}}::h12a66289c31b502a [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x5743c12131c4 - std::sys::backtrace::__rust_begin_short_backtrace::h614a7925ed7b2f5e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hbc654088c5dbff36 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x5743c1216b6a - as core::ops::function::FnOnce<()>>::call_once::h3f631d2ca531b61d [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 37: 0x5743c1216b6a - std::panicking::catch_unwind::do_call::hd2548748db0aa717 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x5743c1216b6a - std::panicking::catch_unwind::hf7d8620d84df48e2 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x5743c1216b6a - std::panic::catch_unwind::hdde75b8543fcb96b [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x5743c1216b6a - std::thread::Builder::spawn_unchecked_::{{closure}}::h991e7d03b432cf3f [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x5743c1216b6a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hebddb40255441657 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x5743c125cd3f - as core::ops::function::FnOnce>::call_once::h55e8930dc7db99a5 [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 43: 0x5743c125cd3f - std::sys::thread::unix::Thread::new::thread_start::he23d038ee4fa004e [INFO] [stdout] at /rustc/2440211fe03bc45c89b6dc1a3df18382ce91e32b/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 44: 0x7d5e92d06aa4 - [INFO] [stdout] 45: 0x7d5e92d93a34 - clone [INFO] [stdout] 46: 0x0 - [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" "efa1fce5a2544a41b0f0d0accee324df6a7c9945868eef9a9eccf18b3857d8dc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "efa1fce5a2544a41b0f0d0accee324df6a7c9945868eef9a9eccf18b3857d8dc", kill_on_drop: false }` [INFO] [stdout] efa1fce5a2544a41b0f0d0accee324df6a7c9945868eef9a9eccf18b3857d8dc