[INFO] cloning repository https://github.com/j-p-obrien/jtheorems [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/j-p-obrien/jtheorems" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7fc04160873cc32eda817469d874a612879e46a3 [INFO] testing j-p-obrien/jtheorems against master#caccb4d0368bd918ef6668af8e13834d07040417 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-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/j-p-obrien/jtheorems [INFO] finished tweaking git repo https://github.com/j-p-obrien/jtheorems [INFO] tweaked toml for git repo https://github.com/j-p-obrien/jtheorems written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/j-p-obrien/jtheorems on toolchain caccb4d0368bd918ef6668af8e13834d07040417 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "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" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ad9c40c1c98a551da9000f4913aa6bff1fe0a4591bb2800c6959c2ee5b3d9616 [INFO] running `Command { std: "docker" "start" "-a" "ad9c40c1c98a551da9000f4913aa6bff1fe0a4591bb2800c6959c2ee5b3d9616", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ad9c40c1c98a551da9000f4913aa6bff1fe0a4591bb2800c6959c2ee5b3d9616", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad9c40c1c98a551da9000f4913aa6bff1fe0a4591bb2800c6959c2ee5b3d9616", kill_on_drop: false }` [INFO] [stdout] ad9c40c1c98a551da9000f4913aa6bff1fe0a4591bb2800c6959c2ee5b3d9616 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6e2ee0e5b6956bf2704c835cc0cbc8696e1b401977bc2c5cd7aa0206f26e8952 [INFO] running `Command { std: "docker" "start" "-a" "6e2ee0e5b6956bf2704c835cc0cbc8696e1b401977bc2c5cd7aa0206f26e8952", 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.74s [INFO] running `Command { std: "docker" "inspect" "6e2ee0e5b6956bf2704c835cc0cbc8696e1b401977bc2c5cd7aa0206f26e8952", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6e2ee0e5b6956bf2704c835cc0cbc8696e1b401977bc2c5cd7aa0206f26e8952", kill_on_drop: false }` [INFO] [stdout] 6e2ee0e5b6956bf2704c835cc0cbc8696e1b401977bc2c5cd7aa0206f26e8952 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a014ef26e9daaed7495dfb6810a8ae2745c353503d533c0417daf72bf5283580 [INFO] running `Command { std: "docker" "start" "-a" "a014ef26e9daaed7495dfb6810a8ae2745c353503d533c0417daf72bf5283580", 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] [stderr] Compiling jtheorems v0.1.0 (/opt/rustwide/workdir) [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] [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" "a014ef26e9daaed7495dfb6810a8ae2745c353503d533c0417daf72bf5283580", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a014ef26e9daaed7495dfb6810a8ae2745c353503d533c0417daf72bf5283580", kill_on_drop: false }` [INFO] [stdout] a014ef26e9daaed7495dfb6810a8ae2745c353503d533c0417daf72bf5283580 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9f200255fa6bb5da22c5ef9f39acbdd9f1395df9e3c8881300f757227c1f17ab [INFO] running `Command { std: "docker" "start" "-a" "9f200255fa6bb5da22c5ef9f39acbdd9f1395df9e3c8881300f757227c1f17ab", 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] [stdout] [INFO] [stderr] | [INFO] [stdout] running 7 tests [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] [stdout] test terminal::parse::lexer::tests::test_add_function_signature ... ok [INFO] [stderr] | [INFO] [stdout] test terminal::parse::lexer::tests::test_identity_function_signature ... ok [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] [stderr] 155 | let unit_is_contractible_signature = r"def unit_is_contractible: (x : Unit) -> * = x :="; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_unit_is_contractible_signature` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/terminal/parse/parser.rs:90:13 [INFO] [stderr] | [INFO] [stderr] 90 | let mut context = &mut Context::new(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/terminal/parse/parser.rs:98:13 [INFO] [stderr] | [INFO] [stderr] 98 | let mut context = &mut Context::new(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/terminal/parse/parser.rs:106:13 [INFO] [stderr] | [INFO] [stderr] 106 | let mut context = &mut Context::new(); [INFO] [stderr] | ----^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: multiple variants are never constructed [INFO] [stderr] --> src/term/types.rs:18:5 [INFO] [stderr] | [INFO] [stderr] 17 | pub(crate) enum Type { [INFO] [stderr] | ---- variants in this enum [INFO] [stderr] 18 | CoproductType(CoproductType), [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] 19 | EmptyType(EmptyType), [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] 20 | IdentityType(IdentityType), [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] 21 | FunctionType(FunctionType), [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] 22 | PiType(PiType), [INFO] [stderr] | ^^^^^^ [INFO] [stderr] 23 | NaturalType(NaturalType), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] 24 | ProductType(ProductType), [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] 25 | SigmaType(SigmaType), [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] 26 | UnitType(UnitType), [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] 27 | Universe(Universe), [INFO] [stderr] 28 | BoundVariable(BoundVariable), [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Type` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: variant `NameAlreadyTaken` is never constructed [INFO] [stderr] --> src/terminal/context.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 11 | pub enum ContextError { [INFO] [stderr] | ------------ variant in this enum [INFO] [stderr] 12 | NameAlreadyTaken(String), [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `ContextError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: unused `Result` that must be used [INFO] [stderr] --> src/terminal/parse/parser.rs:91:9 [INFO] [stderr] | [INFO] [stderr] 91 | parser.parse(&identity_signature1, context); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 91 | let _ = parser.parse(&identity_signature1, context); [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: unused `Result` that must be used [INFO] [stderr] --> src/terminal/parse/parser.rs:99:9 [INFO] [stderr] | [INFO] [stderr] 99 | parser.parse(&identity_signature2, context); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 99 | let _ = parser.parse(&identity_signature2, context); [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: unused `Result` that must be used [INFO] [stderr] --> src/terminal/parse/parser.rs:107:9 [INFO] [stderr] | [INFO] [stderr] 107 | parser.parse(&identity_signature2, context); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] help: use `let _ = ...` to ignore the resulting value [INFO] [stderr] | [INFO] [stderr] 107 | let _ = parser.parse(&identity_signature2, context); [INFO] [stderr] | +++++++ [INFO] [stderr] [INFO] [stderr] warning: `jtheorems` (lib test) generated 73 warnings (64 duplicates) (run `cargo fix --lib -p jtheorems --tests` to apply 3 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/jtheorems-5ecf9427985c2b01) [INFO] [stdout] test terminal::context::tests::create_context_for_identity_function ... 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::parse::parser::tests::test_identity_function_parsing2 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- terminal::context::tests::create_context_for_identity_function stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'terminal::context::tests::create_context_for_identity_function' (25) panicked at src/terminal/context.rs:86:13: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5e22b9a34942 - std::backtrace_rs::backtrace::libunwind::trace::h76861be37b31432e [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5e22b9a34942 - std::backtrace_rs::backtrace::trace_unsynchronized::h58d4003082192c17 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5e22b9a34942 - std::sys::backtrace::_print_fmt::hfe5857a399620d2a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5e22b9a34942 - ::fmt::h52160e9da139e442 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5e22b9a44baf - core::fmt::rt::Argument::fmt::h66fe6fef9ecca14a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5e22b9a44baf - core::fmt::write::hf09a056a304e021a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5e22b9a019e1 - std::io::default_write_fmt::hf1a3645468226e09 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5e22b9a019e1 - std::io::Write::write_fmt::ha5ada6d6a18bde33 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5e22b9a0dab2 - std::sys::backtrace::BacktraceLock::print::h15104dbcf0fd1f14 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5e22b9a125ff - std::panicking::default_hook::{{closure}}::h0fa6cd8dbe0dd76b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5e22b9a12491 - std::panicking::default_hook::h8d20506cf72e4831 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5e22b99d2f9e - as core::ops::function::Fn>::call::h3d020961abd83a77 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5e22b99d2f9e - test::test_main_with_exit_callback::{{closure}}::h720dd2fdb2ddcdca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5e22b9a12cbf - as core::ops::function::Fn>::call::h75334a5fed245bca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5e22b9a12cbf - std::panicking::panic_with_hook::h746880a052e02c85 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5e22b9a12ae6 - std::panicking::panic_handler::{{closure}}::h14b95830f89d14b3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5e22b9a0dbe9 - std::sys::backtrace::__rust_end_short_backtrace::h7ddaac0e9609a83d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5e22b99f5edd - __rustc[76f7e7187978e2f8]::rust_begin_unwind [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5e22b9a4c690 - core::panicking::panic_fmt::heb245a301f4395db [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5e22b9a4c66c - core::panicking::panic::h43cc40e5e3a930ed [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5e22b99b1de5 - jtheorems::terminal::context::Context::try_variable_intro::h446166ee435bf116 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:86:13 [INFO] [stdout] 21: 0x5e22b99b1254 - jtheorems::terminal::context::tests::create_context_for_identity_function::h5205da8c752dc4c7 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:112:25 [INFO] [stdout] 22: 0x5e22b99b1d67 - jtheorems::terminal::context::tests::create_context_for_identity_function::{{closure}}::h536d266d97ff3054 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/context.rs:107:46 [INFO] [stdout] 23: 0x5e22b99ab046 - core::ops::function::FnOnce::call_once::h6e2bd6f3a477b7cd [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x5e22b99d2dcb - core::ops::function::FnOnce::call_once::h933a5d67211adff2 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x5e22b99d2dcb - test::__rust_begin_short_backtrace::h2157af19b0990ffb [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:663:18 [INFO] [stdout] 26: 0x5e22b99e89a5 - test::run_test_in_process::{{closure}}::hc3b17e0f313c900a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:74 [INFO] [stdout] 27: 0x5e22b99e89a5 - as core::ops::function::FnOnce<()>>::call_once::ha23e4b490259273c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 28: 0x5e22b99e89a5 - std::panicking::catch_unwind::do_call::h8dc9d5da83792f7a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 29: 0x5e22b99e89a5 - std::panicking::catch_unwind::h0d8461330de4a18b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 30: 0x5e22b99e89a5 - std::panic::catch_unwind::h0321b51397bf9811 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x5e22b99e89a5 - test::run_test_in_process::hcaaa440fdbe4a513 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:27 [INFO] [stdout] 32: 0x5e22b99e89a5 - test::run_test::{{closure}}::h6345da602b85d6c3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:607:43 [INFO] [stdout] 33: 0x5e22b99bf1b4 - test::run_test::{{closure}}::h90a3b75194d37b5d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:637:41 [INFO] [stdout] 34: 0x5e22b99bf1b4 - std::sys::backtrace::__rust_begin_short_backtrace::hae41a17001f53ede [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 35: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6ea895368381e0b1 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x5e22b99c2a7a - as core::ops::function::FnOnce<()>>::call_once::h9c39013633bb9237 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 37: 0x5e22b99c2a7a - std::panicking::catch_unwind::do_call::hac7dba9ee4d99108 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 38: 0x5e22b99c2a7a - std::panicking::catch_unwind::h73015d00e4866ebc [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 39: 0x5e22b99c2a7a - std::panic::catch_unwind::h6f7b38e188aa4f62 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::h969a6a2dc1856df7 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x5e22b99c2a7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h269ad1ff23e72122 [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x5e22b9a08d2f - as core::ops::function::FnOnce>::call_once::hdd09a470c130e806 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 43: 0x5e22b9a08d2f - std::sys::thread::unix::Thread::new::thread_start::h14ea1ba6e320367c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 44: 0x755b53a36aa4 - [INFO] [stdout] 45: 0x755b53ac3a34 - clone [INFO] [stdout] 46: 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' (28) 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: 0x5e22b9a34942 - std::backtrace_rs::backtrace::libunwind::trace::h76861be37b31432e [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5e22b9a34942 - std::backtrace_rs::backtrace::trace_unsynchronized::h58d4003082192c17 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5e22b9a34942 - std::sys::backtrace::_print_fmt::hfe5857a399620d2a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5e22b9a34942 - ::fmt::h52160e9da139e442 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5e22b9a44baf - core::fmt::rt::Argument::fmt::h66fe6fef9ecca14a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5e22b9a44baf - core::fmt::write::hf09a056a304e021a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5e22b9a019e1 - std::io::default_write_fmt::hf1a3645468226e09 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5e22b9a019e1 - std::io::Write::write_fmt::ha5ada6d6a18bde33 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5e22b9a0dab2 - std::sys::backtrace::BacktraceLock::print::h15104dbcf0fd1f14 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5e22b9a125ff - std::panicking::default_hook::{{closure}}::h0fa6cd8dbe0dd76b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5e22b9a12491 - std::panicking::default_hook::h8d20506cf72e4831 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5e22b99d2f9e - as core::ops::function::Fn>::call::h3d020961abd83a77 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5e22b99d2f9e - test::test_main_with_exit_callback::{{closure}}::h720dd2fdb2ddcdca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5e22b9a12cbf - as core::ops::function::Fn>::call::h75334a5fed245bca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5e22b9a12cbf - std::panicking::panic_with_hook::h746880a052e02c85 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5e22b9a12ae6 - std::panicking::panic_handler::{{closure}}::h14b95830f89d14b3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5e22b9a0dbe9 - std::sys::backtrace::__rust_end_short_backtrace::h7ddaac0e9609a83d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5e22b99f5edd - __rustc[76f7e7187978e2f8]::rust_begin_unwind [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5e22b9a4c690 - core::panicking::panic_fmt::heb245a301f4395db [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5e22b99b0951 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::hd5496ad74942cb02 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:156:9 [INFO] [stdout] 20: 0x5e22b99b0977 - jtheorems::terminal::parse::lexer::tests::test_unit_is_contractible::{{closure}}::h01b6f835bfbe8270 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/lexer.rs:154:35 [INFO] [stdout] 21: 0x5e22b99aaf86 - core::ops::function::FnOnce::call_once::h24ca5ea8c101fe24 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x5e22b99d2dcb - core::ops::function::FnOnce::call_once::h933a5d67211adff2 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x5e22b99d2dcb - test::__rust_begin_short_backtrace::h2157af19b0990ffb [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:663:18 [INFO] [stdout] 24: 0x5e22b99e89a5 - test::run_test_in_process::{{closure}}::hc3b17e0f313c900a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:74 [INFO] [stdout] 25: 0x5e22b99e89a5 - as core::ops::function::FnOnce<()>>::call_once::ha23e4b490259273c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 26: 0x5e22b99e89a5 - std::panicking::catch_unwind::do_call::h8dc9d5da83792f7a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 27: 0x5e22b99e89a5 - std::panicking::catch_unwind::h0d8461330de4a18b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 28: 0x5e22b99e89a5 - std::panic::catch_unwind::h0321b51397bf9811 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 29: 0x5e22b99e89a5 - test::run_test_in_process::hcaaa440fdbe4a513 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:27 [INFO] [stdout] 30: 0x5e22b99e89a5 - test::run_test::{{closure}}::h6345da602b85d6c3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:607:43 [INFO] [stdout] 31: 0x5e22b99bf1b4 - test::run_test::{{closure}}::h90a3b75194d37b5d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:637:41 [INFO] [stdout] 32: 0x5e22b99bf1b4 - std::sys::backtrace::__rust_begin_short_backtrace::hae41a17001f53ede [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 33: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6ea895368381e0b1 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 34: 0x5e22b99c2a7a - as core::ops::function::FnOnce<()>>::call_once::h9c39013633bb9237 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 35: 0x5e22b99c2a7a - std::panicking::catch_unwind::do_call::hac7dba9ee4d99108 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 36: 0x5e22b99c2a7a - std::panicking::catch_unwind::h73015d00e4866ebc [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 37: 0x5e22b99c2a7a - std::panic::catch_unwind::h6f7b38e188aa4f62 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 38: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::h969a6a2dc1856df7 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 39: 0x5e22b99c2a7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h269ad1ff23e72122 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x5e22b9a08d2f - as core::ops::function::FnOnce>::call_once::hdd09a470c130e806 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 41: 0x5e22b9a08d2f - std::sys::thread::unix::Thread::new::thread_start::h14ea1ba6e320367c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 42: 0x755b53a36aa4 - [INFO] [stdout] 43: 0x755b53ac3a34 - 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' (29) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5e22b9a34942 - std::backtrace_rs::backtrace::libunwind::trace::h76861be37b31432e [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5e22b9a34942 - std::backtrace_rs::backtrace::trace_unsynchronized::h58d4003082192c17 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5e22b9a34942 - std::sys::backtrace::_print_fmt::hfe5857a399620d2a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5e22b9a34942 - ::fmt::h52160e9da139e442 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5e22b9a44baf - core::fmt::rt::Argument::fmt::h66fe6fef9ecca14a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5e22b9a44baf - core::fmt::write::hf09a056a304e021a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5e22b9a019e1 - std::io::default_write_fmt::hf1a3645468226e09 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5e22b9a019e1 - std::io::Write::write_fmt::ha5ada6d6a18bde33 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5e22b9a0dab2 - std::sys::backtrace::BacktraceLock::print::h15104dbcf0fd1f14 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5e22b9a125ff - std::panicking::default_hook::{{closure}}::h0fa6cd8dbe0dd76b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5e22b9a12491 - std::panicking::default_hook::h8d20506cf72e4831 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5e22b99d2f9e - as core::ops::function::Fn>::call::h3d020961abd83a77 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5e22b99d2f9e - test::test_main_with_exit_callback::{{closure}}::h720dd2fdb2ddcdca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5e22b9a12cbf - as core::ops::function::Fn>::call::h75334a5fed245bca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5e22b9a12cbf - std::panicking::panic_with_hook::h746880a052e02c85 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5e22b9a12ae6 - std::panicking::panic_handler::{{closure}}::h14b95830f89d14b3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5e22b9a0dbe9 - std::sys::backtrace::__rust_end_short_backtrace::h7ddaac0e9609a83d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5e22b99f5edd - __rustc[76f7e7187978e2f8]::rust_begin_unwind [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5e22b9a4c690 - core::panicking::panic_fmt::heb245a301f4395db [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5e22b9a4c66c - core::panicking::panic::h43cc40e5e3a930ed [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5e22b99b0ffb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h14c6ffa212d3d539 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5e22b99b0f7d - jtheorems::terminal::parse::parser::Parser::parse_definition::h50f44dab705008bd [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5e22b99b1100 - jtheorems::terminal::parse::parser::Parser::parse::h3052b37611bdcc88 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5e22b99b0c68 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::hc4e598d714db0eb0 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:91:16 [INFO] [stdout] 24: 0x5e22b99b0cd7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing1::{{closure}}::hb93b14a0b62667db [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:87:41 [INFO] [stdout] 25: 0x5e22b99ab006 - core::ops::function::FnOnce::call_once::h4ef28052c1592869 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5e22b99d2dcb - core::ops::function::FnOnce::call_once::h933a5d67211adff2 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5e22b99d2dcb - test::__rust_begin_short_backtrace::h2157af19b0990ffb [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5e22b99e89a5 - test::run_test_in_process::{{closure}}::hc3b17e0f313c900a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5e22b99e89a5 - as core::ops::function::FnOnce<()>>::call_once::ha23e4b490259273c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5e22b99e89a5 - std::panicking::catch_unwind::do_call::h8dc9d5da83792f7a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5e22b99e89a5 - std::panicking::catch_unwind::h0d8461330de4a18b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5e22b99e89a5 - std::panic::catch_unwind::h0321b51397bf9811 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5e22b99e89a5 - test::run_test_in_process::hcaaa440fdbe4a513 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5e22b99e89a5 - test::run_test::{{closure}}::h6345da602b85d6c3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5e22b99bf1b4 - test::run_test::{{closure}}::h90a3b75194d37b5d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5e22b99bf1b4 - std::sys::backtrace::__rust_begin_short_backtrace::hae41a17001f53ede [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6ea895368381e0b1 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5e22b99c2a7a - as core::ops::function::FnOnce<()>>::call_once::h9c39013633bb9237 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5e22b99c2a7a - std::panicking::catch_unwind::do_call::hac7dba9ee4d99108 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5e22b99c2a7a - std::panicking::catch_unwind::h73015d00e4866ebc [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5e22b99c2a7a - std::panic::catch_unwind::h6f7b38e188aa4f62 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::h969a6a2dc1856df7 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 43: 0x5e22b99c2a7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h269ad1ff23e72122 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5e22b9a08d2f - as core::ops::function::FnOnce>::call_once::hdd09a470c130e806 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5e22b9a08d2f - std::sys::thread::unix::Thread::new::thread_start::h14ea1ba6e320367c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x755b53a36aa4 - [INFO] [stdout] 47: 0x755b53ac3a34 - 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' (31) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5e22b9a34942 - std::backtrace_rs::backtrace::libunwind::trace::h76861be37b31432e [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5e22b9a34942 - std::backtrace_rs::backtrace::trace_unsynchronized::h58d4003082192c17 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5e22b9a34942 - std::sys::backtrace::_print_fmt::hfe5857a399620d2a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5e22b9a34942 - ::fmt::h52160e9da139e442 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5e22b9a44baf - core::fmt::rt::Argument::fmt::h66fe6fef9ecca14a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5e22b9a44baf - core::fmt::write::hf09a056a304e021a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5e22b9a019e1 - std::io::default_write_fmt::hf1a3645468226e09 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5e22b9a019e1 - std::io::Write::write_fmt::ha5ada6d6a18bde33 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5e22b9a0dab2 - std::sys::backtrace::BacktraceLock::print::h15104dbcf0fd1f14 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5e22b9a125ff - std::panicking::default_hook::{{closure}}::h0fa6cd8dbe0dd76b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5e22b9a12491 - std::panicking::default_hook::h8d20506cf72e4831 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5e22b99d2f9e - as core::ops::function::Fn>::call::h3d020961abd83a77 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5e22b99d2f9e - test::test_main_with_exit_callback::{{closure}}::h720dd2fdb2ddcdca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5e22b9a12cbf - as core::ops::function::Fn>::call::h75334a5fed245bca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5e22b9a12cbf - std::panicking::panic_with_hook::h746880a052e02c85 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5e22b9a12ae6 - std::panicking::panic_handler::{{closure}}::h14b95830f89d14b3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5e22b9a0dbe9 - std::sys::backtrace::__rust_end_short_backtrace::h7ddaac0e9609a83d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5e22b99f5edd - __rustc[76f7e7187978e2f8]::rust_begin_unwind [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5e22b9a4c690 - core::panicking::panic_fmt::heb245a301f4395db [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5e22b9a4c66c - core::panicking::panic::h43cc40e5e3a930ed [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5e22b99b0ffb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h14c6ffa212d3d539 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5e22b99b0f7d - jtheorems::terminal::parse::parser::Parser::parse_definition::h50f44dab705008bd [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5e22b99b1100 - jtheorems::terminal::parse::parser::Parser::parse::h3052b37611bdcc88 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5e22b99b0e28 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::haf640f850bee6816 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:107:16 [INFO] [stdout] 24: 0x5e22b99b0e97 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing3::{{closure}}::h8f4a31376cf1e3c8 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:103:41 [INFO] [stdout] 25: 0x5e22b99aafc6 - core::ops::function::FnOnce::call_once::h381c7c54e191196c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5e22b99d2dcb - core::ops::function::FnOnce::call_once::h933a5d67211adff2 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5e22b99d2dcb - test::__rust_begin_short_backtrace::h2157af19b0990ffb [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5e22b99e89a5 - test::run_test_in_process::{{closure}}::hc3b17e0f313c900a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5e22b99e89a5 - as core::ops::function::FnOnce<()>>::call_once::ha23e4b490259273c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5e22b99e89a5 - std::panicking::catch_unwind::do_call::h8dc9d5da83792f7a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5e22b99e89a5 - std::panicking::catch_unwind::h0d8461330de4a18b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5e22b99e89a5 - std::panic::catch_unwind::h0321b51397bf9811 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5e22b99e89a5 - test::run_test_in_process::hcaaa440fdbe4a513 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5e22b99e89a5 - test::run_test::{{closure}}::h6345da602b85d6c3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5e22b99bf1b4 - test::run_test::{{closure}}::h90a3b75194d37b5d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5e22b99bf1b4 - std::sys::backtrace::__rust_begin_short_backtrace::hae41a17001f53ede [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6ea895368381e0b1 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5e22b99c2a7a - as core::ops::function::FnOnce<()>>::call_once::h9c39013633bb9237 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5e22b99c2a7a - std::panicking::catch_unwind::do_call::hac7dba9ee4d99108 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5e22b99c2a7a - std::panicking::catch_unwind::h73015d00e4866ebc [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5e22b99c2a7a - std::panic::catch_unwind::h6f7b38e188aa4f62 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::h969a6a2dc1856df7 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 43: 0x5e22b99c2a7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h269ad1ff23e72122 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5e22b9a08d2f - as core::ops::function::FnOnce>::call_once::hdd09a470c130e806 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5e22b9a08d2f - std::sys::thread::unix::Thread::new::thread_start::h14ea1ba6e320367c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x755b53a36aa4 - [INFO] [stdout] 47: 0x755b53ac3a34 - clone [INFO] [stdout] 48: 0x0 - [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' (30) panicked at src/terminal/parse/parser.rs:76:9: [INFO] [stdout] not yet implemented [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5e22b9a34942 - std::backtrace_rs::backtrace::libunwind::trace::h76861be37b31432e [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x5e22b9a34942 - std::backtrace_rs::backtrace::trace_unsynchronized::h58d4003082192c17 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x5e22b9a34942 - std::sys::backtrace::_print_fmt::hfe5857a399620d2a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x5e22b9a34942 - ::fmt::h52160e9da139e442 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x5e22b9a44baf - core::fmt::rt::Argument::fmt::h66fe6fef9ecca14a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x5e22b9a44baf - core::fmt::write::hf09a056a304e021a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/fmt/mod.rs:1468:25 [INFO] [stdout] 6: 0x5e22b9a019e1 - std::io::default_write_fmt::hf1a3645468226e09 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x5e22b9a019e1 - std::io::Write::write_fmt::ha5ada6d6a18bde33 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x5e22b9a0dab2 - std::sys::backtrace::BacktraceLock::print::h15104dbcf0fd1f14 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x5e22b9a125ff - std::panicking::default_hook::{{closure}}::h0fa6cd8dbe0dd76b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:301:27 [INFO] [stdout] 10: 0x5e22b9a12491 - std::panicking::default_hook::h8d20506cf72e4831 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:325:9 [INFO] [stdout] 11: 0x5e22b99d2f9e - as core::ops::function::Fn>::call::h3d020961abd83a77 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 12: 0x5e22b99d2f9e - test::test_main_with_exit_callback::{{closure}}::h720dd2fdb2ddcdca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x5e22b9a12cbf - as core::ops::function::Fn>::call::h75334a5fed245bca [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1987:9 [INFO] [stdout] 14: 0x5e22b9a12cbf - std::panicking::panic_with_hook::h746880a052e02c85 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:842:13 [INFO] [stdout] 15: 0x5e22b9a12ae6 - std::panicking::panic_handler::{{closure}}::h14b95830f89d14b3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:700:13 [INFO] [stdout] 16: 0x5e22b9a0dbe9 - std::sys::backtrace::__rust_end_short_backtrace::h7ddaac0e9609a83d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:174:18 [INFO] [stdout] 17: 0x5e22b99f5edd - __rustc[76f7e7187978e2f8]::rust_begin_unwind [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:698:5 [INFO] [stdout] 18: 0x5e22b9a4c690 - core::panicking::panic_fmt::heb245a301f4395db [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:78:14 [INFO] [stdout] 19: 0x5e22b9a4c66c - core::panicking::panic::h43cc40e5e3a930ed [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panicking.rs:148:5 [INFO] [stdout] 20: 0x5e22b99b0ffb - jtheorems::terminal::parse::parser::Parser::get_constant_parameters::h14c6ffa212d3d539 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:76:9 [INFO] [stdout] 21: 0x5e22b99b0f7d - jtheorems::terminal::parse::parser::Parser::parse_definition::h50f44dab705008bd [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:61:22 [INFO] [stdout] 22: 0x5e22b99b1100 - jtheorems::terminal::parse::parser::Parser::parse::h3052b37611bdcc88 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:45:42 [INFO] [stdout] 23: 0x5e22b99b0d48 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::h0f13b38e70cd6302 [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:99:16 [INFO] [stdout] 24: 0x5e22b99b0db7 - jtheorems::terminal::parse::parser::tests::test_identity_function_parsing2::{{closure}}::hfabebae3774f7d9d [INFO] [stdout] at /opt/rustwide/workdir/src/terminal/parse/parser.rs:95:41 [INFO] [stdout] 25: 0x5e22b99ab146 - core::ops::function::FnOnce::call_once::hb0aa7f2092f818cd [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 26: 0x5e22b99d2dcb - core::ops::function::FnOnce::call_once::h933a5d67211adff2 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 27: 0x5e22b99d2dcb - test::__rust_begin_short_backtrace::h2157af19b0990ffb [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:663:18 [INFO] [stdout] 28: 0x5e22b99e89a5 - test::run_test_in_process::{{closure}}::hc3b17e0f313c900a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:74 [INFO] [stdout] 29: 0x5e22b99e89a5 - as core::ops::function::FnOnce<()>>::call_once::ha23e4b490259273c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 30: 0x5e22b99e89a5 - std::panicking::catch_unwind::do_call::h8dc9d5da83792f7a [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 31: 0x5e22b99e89a5 - std::panicking::catch_unwind::h0d8461330de4a18b [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 32: 0x5e22b99e89a5 - std::panic::catch_unwind::h0321b51397bf9811 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 33: 0x5e22b99e89a5 - test::run_test_in_process::hcaaa440fdbe4a513 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:686:27 [INFO] [stdout] 34: 0x5e22b99e89a5 - test::run_test::{{closure}}::h6345da602b85d6c3 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:607:43 [INFO] [stdout] 35: 0x5e22b99bf1b4 - test::run_test::{{closure}}::h90a3b75194d37b5d [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/test/src/lib.rs:637:41 [INFO] [stdout] 36: 0x5e22b99bf1b4 - std::sys::backtrace::__rust_begin_short_backtrace::hae41a17001f53ede [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/backtrace.rs:158:18 [INFO] [stdout] 37: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h6ea895368381e0b1 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 38: 0x5e22b99c2a7a - as core::ops::function::FnOnce<()>>::call_once::h9c39013633bb9237 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/panic/unwind_safe.rs:274:9 [INFO] [stdout] 39: 0x5e22b99c2a7a - std::panicking::catch_unwind::do_call::hac7dba9ee4d99108 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:590:40 [INFO] [stdout] 40: 0x5e22b99c2a7a - std::panicking::catch_unwind::h73015d00e4866ebc [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panicking.rs:553:19 [INFO] [stdout] 41: 0x5e22b99c2a7a - std::panic::catch_unwind::h6f7b38e188aa4f62 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/panic.rs:359:14 [INFO] [stdout] 42: 0x5e22b99c2a7a - std::thread::Builder::spawn_unchecked_::{{closure}}::h969a6a2dc1856df7 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 43: 0x5e22b99c2a7a - core::ops::function::FnOnce::call_once{{vtable.shim}}::h269ad1ff23e72122 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 44: 0x5e22b9a08d2f - as core::ops::function::FnOnce>::call_once::hdd09a470c130e806 [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/alloc/src/boxed.rs:1973:9 [INFO] [stdout] 45: 0x5e22b9a08d2f - std::sys::thread::unix::Thread::new::thread_start::h14ea1ba6e320367c [INFO] [stdout] at /rustc/caccb4d0368bd918ef6668af8e13834d07040417/library/std/src/sys/thread/unix.rs:126:17 [INFO] [stdout] 46: 0x755b53a36aa4 - [INFO] [stdout] 47: 0x755b53ac3a34 - clone [INFO] [stdout] 48: 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" "9f200255fa6bb5da22c5ef9f39acbdd9f1395df9e3c8881300f757227c1f17ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9f200255fa6bb5da22c5ef9f39acbdd9f1395df9e3c8881300f757227c1f17ab", kill_on_drop: false }` [INFO] [stdout] 9f200255fa6bb5da22c5ef9f39acbdd9f1395df9e3c8881300f757227c1f17ab