[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] 6df7fa71e1e36a1b781963f758c5aa5fd6d0c93d [INFO] building j-p-obrien/jtheorems against master#11663cd3bfefef7d34e8f0892c250bf698049392+rustflags=-Dtail-expr-drop-order for pr-134523 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fj-p-obrien%2Fjtheorems" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/j-p-obrien/jtheorems on toolchain 11663cd3bfefef7d34e8f0892c250bf698049392 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/j-p-obrien/jtheorems [INFO] finished tweaking git repo https://github.com/j-p-obrien/jtheorems [INFO] tweaked toml for git repo https://github.com/j-p-obrien/jtheorems written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] 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" "+11663cd3bfefef7d34e8f0892c250bf698049392" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 906b3e58799790a8c253be2a077253bec113a2ea5fbc70b71a45c8ca932e2c1e [INFO] running `Command { std: "docker" "start" "-a" "906b3e58799790a8c253be2a077253bec113a2ea5fbc70b71a45c8ca932e2c1e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "906b3e58799790a8c253be2a077253bec113a2ea5fbc70b71a45c8ca932e2c1e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "906b3e58799790a8c253be2a077253bec113a2ea5fbc70b71a45c8ca932e2c1e", kill_on_drop: false }` [INFO] [stdout] 906b3e58799790a8c253be2a077253bec113a2ea5fbc70b71a45c8ca932e2c1e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 462b0c0146df4e5ade425f9eb0022304f8ef55bc5ad15cef34c742695c7154a1 [INFO] running `Command { std: "docker" "start" "-a" "462b0c0146df4e5ade425f9eb0022304f8ef55bc5ad15cef34c742695c7154a1", kill_on_drop: false }` [INFO] [stderr] Compiling jtheorems v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Judgement` [INFO] [stdout] --> src/deduction/context_tree.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | judgement::{Judgement, JudgementType}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Term` [INFO] [stdout] --> src/deduction/term_arena.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | Term, TermData, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `term::types::Type` [INFO] [stdout] --> src/term/primitives/identity.rs:3:45 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{deduction::term_arena::TermPtr, term::types::Type}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/deduction/context_tree.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 226 | typ: Type, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_typ` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/deduction/context_tree.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | context: ContextPtr, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term_data` [INFO] [stdout] --> src/deduction/context_tree.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 228 | term_data: &mut TermArena, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_data` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/deduction/terminal.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 26 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pi_type` [INFO] [stdout] --> src/deduction/the_domain.rs:115:13 [INFO] [stdout] | [INFO] [stdout] 115 | let pi_type = self [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pi_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/parser/parser.rs:12:25 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn parse(&self, input: &str) -> Result { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains_name_at` is never used [INFO] [stdout] --> src/deduction/context_tree.rs:170:19 [INFO] [stdout] | [INFO] [stdout] 142 | impl ContextTree { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 170 | pub(super) fn contains_name_at( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `replace_with_wellformed` and `replace` are never used [INFO] [stdout] --> src/deduction/judgement.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl JudgementType { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 24 | fn replace_with_wellformed(&mut self) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | fn replace(&mut self, judgement: Self) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `with_capacity` and `add_variable` are never used [INFO] [stdout] --> src/deduction/term_arena.rs:57:19 [INFO] [stdout] | [INFO] [stdout] 50 | impl TermArena { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub(super) fn with_capacity(capacity: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 63 | pub(super) fn add_variable(&mut self, name: String, typ: Type) -> FreeVariable { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/application.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl Application { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 20 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/defined.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 7 | impl Defined { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] 8 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/naturals.rs:75:19 [INFO] [stdout] | [INFO] [stdout] 74 | impl NaturalType { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 75 | pub(crate) fn typ(&self) -> Universe { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `UNIT` is never used [INFO] [stdout] --> src/term/primitives/unit.rs:3:7 [INFO] [stdout] | [INFO] [stdout] 3 | const UNIT: &str = "⋆"; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/universe.rs:32:19 [INFO] [stdout] | [INFO] [stdout] 27 | impl Universe { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 32 | pub(crate) fn typ(&self) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_universe` is never used [INFO] [stdout] --> src/term/types.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 26 | impl Type { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 27 | pub(super) fn is_universe(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_type`, `typ`, and `name` are never used [INFO] [stdout] --> src/term/variable.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 35 | impl VariableData { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 40 | pub(crate) fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 44 | pub(crate) fn typ(&self) -> &Type { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 52 | pub(crate) fn name(&self) -> &str { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_data_unchecked` and `has_name` are never used [INFO] [stdout] --> src/term/variable.rs:99:8 [INFO] [stdout] | [INFO] [stdout] 98 | impl BoundVariable { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] 99 | fn get_data_unchecked<'a>(&self, term_data: &'a TermArena) -> &'a VariableData { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub(crate) fn has_name(&self, name: &str, term_data: &TermArena) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.60s [INFO] running `Command { std: "docker" "inspect" "462b0c0146df4e5ade425f9eb0022304f8ef55bc5ad15cef34c742695c7154a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "462b0c0146df4e5ade425f9eb0022304f8ef55bc5ad15cef34c742695c7154a1", kill_on_drop: false }` [INFO] [stdout] 462b0c0146df4e5ade425f9eb0022304f8ef55bc5ad15cef34c742695c7154a1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dtail-expr-drop-order" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+11663cd3bfefef7d34e8f0892c250bf698049392" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ea73b97816575e1ac6187a4dbd1f2c9b8f48002b29ce17f97e2d755f9c919ade [INFO] running `Command { std: "docker" "start" "-a" "ea73b97816575e1ac6187a4dbd1f2c9b8f48002b29ce17f97e2d755f9c919ade", kill_on_drop: false }` [INFO] [stderr] Compiling jtheorems v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Judgement` [INFO] [stdout] --> src/deduction/context_tree.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | judgement::{Judgement, JudgementType}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Term` [INFO] [stdout] --> src/deduction/term_arena.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | Term, TermData, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `term::types::Type` [INFO] [stdout] --> src/term/primitives/identity.rs:3:45 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{deduction::term_arena::TermPtr, term::types::Type}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/deduction/context_tree.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 226 | typ: Type, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_typ` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/deduction/context_tree.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | context: ContextPtr, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term_data` [INFO] [stdout] --> src/deduction/context_tree.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 228 | term_data: &mut TermArena, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_data` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/deduction/terminal.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 26 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pi_type` [INFO] [stdout] --> src/deduction/the_domain.rs:115:13 [INFO] [stdout] | [INFO] [stdout] 115 | let pi_type = self [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pi_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/parser/parser.rs:12:25 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn parse(&self, input: &str) -> Result { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains_name_at` is never used [INFO] [stdout] --> src/deduction/context_tree.rs:170:19 [INFO] [stdout] | [INFO] [stdout] 142 | impl ContextTree { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 170 | pub(super) fn contains_name_at( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `replace_with_wellformed` and `replace` are never used [INFO] [stdout] --> src/deduction/judgement.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl JudgementType { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 24 | fn replace_with_wellformed(&mut self) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | fn replace(&mut self, judgement: Self) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `with_capacity` and `add_variable` are never used [INFO] [stdout] --> src/deduction/term_arena.rs:57:19 [INFO] [stdout] | [INFO] [stdout] 50 | impl TermArena { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub(super) fn with_capacity(capacity: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 63 | pub(super) fn add_variable(&mut self, name: String, typ: Type) -> FreeVariable { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/application.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl Application { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 20 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/defined.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 7 | impl Defined { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] 8 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/naturals.rs:75:19 [INFO] [stdout] | [INFO] [stdout] 74 | impl NaturalType { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 75 | pub(crate) fn typ(&self) -> Universe { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `UNIT` is never used [INFO] [stdout] --> src/term/primitives/unit.rs:3:7 [INFO] [stdout] | [INFO] [stdout] 3 | const UNIT: &str = "⋆"; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/universe.rs:32:19 [INFO] [stdout] | [INFO] [stdout] 27 | impl Universe { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 32 | pub(crate) fn typ(&self) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_universe` is never used [INFO] [stdout] --> src/term/types.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 26 | impl Type { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 27 | pub(super) fn is_universe(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_type`, `typ`, and `name` are never used [INFO] [stdout] --> src/term/variable.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 35 | impl VariableData { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 40 | pub(crate) fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 44 | pub(crate) fn typ(&self) -> &Type { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 52 | pub(crate) fn name(&self) -> &str { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_data_unchecked` and `has_name` are never used [INFO] [stdout] --> src/term/variable.rs:99:8 [INFO] [stdout] | [INFO] [stdout] 98 | impl BoundVariable { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] 99 | fn get_data_unchecked<'a>(&self, term_data: &'a TermArena) -> &'a VariableData { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub(crate) fn has_name(&self, name: &str, term_data: &TermArena) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Judgement` [INFO] [stdout] --> src/deduction/context_tree.rs:10:17 [INFO] [stdout] | [INFO] [stdout] 10 | judgement::{Judgement, JudgementType}, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/deduction/context_tree.rs:236:9 [INFO] [stdout] | [INFO] [stdout] 236 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Term` [INFO] [stdout] --> src/deduction/term_arena.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | Term, TermData, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/deduction/terminal.rs:171:9 [INFO] [stdout] | [INFO] [stdout] 171 | self, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `term::types::Type` [INFO] [stdout] --> src/term/primitives/identity.rs:3:45 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::{deduction::term_arena::TermPtr, term::types::Type}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `typ` [INFO] [stdout] --> src/deduction/context_tree.rs:226:9 [INFO] [stdout] | [INFO] [stdout] 226 | typ: Type, [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_typ` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `context` [INFO] [stdout] --> src/deduction/context_tree.rs:227:9 [INFO] [stdout] | [INFO] [stdout] 227 | context: ContextPtr, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_context` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `term_data` [INFO] [stdout] --> src/deduction/context_tree.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 228 | term_data: &mut TermArena, [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_term_data` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `f` [INFO] [stdout] --> src/deduction/terminal.rs:26:19 [INFO] [stdout] | [INFO] [stdout] 26 | fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_f` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pi_type` [INFO] [stdout] --> src/deduction/the_domain.rs:115:13 [INFO] [stdout] | [INFO] [stdout] 115 | let pi_type = self [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_pi_type` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/parser/parser.rs:12:25 [INFO] [stdout] | [INFO] [stdout] 12 | pub fn parse(&self, input: &str) -> Result { [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_input` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `contains_name_at` is never used [INFO] [stdout] --> src/deduction/context_tree.rs:170:19 [INFO] [stdout] | [INFO] [stdout] 142 | impl ContextTree { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 170 | pub(super) fn contains_name_at( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `replace_with_wellformed` and `replace` are never used [INFO] [stdout] --> src/deduction/judgement.rs:24:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl JudgementType { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 24 | fn replace_with_wellformed(&mut self) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 28 | fn replace(&mut self, judgement: Self) -> Self { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `with_capacity` and `add_variable` are never used [INFO] [stdout] --> src/deduction/term_arena.rs:57:19 [INFO] [stdout] | [INFO] [stdout] 50 | impl TermArena { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 57 | pub(super) fn with_capacity(capacity: usize) -> Self { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 63 | pub(super) fn add_variable(&mut self, name: String, typ: Type) -> FreeVariable { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/application.rs:20:8 [INFO] [stdout] | [INFO] [stdout] 19 | impl Application { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 20 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_type` is never used [INFO] [stdout] --> src/term/defined.rs:8:8 [INFO] [stdout] | [INFO] [stdout] 7 | impl Defined { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] 8 | fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/naturals.rs:75:19 [INFO] [stdout] | [INFO] [stdout] 74 | impl NaturalType { [INFO] [stdout] | ---------------- method in this implementation [INFO] [stdout] 75 | pub(crate) fn typ(&self) -> Universe { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: constant `UNIT` is never used [INFO] [stdout] --> src/term/primitives/unit.rs:3:7 [INFO] [stdout] | [INFO] [stdout] 3 | const UNIT: &str = "⋆"; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `typ` is never used [INFO] [stdout] --> src/term/primitives/universe.rs:32:19 [INFO] [stdout] | [INFO] [stdout] 27 | impl Universe { [INFO] [stdout] | ------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 32 | pub(crate) fn typ(&self) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `is_universe` is never used [INFO] [stdout] --> src/term/types.rs:27:19 [INFO] [stdout] | [INFO] [stdout] 26 | impl Type { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] 27 | pub(super) fn is_universe(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `is_type`, `typ`, and `name` are never used [INFO] [stdout] --> src/term/variable.rs:40:19 [INFO] [stdout] | [INFO] [stdout] 35 | impl VariableData { [INFO] [stdout] | ----------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 40 | pub(crate) fn is_type(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 44 | pub(crate) fn typ(&self) -> &Type { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 52 | pub(crate) fn name(&self) -> &str { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `get_data_unchecked` and `has_name` are never used [INFO] [stdout] --> src/term/variable.rs:99:8 [INFO] [stdout] | [INFO] [stdout] 98 | impl BoundVariable { [INFO] [stdout] | ------------------ methods in this implementation [INFO] [stdout] 99 | fn get_data_unchecked<'a>(&self, term_data: &'a TermArena) -> &'a VariableData { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 110 | pub(crate) fn has_name(&self, name: &str, term_data: &TermArena) -> bool { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.59s [INFO] running `Command { std: "docker" "inspect" "ea73b97816575e1ac6187a4dbd1f2c9b8f48002b29ce17f97e2d755f9c919ade", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ea73b97816575e1ac6187a4dbd1f2c9b8f48002b29ce17f97e2d755f9c919ade", kill_on_drop: false }` [INFO] [stdout] ea73b97816575e1ac6187a4dbd1f2c9b8f48002b29ce17f97e2d755f9c919ade