[INFO] cloning repository https://github.com/denjiry/rustyblue [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/denjiry/rustyblue" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdenjiry%2Frustyblue", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdenjiry%2Frustyblue'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bae59be7ca032881a6f7cc2d1c3000baea0a9ba0 [INFO] checking denjiry/rustyblue against master#5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f for pr-87248 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdenjiry%2Frustyblue" "/workspace/builds/worker-8/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-8/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/denjiry/rustyblue on toolchain 5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/denjiry/rustyblue [INFO] finished tweaking git repo https://github.com/denjiry/rustyblue [INFO] tweaked toml for git repo https://github.com/denjiry/rustyblue written to /workspace/builds/worker-8/source/Cargo.toml [INFO] crate git repo https://github.com/denjiry/rustyblue already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ca614f019bb331ef239e039329a5aafc61ec240b26f2e7bbcbe61425bebc03cd [INFO] running `Command { std: "docker" "start" "-a" "ca614f019bb331ef239e039329a5aafc61ec240b26f2e7bbcbe61425bebc03cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ca614f019bb331ef239e039329a5aafc61ec240b26f2e7bbcbe61425bebc03cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ca614f019bb331ef239e039329a5aafc61ec240b26f2e7bbcbe61425bebc03cd", kill_on_drop: false }` [INFO] [stdout] ca614f019bb331ef239e039329a5aafc61ec240b26f2e7bbcbe61425bebc03cd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+5a8a44196b3cf099f8c9b0156bd902eaec0b4e5f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4669bada92f04ea4ad63a9edd86518323af55e464c20060a909f5481b6556866 [INFO] running `Command { std: "docker" "start" "-a" "4669bada92f04ea4ad63a9edd86518323af55e464c20060a909f5481b6556866", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling libc v0.2.98 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Compiling unicode-segmentation v1.8.0 [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Checking unicode-width v0.1.8 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking nom v4.2.3 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking clap v2.33.3 [INFO] [stderr] Compiling structopt-derive v0.2.18 [INFO] [stderr] Checking structopt v0.2.18 [INFO] [stderr] Checking sudachi v0.1.0 (https://github.com/WorksApplications/sudachi.rs#ee23227f) [INFO] [stderr] Checking rustyblue v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::Node` [INFO] [stdout] --> src/parser/ccg.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::Node; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sudachi::tokenizer::Tokenizer` [INFO] [stdout] --> src/parser/japanese/lexicon.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use sudachi::tokenizer::Tokenizer; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::Node` [INFO] [stdout] --> src/parser/ccg.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::Node; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sudachi::tokenizer::Tokenizer` [INFO] [stdout] --> src/parser/japanese/lexicon.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use sudachi::tokenizer::Tokenizer; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lnode` [INFO] [stdout] --> src/parser/ccg/binary_rules.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | lnode: &Node, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_lnode` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rnode` [INFO] [stdout] --> src/parser/ccg/binary_rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | rnode: &Node, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rnode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `chart` [INFO] [stdout] --> src/parser/chartparser.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 21 | let chart = chart_parser.parse(&self.sentence); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_chart` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sep_stack` [INFO] [stdout] --> src/parser/chartparser.rs:42:17 [INFO] [stdout] | [INFO] [stdout] 42 | let mut sep_stack = vec![0usize]; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sep_stack` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/parser/chartparser.rs:44:17 [INFO] [stdout] | [INFO] [stdout] 44 | for (i, c) in sentence.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sentence` [INFO] [stdout] --> src/parser/japanese/lexicon.rs:6:29 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) fn setup_lexicon(sentence: &str) -> Lexicon { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sentence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `lnode` [INFO] [stdout] --> src/parser/ccg/binary_rules.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | lnode: &Node, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_lnode` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rnode` [INFO] [stdout] --> src/parser/ccg/binary_rules.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | rnode: &Node, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_rnode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `chart` [INFO] [stdout] --> src/parser/chartparser.rs:21:13 [INFO] [stdout] | [INFO] [stdout] 21 | let chart = chart_parser.parse(&self.sentence); [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_chart` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sep_stack` [INFO] [stdout] --> src/parser/chartparser.rs:42:17 [INFO] [stdout] | [INFO] [stdout] 42 | let mut sep_stack = vec![0usize]; [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sep_stack` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/parser/chartparser.rs:44:17 [INFO] [stdout] | [INFO] [stdout] 44 | for (i, c) in sentence.iter().enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sentence` [INFO] [stdout] --> src/parser/japanese/lexicon.rs:6:29 [INFO] [stdout] | [INFO] [stdout] 6 | pub(crate) fn setup_lexicon(sentence: &str) -> Lexicon { [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sentence` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/parser/chartparser.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | let mut sep_stack = vec![0usize]; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/parser/chartparser.rs:42:13 [INFO] [stdout] | [INFO] [stdout] 42 | let mut sep_stack = vec![0usize]; [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Var` [INFO] [stdout] --> src/dts/udtt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | Var(i64), // Variables [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Con` [INFO] [stdout] --> src/dts/udtt.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | Con(String), // Constant symbols [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Type` [INFO] [stdout] --> src/dts/udtt.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Type, // The sort \"type\" [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Kind` [INFO] [stdout] --> src/dts/udtt.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Kind, // The sort \"kind\" [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pi` [INFO] [stdout] --> src/dts/udtt.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | Pi(Box, Box), // Dependent function types (or Pi types) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Not` [INFO] [stdout] --> src/dts/udtt.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Not(Box), // Negations [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lam` [INFO] [stdout] --> src/dts/udtt.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | Lam(Box), // Lambda abstractions [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `App` [INFO] [stdout] --> src/dts/udtt.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | App(Box, Box), // Function Applications [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Var` [INFO] [stdout] --> src/dts/udtt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | Var(i64), // Variables [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Con` [INFO] [stdout] --> src/dts/udtt.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | Con(String), // Constant symbols [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sigma` [INFO] [stdout] --> src/dts/udtt.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | Sigma(Box, Box), // Dependent product types (or Sigma types) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pair` [INFO] [stdout] --> src/dts/udtt.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | Pair(Box, Box), // Pairs [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Proj` [INFO] [stdout] --> src/dts/udtt.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Proj(Selector, Box), // (First and second) Projections [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Asp` [INFO] [stdout] --> src/dts/udtt.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Asp(i64, Box), // Underspesified terms [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lamvec` [INFO] [stdout] --> src/dts/udtt.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Lamvec(Box), // Lambda abstractions of a variable vector [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Appvec` [INFO] [stdout] --> src/dts/udtt.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | Appvec(i64, Box), // Function applications of a variable vector [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Unit` [INFO] [stdout] --> src/dts/udtt.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | Unit, // The unit term (of type Top) [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Top` [INFO] [stdout] --> src/dts/udtt.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | Top, // The top type [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bot` [INFO] [stdout] --> src/dts/udtt.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | Bot, // The bottom type [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nat` [INFO] [stdout] --> src/dts/udtt.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Nat, // Natural number type (Nat) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Zero` [INFO] [stdout] --> src/dts/udtt.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Zero, // 0 (of type Nat) [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Succ` [INFO] [stdout] --> src/dts/udtt.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | Succ(Box), // The successor function [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Natrec` [INFO] [stdout] --> src/dts/udtt.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | Natrec(Box, Box, Box), // natrec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Eq` [INFO] [stdout] --> src/dts/udtt.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | Eq(Box, Box, Box), // Intensional equality types [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Type` [INFO] [stdout] --> src/dts/udtt.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Type, // The sort \"type\" [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Refl` [INFO] [stdout] --> src/dts/udtt.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | Refl(Box, Box), // refl [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Idpeel` [INFO] [stdout] --> src/dts/udtt.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | Idpeel(Box, Box), // idpeel [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Kind` [INFO] [stdout] --> src/dts/udtt.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Kind, // The sort \"kind\" [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pi` [INFO] [stdout] --> src/dts/udtt.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | Pi(Box, Box), // Dependent function types (or Pi types) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fst` [INFO] [stdout] --> src/dts/udtt.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | Fst, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Not` [INFO] [stdout] --> src/dts/udtt.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | Not(Box), // Negations [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lam` [INFO] [stdout] --> src/dts/udtt.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | Lam(Box), // Lambda abstractions [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Snd` [INFO] [stdout] --> src/dts/udtt.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | Snd, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `App` [INFO] [stdout] --> src/dts/udtt.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | App(Box, Box), // Function Applications [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sigma` [INFO] [stdout] --> src/dts/udtt.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | Sigma(Box, Box), // Dependent product types (or Sigma types) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `S` [INFO] [stdout] --> src/parser/ccg.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | S(Vec), // S [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NP` [INFO] [stdout] --> src/parser/ccg.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | NP(Vec), // NP [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `N` [INFO] [stdout] --> src/parser/ccg.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | N, // N [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sbar` [INFO] [stdout] --> src/parser/ccg.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | Sbar(Vec), // S bar [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Conj` [INFO] [stdout] --> src/parser/ccg.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | Conj, // CON [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lparen` [INFO] [stdout] --> src/parser/ccg.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Lparen, // A category for left parentheses [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Rparen` [INFO] [stdout] --> src/parser/ccg.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Rparen, // A category for right parentheses [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `SL` [INFO] [stdout] --> src/parser/ccg.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | SL(Box, Box), // X/Y [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BS` [INFO] [stdout] --> src/parser/ccg.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | BS(Box, Box), // X\\Y [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `T` [INFO] [stdout] --> src/parser/ccg.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | T(bool, i64, Box), // Category variables, where Int is an index, Cat is a restriction for its head. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `F` [INFO] [stdout] --> src/parser/ccg.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | F(Vec), // Syntactic feature [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `SF` [INFO] [stdout] --> src/parser/ccg.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | SF(i64, Vec), // Shared syntactic feature (with an index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5k` [INFO] [stdout] --> src/parser/ccg.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | V5k, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5s` [INFO] [stdout] --> src/parser/ccg.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | V5s, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5t` [INFO] [stdout] --> src/parser/ccg.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | V5t, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5n` [INFO] [stdout] --> src/parser/ccg.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | V5n, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5m` [INFO] [stdout] --> src/parser/ccg.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | V5m, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5r` [INFO] [stdout] --> src/parser/ccg.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | V5r, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5w` [INFO] [stdout] --> src/parser/ccg.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | V5w, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5g` [INFO] [stdout] --> src/parser/ccg.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | V5g, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5z` [INFO] [stdout] --> src/parser/ccg.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | V5z, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5b` [INFO] [stdout] --> src/parser/ccg.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | V5b, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5IKU` [INFO] [stdout] --> src/parser/ccg.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | V5IKU, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5YUK` [INFO] [stdout] --> src/parser/ccg.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | V5YUK, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pair` [INFO] [stdout] --> src/dts/udtt.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | Pair(Box, Box), // Pairs [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5ARU` [INFO] [stdout] --> src/parser/ccg.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | V5ARU, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Proj` [INFO] [stdout] --> src/dts/udtt.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | Proj(Selector, Box), // (First and second) Projections [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5NAS` [INFO] [stdout] --> src/parser/ccg.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | V5NAS, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Asp` [INFO] [stdout] --> src/dts/udtt.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | Asp(i64, Box), // Underspesified terms [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5TOW` [INFO] [stdout] --> src/parser/ccg.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | V5TOW, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V1` [INFO] [stdout] --> src/parser/ccg.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | V1, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lamvec` [INFO] [stdout] --> src/dts/udtt.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | Lamvec(Box), // Lambda abstractions of a variable vector [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VK` [INFO] [stdout] --> src/parser/ccg.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | VK, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Appvec` [INFO] [stdout] --> src/dts/udtt.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 24 | Appvec(i64, Box), // Function applications of a variable vector [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VS` [INFO] [stdout] --> src/parser/ccg.rs:45:5 [INFO] [stdout] | [INFO] [stdout] 45 | VS, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Unit` [INFO] [stdout] --> src/dts/udtt.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 25 | Unit, // The unit term (of type Top) [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Vsn` [INFO] [stdout] --> src/parser/ccg.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | Vsn, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VZ` [INFO] [stdout] --> src/parser/ccg.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | VZ, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Top` [INFO] [stdout] --> src/dts/udtt.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 26 | Top, // The top type [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bot` [INFO] [stdout] --> src/dts/udtt.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | Bot, // The bottom type [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nat` [INFO] [stdout] --> src/dts/udtt.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | Nat, // Natural number type (Nat) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Vuru` [INFO] [stdout] --> src/parser/ccg.rs:48:5 [INFO] [stdout] | [INFO] [stdout] 48 | Vuru, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Zero` [INFO] [stdout] --> src/dts/udtt.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | Zero, // 0 (of type Nat) [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Aauo` [INFO] [stdout] --> src/parser/ccg.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | Aauo, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Succ` [INFO] [stdout] --> src/dts/udtt.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | Succ(Box), // The successor function [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ai` [INFO] [stdout] --> src/parser/ccg.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | Ai, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Natrec` [INFO] [stdout] --> src/dts/udtt.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | Natrec(Box, Box, Box), // natrec [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Anas` [INFO] [stdout] --> src/parser/ccg.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | Anas, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Atii` [INFO] [stdout] --> src/parser/ccg.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | Atii, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Eq` [INFO] [stdout] --> src/dts/udtt.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | Eq(Box, Box, Box), // Intensional equality types [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Abes` [INFO] [stdout] --> src/parser/ccg.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | Abes, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Refl` [INFO] [stdout] --> src/dts/udtt.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | Refl(Box, Box), // refl [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nda` [INFO] [stdout] --> src/parser/ccg.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 54 | Nda, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Idpeel` [INFO] [stdout] --> src/dts/udtt.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | Idpeel(Box, Box), // idpeel [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nna` [INFO] [stdout] --> src/parser/ccg.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 55 | Nna, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Fst` [INFO] [stdout] --> src/dts/udtt.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | Fst, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nno` [INFO] [stdout] --> src/parser/ccg.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | Nno, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Snd` [INFO] [stdout] --> src/dts/udtt.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | Snd, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ntar` [INFO] [stdout] --> src/parser/ccg.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | Ntar, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `S` [INFO] [stdout] --> src/parser/ccg.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | S(Vec), // S [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nni` [INFO] [stdout] --> src/parser/ccg.rs:58:5 [INFO] [stdout] | [INFO] [stdout] 58 | Nni, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NP` [INFO] [stdout] --> src/parser/ccg.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | NP(Vec), // NP [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nemp` [INFO] [stdout] --> src/parser/ccg.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | Nemp, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `N` [INFO] [stdout] --> src/parser/ccg.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | N, // N [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nto` [INFO] [stdout] --> src/parser/ccg.rs:60:5 [INFO] [stdout] | [INFO] [stdout] 60 | Nto, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Sbar` [INFO] [stdout] --> src/parser/ccg.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | Sbar(Vec), // S bar [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Exp` [INFO] [stdout] --> src/parser/ccg.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | Exp, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Conj` [INFO] [stdout] --> src/parser/ccg.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | Conj, // CON [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Stem` [INFO] [stdout] --> src/parser/ccg.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | Stem, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UStem` [INFO] [stdout] --> src/parser/ccg.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | UStem, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lparen` [INFO] [stdout] --> src/parser/ccg.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | Lparen, // A category for left parentheses [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NStem` [INFO] [stdout] --> src/parser/ccg.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | NStem, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Rparen` [INFO] [stdout] --> src/parser/ccg.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | Rparen, // A category for right parentheses [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Neg` [INFO] [stdout] --> src/parser/ccg.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | Neg, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `SL` [INFO] [stdout] --> src/parser/ccg.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | SL(Box, Box), // X/Y [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Cont` [INFO] [stdout] --> src/parser/ccg.rs:67:5 [INFO] [stdout] | [INFO] [stdout] 67 | Cont, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BS` [INFO] [stdout] --> src/parser/ccg.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | BS(Box, Box), // X\\Y [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Term` [INFO] [stdout] --> src/parser/ccg.rs:68:5 [INFO] [stdout] | [INFO] [stdout] 68 | Term, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `T` [INFO] [stdout] --> src/parser/ccg.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 17 | T(bool, i64, Box), // Category variables, where Int is an index, Cat is a restriction for its head. [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Attr` [INFO] [stdout] --> src/parser/ccg.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | Attr, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Hyp` [INFO] [stdout] --> src/parser/ccg.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 70 | Hyp, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `F` [INFO] [stdout] --> src/parser/ccg.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | F(Vec), // Syntactic feature [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Imper` [INFO] [stdout] --> src/parser/ccg.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | Imper, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `SF` [INFO] [stdout] --> src/parser/ccg.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | SF(i64, Vec), // Shared syntactic feature (with an index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pre` [INFO] [stdout] --> src/parser/ccg.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5k` [INFO] [stdout] --> src/parser/ccg.rs:28:5 [INFO] [stdout] | [INFO] [stdout] 28 | V5k, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NTerm` [INFO] [stdout] --> src/parser/ccg.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | NTerm, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5s` [INFO] [stdout] --> src/parser/ccg.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 29 | V5s, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegL` [INFO] [stdout] --> src/parser/ccg.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | NegL, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5t` [INFO] [stdout] --> src/parser/ccg.rs:30:5 [INFO] [stdout] | [INFO] [stdout] 30 | V5t, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `TeForm` [INFO] [stdout] --> src/parser/ccg.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | TeForm, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5n` [INFO] [stdout] --> src/parser/ccg.rs:31:5 [INFO] [stdout] | [INFO] [stdout] 31 | V5n, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NiForm` [INFO] [stdout] --> src/parser/ccg.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | NiForm, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5m` [INFO] [stdout] --> src/parser/ccg.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | V5m, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EuphT` [INFO] [stdout] --> src/parser/ccg.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | EuphT, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5r` [INFO] [stdout] --> src/parser/ccg.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 33 | V5r, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EuphD` [INFO] [stdout] --> src/parser/ccg.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | EuphD, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5w` [INFO] [stdout] --> src/parser/ccg.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | V5w, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModU` [INFO] [stdout] --> src/parser/ccg.rs:79:5 [INFO] [stdout] | [INFO] [stdout] 79 | ModU, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5g` [INFO] [stdout] --> src/parser/ccg.rs:35:5 [INFO] [stdout] | [INFO] [stdout] 35 | V5g, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModD` [INFO] [stdout] --> src/parser/ccg.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | ModD, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5z` [INFO] [stdout] --> src/parser/ccg.rs:36:5 [INFO] [stdout] | [INFO] [stdout] 36 | V5z, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModS` [INFO] [stdout] --> src/parser/ccg.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | ModS, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5b` [INFO] [stdout] --> src/parser/ccg.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 37 | V5b, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModM` [INFO] [stdout] --> src/parser/ccg.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | ModM, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoR` [INFO] [stdout] --> src/parser/ccg.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | VoR, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5IKU` [INFO] [stdout] --> src/parser/ccg.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 38 | V5IKU, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5YUK` [INFO] [stdout] --> src/parser/ccg.rs:39:5 [INFO] [stdout] | [INFO] [stdout] 39 | V5YUK, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoS` [INFO] [stdout] --> src/parser/ccg.rs:84:5 [INFO] [stdout] | [INFO] [stdout] 84 | VoS, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5ARU` [INFO] [stdout] --> src/parser/ccg.rs:40:5 [INFO] [stdout] | [INFO] [stdout] 40 | V5ARU, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoE` [INFO] [stdout] --> src/parser/ccg.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | VoE, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5NAS` [INFO] [stdout] --> src/parser/ccg.rs:41:5 [INFO] [stdout] | [INFO] [stdout] 41 | V5NAS, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `P` [INFO] [stdout] --> src/parser/ccg.rs:86:5 [INFO] [stdout] | [INFO] [stdout] 86 | P, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `M` [INFO] [stdout] --> src/parser/ccg.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | M, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V5TOW` [INFO] [stdout] --> src/parser/ccg.rs:42:5 [INFO] [stdout] | [INFO] [stdout] 42 | V5TOW, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `V1` [INFO] [stdout] --> src/parser/ccg.rs:43:5 [INFO] [stdout] | [INFO] [stdout] 43 | V1, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nc` [INFO] [stdout] --> src/parser/ccg.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | Nc, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ga` [INFO] [stdout] --> src/parser/ccg.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | Ga, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VK` [INFO] [stdout] --> src/parser/ccg.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 44 | VK, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `O` [INFO] [stdout] --> src/parser/ccg.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 90 | O, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VS` [INFO] [stdout] --> src/parser/ccg.rs:45:5 [INFO] [stdout] | [INFO] [stdout] 45 | VS, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ni` [INFO] [stdout] --> src/parser/ccg.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | Ni, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Vsn` [INFO] [stdout] --> src/parser/ccg.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 46 | Vsn, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `To` [INFO] [stdout] --> src/parser/ccg.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 92 | To, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Niyotte` [INFO] [stdout] --> src/parser/ccg.rs:93:5 [INFO] [stdout] | [INFO] [stdout] 93 | Niyotte, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `No` [INFO] [stdout] --> src/parser/ccg.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | No, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ToCL` [INFO] [stdout] --> src/parser/ccg.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 95 | ToCL, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VZ` [INFO] [stdout] --> src/parser/ccg.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | VZ, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `YooniCL` [INFO] [stdout] --> src/parser/ccg.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | YooniCL, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Vuru` [INFO] [stdout] --> src/parser/ccg.rs:48:5 [INFO] [stdout] | [INFO] [stdout] 48 | Vuru, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Decl` [INFO] [stdout] --> src/parser/ccg.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | Decl, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Aauo` [INFO] [stdout] --> src/parser/ccg.rs:49:5 [INFO] [stdout] | [INFO] [stdout] 49 | Aauo, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lex` [INFO] [stdout] --> src/parser/ccg.rs:103:5 [INFO] [stdout] | [INFO] [stdout] 103 | Lex, // A lexical item [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EC` [INFO] [stdout] --> src/parser/ccg.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 104 | EC, // An empty category [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ffa` [INFO] [stdout] --> src/parser/ccg.rs:105:5 [INFO] [stdout] | [INFO] [stdout] 105 | Ffa, // Forward function application rule. [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bfa` [INFO] [stdout] --> src/parser/ccg.rs:106:5 [INFO] [stdout] | [INFO] [stdout] 106 | Bfa, // Backward function application rule [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ai` [INFO] [stdout] --> src/parser/ccg.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 50 | Ai, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC1` [INFO] [stdout] --> src/parser/ccg.rs:107:5 [INFO] [stdout] | [INFO] [stdout] 107 | FFC1, // Forward function composition rule 1 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Anas` [INFO] [stdout] --> src/parser/ccg.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | Anas, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC1` [INFO] [stdout] --> src/parser/ccg.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | BFC1, // Backward function composition rule 1 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Atii` [INFO] [stdout] --> src/parser/ccg.rs:52:5 [INFO] [stdout] | [INFO] [stdout] 52 | Atii, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Abes` [INFO] [stdout] --> src/parser/ccg.rs:53:5 [INFO] [stdout] | [INFO] [stdout] 53 | Abes, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC2` [INFO] [stdout] --> src/parser/ccg.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 109 | FFC2, // Forward function composition rule 2 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nda` [INFO] [stdout] --> src/parser/ccg.rs:54:5 [INFO] [stdout] | [INFO] [stdout] 54 | Nda, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC2` [INFO] [stdout] --> src/parser/ccg.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | BFC2, // Backward function composition rule 2 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nna` [INFO] [stdout] --> src/parser/ccg.rs:55:5 [INFO] [stdout] | [INFO] [stdout] 55 | Nna, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC3` [INFO] [stdout] --> src/parser/ccg.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | FFC3, // Forward function composition rule 3 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nno` [INFO] [stdout] --> src/parser/ccg.rs:56:5 [INFO] [stdout] | [INFO] [stdout] 56 | Nno, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC3` [INFO] [stdout] --> src/parser/ccg.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | BFC3, // Backward function composition rule 3 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ntar` [INFO] [stdout] --> src/parser/ccg.rs:57:5 [INFO] [stdout] | [INFO] [stdout] 57 | Ntar, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFCx1` [INFO] [stdout] --> src/parser/ccg.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | FFCx1, // Forward function crossed composition rule 1 [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nni` [INFO] [stdout] --> src/parser/ccg.rs:58:5 [INFO] [stdout] | [INFO] [stdout] 58 | Nni, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFCx2` [INFO] [stdout] --> src/parser/ccg.rs:114:5 [INFO] [stdout] | [INFO] [stdout] 114 | FFCx2, // Forward function crossed composition rule 2 [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nemp` [INFO] [stdout] --> src/parser/ccg.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | Nemp, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFSx` [INFO] [stdout] --> src/parser/ccg.rs:115:5 [INFO] [stdout] | [INFO] [stdout] 115 | FFSx, // Forward function crossed substitution rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nto` [INFO] [stdout] --> src/parser/ccg.rs:60:5 [INFO] [stdout] | [INFO] [stdout] 60 | Nto, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Coord` [INFO] [stdout] --> src/parser/ccg.rs:116:5 [INFO] [stdout] | [INFO] [stdout] 116 | Coord, // Coordination rule [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Exp` [INFO] [stdout] --> src/parser/ccg.rs:61:5 [INFO] [stdout] | [INFO] [stdout] 61 | Exp, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Stem` [INFO] [stdout] --> src/parser/ccg.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | Stem, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Paren` [INFO] [stdout] --> src/parser/ccg.rs:117:5 [INFO] [stdout] | [INFO] [stdout] 117 | Paren, // Parenthesis rule [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Wrap` [INFO] [stdout] --> src/parser/ccg.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | Wrap, // Wrap rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `UStem` [INFO] [stdout] --> src/parser/ccg.rs:64:5 [INFO] [stdout] | [INFO] [stdout] 64 | UStem, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `DC` [INFO] [stdout] --> src/parser/ccg.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | DC, // Dynamic conjunction rule [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NStem` [INFO] [stdout] --> src/parser/ccg.rs:65:5 [INFO] [stdout] | [INFO] [stdout] 65 | NStem, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Neg` [INFO] [stdout] --> src/parser/ccg.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | Neg, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Drel` [INFO] [stdout] --> src/parser/ccg.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | Drel, // Discourse Relation rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Cont` [INFO] [stdout] --> src/parser/ccg.rs:67:5 [INFO] [stdout] | [INFO] [stdout] 67 | Cont, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `purify_text` [INFO] [stdout] --> src/parser/chartparser.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | fn purify_text(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Term` [INFO] [stdout] --> src/parser/ccg.rs:68:5 [INFO] [stdout] | [INFO] [stdout] 68 | Term, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `beam_width` [INFO] [stdout] --> src/parser/chartparser.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | beam_width: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Attr` [INFO] [stdout] --> src/parser/ccg.rs:69:5 [INFO] [stdout] | [INFO] [stdout] 69 | Attr, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Hyp` [INFO] [stdout] --> src/parser/ccg.rs:70:5 [INFO] [stdout] | [INFO] [stdout] 70 | Hyp, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Imper` [INFO] [stdout] --> src/parser/ccg.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | Imper, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Pre` [INFO] [stdout] --> src/parser/ccg.rs:72:5 [INFO] [stdout] | [INFO] [stdout] 72 | Pre, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NTerm` [INFO] [stdout] --> src/parser/ccg.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 73 | NTerm, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NegL` [INFO] [stdout] --> src/parser/ccg.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | NegL, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `TeForm` [INFO] [stdout] --> src/parser/ccg.rs:75:5 [INFO] [stdout] | [INFO] [stdout] 75 | TeForm, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `NiForm` [INFO] [stdout] --> src/parser/ccg.rs:76:5 [INFO] [stdout] | [INFO] [stdout] 76 | NiForm, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EuphT` [INFO] [stdout] --> src/parser/ccg.rs:77:5 [INFO] [stdout] | [INFO] [stdout] 77 | EuphT, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EuphD` [INFO] [stdout] --> src/parser/ccg.rs:78:5 [INFO] [stdout] | [INFO] [stdout] 78 | EuphD, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModU` [INFO] [stdout] --> src/parser/ccg.rs:79:5 [INFO] [stdout] | [INFO] [stdout] 79 | ModU, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModD` [INFO] [stdout] --> src/parser/ccg.rs:80:5 [INFO] [stdout] | [INFO] [stdout] 80 | ModD, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModS` [INFO] [stdout] --> src/parser/ccg.rs:81:5 [INFO] [stdout] | [INFO] [stdout] 81 | ModS, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ModM` [INFO] [stdout] --> src/parser/ccg.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 82 | ModM, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoR` [INFO] [stdout] --> src/parser/ccg.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 83 | VoR, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoS` [INFO] [stdout] --> src/parser/ccg.rs:84:5 [INFO] [stdout] | [INFO] [stdout] 84 | VoS, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `VoE` [INFO] [stdout] --> src/parser/ccg.rs:85:5 [INFO] [stdout] | [INFO] [stdout] 85 | VoE, [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `P` [INFO] [stdout] --> src/parser/ccg.rs:86:5 [INFO] [stdout] | [INFO] [stdout] 86 | P, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `M` [INFO] [stdout] --> src/parser/ccg.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 87 | M, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Nc` [INFO] [stdout] --> src/parser/ccg.rs:88:5 [INFO] [stdout] | [INFO] [stdout] 88 | Nc, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ga` [INFO] [stdout] --> src/parser/ccg.rs:89:5 [INFO] [stdout] | [INFO] [stdout] 89 | Ga, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `O` [INFO] [stdout] --> src/parser/ccg.rs:90:5 [INFO] [stdout] | [INFO] [stdout] 90 | O, [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ni` [INFO] [stdout] --> src/parser/ccg.rs:91:5 [INFO] [stdout] | [INFO] [stdout] 91 | Ni, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `To` [INFO] [stdout] --> src/parser/ccg.rs:92:5 [INFO] [stdout] | [INFO] [stdout] 92 | To, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Niyotte` [INFO] [stdout] --> src/parser/ccg.rs:93:5 [INFO] [stdout] | [INFO] [stdout] 93 | Niyotte, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `No` [INFO] [stdout] --> src/parser/ccg.rs:94:5 [INFO] [stdout] | [INFO] [stdout] 94 | No, [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `ToCL` [INFO] [stdout] --> src/parser/ccg.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 95 | ToCL, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `YooniCL` [INFO] [stdout] --> src/parser/ccg.rs:96:5 [INFO] [stdout] | [INFO] [stdout] 96 | YooniCL, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Decl` [INFO] [stdout] --> src/parser/ccg.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 97 | Decl, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Lex` [INFO] [stdout] --> src/parser/ccg.rs:103:5 [INFO] [stdout] | [INFO] [stdout] 103 | Lex, // A lexical item [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `EC` [INFO] [stdout] --> src/parser/ccg.rs:104:5 [INFO] [stdout] | [INFO] [stdout] 104 | EC, // An empty category [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Ffa` [INFO] [stdout] --> src/parser/ccg.rs:105:5 [INFO] [stdout] | [INFO] [stdout] 105 | Ffa, // Forward function application rule. [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Bfa` [INFO] [stdout] --> src/parser/ccg.rs:106:5 [INFO] [stdout] | [INFO] [stdout] 106 | Bfa, // Backward function application rule [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC1` [INFO] [stdout] --> src/parser/ccg.rs:107:5 [INFO] [stdout] | [INFO] [stdout] 107 | FFC1, // Forward function composition rule 1 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC1` [INFO] [stdout] --> src/parser/ccg.rs:108:5 [INFO] [stdout] | [INFO] [stdout] 108 | BFC1, // Backward function composition rule 1 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC2` [INFO] [stdout] --> src/parser/ccg.rs:109:5 [INFO] [stdout] | [INFO] [stdout] 109 | FFC2, // Forward function composition rule 2 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC2` [INFO] [stdout] --> src/parser/ccg.rs:110:5 [INFO] [stdout] | [INFO] [stdout] 110 | BFC2, // Backward function composition rule 2 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFC3` [INFO] [stdout] --> src/parser/ccg.rs:111:5 [INFO] [stdout] | [INFO] [stdout] 111 | FFC3, // Forward function composition rule 3 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `BFC3` [INFO] [stdout] --> src/parser/ccg.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 112 | BFC3, // Backward function composition rule 3 [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFCx1` [INFO] [stdout] --> src/parser/ccg.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 113 | FFCx1, // Forward function crossed composition rule 1 [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFCx2` [INFO] [stdout] --> src/parser/ccg.rs:114:5 [INFO] [stdout] | [INFO] [stdout] 114 | FFCx2, // Forward function crossed composition rule 2 [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `FFSx` [INFO] [stdout] --> src/parser/ccg.rs:115:5 [INFO] [stdout] | [INFO] [stdout] 115 | FFSx, // Forward function crossed substitution rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Coord` [INFO] [stdout] --> src/parser/ccg.rs:116:5 [INFO] [stdout] | [INFO] [stdout] 116 | Coord, // Coordination rule [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Paren` [INFO] [stdout] --> src/parser/ccg.rs:117:5 [INFO] [stdout] | [INFO] [stdout] 117 | Paren, // Parenthesis rule [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Wrap` [INFO] [stdout] --> src/parser/ccg.rs:118:5 [INFO] [stdout] | [INFO] [stdout] 118 | Wrap, // Wrap rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `DC` [INFO] [stdout] --> src/parser/ccg.rs:119:5 [INFO] [stdout] | [INFO] [stdout] 119 | DC, // Dynamic conjunction rule [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Drel` [INFO] [stdout] --> src/parser/ccg.rs:120:5 [INFO] [stdout] | [INFO] [stdout] 120 | Drel, // Discourse Relation rule [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `purify_text` [INFO] [stdout] --> src/parser/chartparser.rs:26:8 [INFO] [stdout] | [INFO] [stdout] 26 | fn purify_text(&mut self) { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `beam_width` [INFO] [stdout] --> src/parser/chartparser.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 34 | beam_width: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 136 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 136 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | let mut input = String::from("ソクラテスは死ぬ。"); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:5:9 [INFO] [stdout] | [INFO] [stdout] 5 | let mut input = chartparser::Input { sentence: input }; [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/main.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | let mut input = String::from("ソクラテスは死ぬ。"); [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:5:9 [INFO] [stdout] | [INFO] [stdout] 5 | let mut input = chartparser::Input { sentence: input }; [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | dbg!(node); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/main.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | dbg!(node); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `dbg` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.39s [INFO] running `Command { std: "docker" "inspect" "4669bada92f04ea4ad63a9edd86518323af55e464c20060a909f5481b6556866", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4669bada92f04ea4ad63a9edd86518323af55e464c20060a909f5481b6556866", kill_on_drop: false }` [INFO] [stdout] 4669bada92f04ea4ad63a9edd86518323af55e464c20060a909f5481b6556866