[INFO] cloning repository https://github.com/jangjunha/elementary-logic-parser [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jangjunha/elementary-logic-parser" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjangjunha%2Felementary-logic-parser", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjangjunha%2Felementary-logic-parser'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e0b4f3ec6d5270102d7b3cecb13bfaad4eebec27 [INFO] checking jangjunha/elementary-logic-parser against master#c5fbcd35a8217a17f6b63a22217ace06cf8f5f02 for pr-86194 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjangjunha%2Felementary-logic-parser" "/workspace/builds/worker-6/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/jangjunha/elementary-logic-parser on toolchain c5fbcd35a8217a17f6b63a22217ace06cf8f5f02 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c5fbcd35a8217a17f6b63a22217ace06cf8f5f02" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/jangjunha/elementary-logic-parser [INFO] finished tweaking git repo https://github.com/jangjunha/elementary-logic-parser [INFO] tweaked toml for git repo https://github.com/jangjunha/elementary-logic-parser written to /workspace/builds/worker-6/source/Cargo.toml [INFO] crate git repo https://github.com/jangjunha/elementary-logic-parser already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+c5fbcd35a8217a17f6b63a22217ace06cf8f5f02" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+c5fbcd35a8217a17f6b63a22217ace06cf8f5f02" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 50339d1a77516773ea4e6767b649d8ebe3456746943fc095ed6c64e274133c78 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "50339d1a77516773ea4e6767b649d8ebe3456746943fc095ed6c64e274133c78", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "50339d1a77516773ea4e6767b649d8ebe3456746943fc095ed6c64e274133c78", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "50339d1a77516773ea4e6767b649d8ebe3456746943fc095ed6c64e274133c78", kill_on_drop: false }` [INFO] [stdout] 50339d1a77516773ea4e6767b649d8ebe3456746943fc095ed6c64e274133c78 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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" "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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+c5fbcd35a8217a17f6b63a22217ace06cf8f5f02" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4bad8728a22f0b32fd42f7704940d491d817ac26ffa1887bca06d6a53545c861 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "4bad8728a22f0b32fd42f7704940d491d817ac26ffa1887bca06d6a53545c861", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.27 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.74 [INFO] [stderr] Compiling bumpalo v3.6.1 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling wasm-bindgen v0.2.74 [INFO] [stderr] Compiling serde_derive v1.0.126 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde v1.0.126 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling lexical-core v0.7.6 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking cfg-if v0.1.10 [INFO] [stderr] Compiling yew v0.18.0 [INFO] [stderr] Checking anymap v0.12.1 [INFO] [stderr] Checking cfg-match v0.2.1 [INFO] [stderr] Compiling nom v6.1.2 [INFO] [stderr] Checking http v0.2.4 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling indexmap v1.6.2 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling syn v1.0.72 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.74 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.74 [INFO] [stderr] Compiling thiserror-impl v1.0.25 [INFO] [stderr] Compiling yew-macro v0.18.0 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.74 [INFO] [stderr] Checking js-sys v0.3.51 [INFO] [stderr] Checking console_error_panic_hook v0.1.6 [INFO] [stderr] Checking thiserror v1.0.25 [INFO] [stderr] Checking web-sys v0.3.51 [INFO] [stderr] Checking wasm-bindgen-futures v0.4.24 [INFO] [stderr] Checking serde_json v1.0.64 [INFO] [stderr] Checking bincode v1.3.3 [INFO] [stderr] Checking gloo-events v0.1.1 [INFO] [stderr] Checking gloo-console-timer v0.1.0 [INFO] [stderr] Checking gloo-timers v0.2.1 [INFO] [stderr] Checking gloo-file v0.1.0 [INFO] [stderr] Checking gloo v0.2.1 [INFO] [stderr] Checking elementary-logic-parser v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::parse::exp` [INFO] [stdout] --> src/eval/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parse::exp; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parse::expression::Exp` [INFO] [stdout] --> src/eval/mod.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::parse::expression::Exp; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/main.rs:5:15 [INFO] [stdout] | [INFO] [stdout] 5 | use std::io::{self}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parse::exp` [INFO] [stdout] --> src/eval/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::parse::exp; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::parse::expression::Exp` [INFO] [stdout] --> src/eval/mod.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::parse::expression::Exp; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `self` [INFO] [stdout] --> src/main.rs:5:15 [INFO] [stdout] | [INFO] [stdout] 5 | use std::io::{self}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:130:43 [INFO] [stdout] | [INFO] [stdout] 130 | Some(DerivationRule::AndIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:130:46 [INFO] [stdout] | [INFO] [stdout] 130 | Some(DerivationRule::AndIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:131:45 [INFO] [stdout] | [INFO] [stdout] 131 | Some(DerivationRule::AndExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:132:42 [INFO] [stdout] | [INFO] [stdout] 132 | Some(DerivationRule::OrIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:132:45 [INFO] [stdout] | [INFO] [stdout] 132 | Some(DerivationRule::OrIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:133:44 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l1` [INFO] [stdout] --> src/component/derivation.rs:133:48 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m1` [INFO] [stdout] --> src/component/derivation.rs:133:52 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_m1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l2` [INFO] [stdout] --> src/component/derivation.rs:133:58 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m2` [INFO] [stdout] --> src/component/derivation.rs:133:62 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_m2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:134:43 [INFO] [stdout] | [INFO] [stdout] 134 | Some(DerivationRule::IfIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:134:46 [INFO] [stdout] | [INFO] [stdout] 134 | Some(DerivationRule::IfIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:135:44 [INFO] [stdout] | [INFO] [stdout] 135 | Some(DerivationRule::IfExclude(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:135:47 [INFO] [stdout] | [INFO] [stdout] 135 | Some(DerivationRule::IfExclude(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:136:43 [INFO] [stdout] | [INFO] [stdout] 136 | Some(DerivationRule::IffIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:136:46 [INFO] [stdout] | [INFO] [stdout] 136 | Some(DerivationRule::IffIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:137:45 [INFO] [stdout] | [INFO] [stdout] 137 | Some(DerivationRule::IffExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:138:44 [INFO] [stdout] | [INFO] [stdout] 138 | Some(DerivationRule::NegIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:138:47 [INFO] [stdout] | [INFO] [stdout] 138 | Some(DerivationRule::NegIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:139:46 [INFO] [stdout] | [INFO] [stdout] 139 | Some(DerivationRule::NegExclude((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:139:49 [INFO] [stdout] | [INFO] [stdout] 139 | Some(DerivationRule::NegExclude((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:140:48 [INFO] [stdout] | [INFO] [stdout] 140 | Some(DerivationRule::UnivQuntIntro(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:141:50 [INFO] [stdout] | [INFO] [stdout] 141 | Some(DerivationRule::UnivQuntExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:142:48 [INFO] [stdout] | [INFO] [stdout] 142 | Some(DerivationRule::ExisQuntIntro(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:143:50 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:143:54 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/component/derivation.rs:143:57 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:130:43 [INFO] [stdout] | [INFO] [stdout] 130 | Some(DerivationRule::AndIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:130:46 [INFO] [stdout] | [INFO] [stdout] 130 | Some(DerivationRule::AndIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:131:45 [INFO] [stdout] | [INFO] [stdout] 131 | Some(DerivationRule::AndExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:132:42 [INFO] [stdout] | [INFO] [stdout] 132 | Some(DerivationRule::OrIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:132:45 [INFO] [stdout] | [INFO] [stdout] 132 | Some(DerivationRule::OrIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:133:44 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l1` [INFO] [stdout] --> src/component/derivation.rs:133:48 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_l1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m1` [INFO] [stdout] --> src/component/derivation.rs:133:52 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_m1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l2` [INFO] [stdout] --> src/component/derivation.rs:133:58 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_l2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m2` [INFO] [stdout] --> src/component/derivation.rs:133:62 [INFO] [stdout] | [INFO] [stdout] 133 | Some(DerivationRule::OrExclude(k, (l1, m1), (l2, m2))) => vec![], [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_m2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:134:43 [INFO] [stdout] | [INFO] [stdout] 134 | Some(DerivationRule::IfIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:134:46 [INFO] [stdout] | [INFO] [stdout] 134 | Some(DerivationRule::IfIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:135:44 [INFO] [stdout] | [INFO] [stdout] 135 | Some(DerivationRule::IfExclude(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:135:47 [INFO] [stdout] | [INFO] [stdout] 135 | Some(DerivationRule::IfExclude(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:136:43 [INFO] [stdout] | [INFO] [stdout] 136 | Some(DerivationRule::IffIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:136:46 [INFO] [stdout] | [INFO] [stdout] 136 | Some(DerivationRule::IffIntro(k, l)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:137:45 [INFO] [stdout] | [INFO] [stdout] 137 | Some(DerivationRule::IffExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:138:44 [INFO] [stdout] | [INFO] [stdout] 138 | Some(DerivationRule::NegIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:138:47 [INFO] [stdout] | [INFO] [stdout] 138 | Some(DerivationRule::NegIntro((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:139:46 [INFO] [stdout] | [INFO] [stdout] 139 | Some(DerivationRule::NegExclude((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:139:49 [INFO] [stdout] | [INFO] [stdout] 139 | Some(DerivationRule::NegExclude((k, l))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:140:48 [INFO] [stdout] | [INFO] [stdout] 140 | Some(DerivationRule::UnivQuntIntro(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:141:50 [INFO] [stdout] | [INFO] [stdout] 141 | Some(DerivationRule::UnivQuntExclude(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:142:48 [INFO] [stdout] | [INFO] [stdout] 142 | Some(DerivationRule::ExisQuntIntro(k)) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/component/derivation.rs:143:50 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `l` [INFO] [stdout] --> src/component/derivation.rs:143:54 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_l` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `m` [INFO] [stdout] --> src/component/derivation.rs:143:57 [INFO] [stdout] | [INFO] [stdout] 143 | Some(DerivationRule::ExisQuntExclude(k, (l, m))) => vec![], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_m` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `link` [INFO] [stdout] --> src/component/app.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | link: ComponentLink, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `AndIntro` [INFO] [stdout] --> src/component/derivation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | AndIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `AndExclude` [INFO] [stdout] --> src/component/derivation.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | AndExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `OrIntro` [INFO] [stdout] --> src/component/derivation.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | OrIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `OrExclude` [INFO] [stdout] --> src/component/derivation.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | / OrExclude( [INFO] [stdout] 13 | | Option, [INFO] [stdout] 14 | | (Option, Option), [INFO] [stdout] 15 | | (Option, Option), [INFO] [stdout] 16 | | ), [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IfIntro` [INFO] [stdout] --> src/component/derivation.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | IfIntro((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IfExclude` [INFO] [stdout] --> src/component/derivation.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | IfExclude(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IffIntro` [INFO] [stdout] --> src/component/derivation.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | IffIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IffExclude` [INFO] [stdout] --> src/component/derivation.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | IffExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegIntro` [INFO] [stdout] --> src/component/derivation.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | NegIntro((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegExclude` [INFO] [stdout] --> src/component/derivation.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | NegExclude((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UnivQuntIntro` [INFO] [stdout] --> src/component/derivation.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UnivQuntIntro(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UnivQuntExclude` [INFO] [stdout] --> src/component/derivation.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | UnivQuntExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ExisQuntIntro` [INFO] [stdout] --> src/component/derivation.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | ExisQuntIntro(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ExisQuntExclude` [INFO] [stdout] --> src/component/derivation.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | ExisQuntExclude(Option, (Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `item_for_id` [INFO] [stdout] --> src/component/derivation.rs:100:8 [INFO] [stdout] | [INFO] [stdout] 100 | fn item_for_id(&self, id: i32) -> Option<&DerivationItem> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 46 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `link` [INFO] [stdout] --> src/component/app.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | link: ComponentLink, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `AndIntro` [INFO] [stdout] --> src/component/derivation.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | AndIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `AndExclude` [INFO] [stdout] --> src/component/derivation.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | AndExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `OrIntro` [INFO] [stdout] --> src/component/derivation.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | OrIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `OrExclude` [INFO] [stdout] --> src/component/derivation.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | / OrExclude( [INFO] [stdout] 13 | | Option, [INFO] [stdout] 14 | | (Option, Option), [INFO] [stdout] 15 | | (Option, Option), [INFO] [stdout] 16 | | ), [INFO] [stdout] | |_____^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IfIntro` [INFO] [stdout] --> src/component/derivation.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | IfIntro((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IfExclude` [INFO] [stdout] --> src/component/derivation.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | IfExclude(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IffIntro` [INFO] [stdout] --> src/component/derivation.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | IffIntro(Option, Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `IffExclude` [INFO] [stdout] --> src/component/derivation.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | IffExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegIntro` [INFO] [stdout] --> src/component/derivation.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | NegIntro((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegExclude` [INFO] [stdout] --> src/component/derivation.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | NegExclude((Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UnivQuntIntro` [INFO] [stdout] --> src/component/derivation.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | UnivQuntIntro(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UnivQuntExclude` [INFO] [stdout] --> src/component/derivation.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | UnivQuntExclude(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ExisQuntIntro` [INFO] [stdout] --> src/component/derivation.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | ExisQuntIntro(Option), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ExisQuntExclude` [INFO] [stdout] --> src/component/derivation.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | ExisQuntExclude(Option, (Option, Option)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `item_for_id` [INFO] [stdout] --> src/component/derivation.rs:100:8 [INFO] [stdout] | [INFO] [stdout] 100 | fn item_for_id(&self, id: i32) -> Option<&DerivationItem> { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 46 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 49.23s [INFO] running `Command { std: "docker" "inspect" "4bad8728a22f0b32fd42f7704940d491d817ac26ffa1887bca06d6a53545c861", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4bad8728a22f0b32fd42f7704940d491d817ac26ffa1887bca06d6a53545c861", kill_on_drop: false }` [INFO] [stdout] 4bad8728a22f0b32fd42f7704940d491d817ac26ffa1887bca06d6a53545c861