[INFO] cloning repository https://github.com/d702e20/OnTheFlyATL
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/d702e20/OnTheFlyATL" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 153df23148a9f485c35631352c1131dc30778126
[INFO] checking d702e20/OnTheFlyATL against beta for pr-78714
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fd702e20%2FOnTheFlyATL" "/workspace/builds/worker-14/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/d702e20/OnTheFlyATL on toolchain beta
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] finished tweaking git repo https://github.com/d702e20/OnTheFlyATL
[INFO] tweaked toml for git repo https://github.com/d702e20/OnTheFlyATL written to /workspace/builds/worker-14/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ea8e925c054608a3a8e6f96b23687c33ba0dade89668edc3adc3a19d47446956
[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" "ea8e925c054608a3a8e6f96b23687c33ba0dade89668edc3adc3a19d47446956", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ea8e925c054608a3a8e6f96b23687c33ba0dade89668edc3adc3a19d47446956", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea8e925c054608a3a8e6f96b23687c33ba0dade89668edc3adc3a19d47446956", kill_on_drop: false }`
[INFO] [stdout] ea8e925c054608a3a8e6f96b23687c33ba0dade89668edc3adc3a19d47446956
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+beta" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 95ed9fa7594f7346d031ae66867ef61ae2deefcc441f3e0c10cf5fdfd0904496
[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" "95ed9fa7594f7346d031ae66867ef61ae2deefcc441f3e0c10cf5fdfd0904496", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.117
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking log-mdc v0.1.0
[INFO] [stderr]     Checking pom v3.2.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.0
[INFO] [stderr]     Checking yaml-rust v0.4.4
[INFO] [stderr]     Checking parking_lot_core v0.7.2
[INFO] [stderr]     Checking thread-id v3.3.0
[INFO] [stderr]     Checking ordered-float v1.1.0
[INFO] [stderr]     Checking num-integer v0.1.44
[INFO] [stderr]     Checking flate2 v1.0.19
[INFO] [stderr]     Checking parking_lot v0.10.2
[INFO] [stderr]     Checking chrono v0.4.19
[INFO] [stderr]     Checking crossbeam-channel v0.5.0
[INFO] [stderr]     Checking serde_json v1.0.59
[INFO] [stderr]     Checking serde-value v0.6.0
[INFO] [stderr]     Checking serde_yaml v0.8.14
[INFO] [stderr]     Checking log4rs v0.12.0
[INFO] [stderr]     Checking atl-checker v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::common::Edges`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::common::Edges;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::hash_map::RandomState`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use std::collections::hash_map::RandomState;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashSet`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use std::collections::HashSet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Deserializer`
[INFO] [stdout]  --> src/atl/common.rs:2:26
[INFO] [stdout]   |
[INFO] [stdout] 2 | use serde::{Deserialize, Deserializer};
[INFO] [stdout]   |                          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `TypeId`
[INFO] [stdout]  --> src/atl/common.rs:3:16
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::any::{Any, TypeId};
[INFO] [stdout]   |                ^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error`, `SeqAccess`, `Visitor`
[INFO] [stdout]  --> src/atl/common.rs:4:17
[INFO] [stdout]   |
[INFO] [stdout] 4 | use serde::de::{Visitor, SeqAccess, Error};
[INFO] [stdout]   |                 ^^^^^^^  ^^^^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::export::Formatter`
[INFO] [stdout]  --> src/atl/common.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde::export::Formatter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `DESPITE_UNTIL` should have an upper camel case name
[INFO] [stdout]   --> src/atl/formula.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     DESPITE_UNTIL {
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `DespiteUntil`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ENFORCE_UNTIL` should have an upper camel case name
[INFO] [stdout]   --> src/atl/formula.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     ENFORCE_UNTIL {
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `EnforceUntil`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/lcgs/parse.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ops::Add`
[INFO] [stdout]  --> src/lcgs/parse.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::ops::Add;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ExprKind`
[INFO] [stdout]   --> src/lcgs/parse.rs:14:44
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::lcgs::ast::{BinaryOpKind, Expr, ExprKind, Identifier};
[INFO] [stdout]    |                                            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::pom::set::Set`
[INFO] [stdout]   --> src/lcgs/parse.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use self::pom::set::Set;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::common::Edges`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::common::Edges;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::hash_map::RandomState`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use std::collections::hash_map::RandomState;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashSet`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use std::collections::HashSet;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Deserializer`
[INFO] [stdout]  --> src/atl/common.rs:2:26
[INFO] [stdout]   |
[INFO] [stdout] 2 | use serde::{Deserialize, Deserializer};
[INFO] [stdout]   |                          ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Any`, `TypeId`
[INFO] [stdout]  --> src/atl/common.rs:3:16
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::any::{Any, TypeId};
[INFO] [stdout]   |                ^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Error`, `SeqAccess`, `Visitor`
[INFO] [stdout]  --> src/atl/common.rs:4:17
[INFO] [stdout]   |
[INFO] [stdout] 4 | use serde::de::{Visitor, SeqAccess, Error};
[INFO] [stdout]   |                 ^^^^^^^  ^^^^^^^^^  ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::export::Formatter`
[INFO] [stdout]  --> src/atl/common.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use serde::export::Formatter;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `DESPITE_UNTIL` should have an upper camel case name
[INFO] [stdout]   --> src/atl/formula.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 |     DESPITE_UNTIL {
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `DespiteUntil`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ENFORCE_UNTIL` should have an upper camel case name
[INFO] [stdout]   --> src/atl/formula.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     ENFORCE_UNTIL {
[INFO] [stdout]    |     ^^^^^^^^^^^^^ help: convert the identifier to upper camel case: `EnforceUntil`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashMap`
[INFO] [stdout]  --> src/lcgs/parse.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::collections::HashMap;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::ops::Add`
[INFO] [stdout]  --> src/lcgs/parse.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::ops::Add;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Addition`, `Division`, `Multiplication`, `Subtraction`
[INFO] [stdout]   --> src/lcgs/parse.rs:12:38
[INFO] [stdout]    |
[INFO] [stdout] 12 | use crate::lcgs::ast::BinaryOpKind::{Addition, Division, Multiplication, Subtraction};
[INFO] [stdout]    |                                      ^^^^^^^^  ^^^^^^^^  ^^^^^^^^^^^^^^  ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ExprKind`
[INFO] [stdout]   --> src/lcgs/parse.rs:14:44
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::lcgs::ast::{BinaryOpKind, Expr, ExprKind, Identifier};
[INFO] [stdout]    |                                            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `self::pom::set::Set`
[INFO] [stdout]   --> src/lcgs/parse.rs:18:5
[INFO] [stdout]    |
[INFO] [stdout] 18 | use self::pom::set::Set;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/edg.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let (mut tx, mut rx) = crossbeam_channel::bounded(worker_count as usize);
[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/edg.rs:29:18
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let (mut tx, mut rx) = crossbeam_channel::bounded(worker_count as usize);
[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/edg.rs:29:10
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let (mut tx, mut rx) = crossbeam_channel::bounded(worker_count as usize);
[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/edg.rs:29:18
[INFO] [stdout]    |
[INFO] [stdout] 29 |     let (mut tx, mut rx) = crossbeam_channel::bounded(worker_count as usize);
[INFO] [stdout]    |                  ----^^
[INFO] [stdout]    |                  |
[INFO] [stdout]    |                  help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Const`
[INFO] [stdout]   --> src/lcgs/ast.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Const(Rc<ConstDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Label`
[INFO] [stdout]   --> src/lcgs/ast.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     Label(Rc<LabelDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `StateVar`
[INFO] [stdout]   --> src/lcgs/ast.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     StateVar(Rc<StateVarDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Player`
[INFO] [stdout]   --> src/lcgs/ast.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Player(Rc<PlayerDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Module`
[INFO] [stdout]   --> src/lcgs/ast.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Module(Rc<TemplateDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Transition`
[INFO] [stdout]   --> src/lcgs/ast.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     Transition(Rc<TransitionDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Number`
[INFO] [stdout]    --> src/lcgs/ast.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 102 |     Number(i32),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Ident`
[INFO] [stdout]    --> src/lcgs/ast.rs:103:5
[INFO] [stdout]     |
[INFO] [stdout] 103 |     Ident(Rc<Identifier>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Negation`
[INFO] [stdout]    --> src/lcgs/ast.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     Negation(Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `UnaryOp`
[INFO] [stdout]    --> src/lcgs/ast.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     UnaryOp(UnaryOpKind, Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `BinaryOp`
[INFO] [stdout]    --> src/lcgs/ast.rs:106:5
[INFO] [stdout]     |
[INFO] [stdout] 106 |     BinaryOp(BinaryOpKind, Rc<Expr>, Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `TernaryIf`
[INFO] [stdout]    --> src/lcgs/ast.rs:107:5
[INFO] [stdout]     |
[INFO] [stdout] 107 |     TernaryIf(Rc<Expr>, Rc<Expr>, Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `BoolToNumConversion`
[INFO] [stdout]    --> src/lcgs/ast.rs:108:5
[INFO] [stdout]     |
[INFO] [stdout] 108 |     BoolToNumConversion(Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LogicalNegation`
[INFO] [stdout]    --> src/lcgs/ast.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     LogicalNegation,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Negation`
[INFO] [stdout]    --> src/lcgs/ast.rs:114:5
[INFO] [stdout]     |
[INFO] [stdout] 114 |     Negation, // eg -4
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Equality`
[INFO] [stdout]    --> src/lcgs/ast.rs:123:5
[INFO] [stdout]     |
[INFO] [stdout] 123 |     Equality, // Also serves as bi-implication
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Inequality`
[INFO] [stdout]    --> src/lcgs/ast.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     Inequality,
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GreaterThan`
[INFO] [stdout]    --> src/lcgs/ast.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     GreaterThan,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LessThan`
[INFO] [stdout]    --> src/lcgs/ast.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     LessThan,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GreaterOrEqual`
[INFO] [stdout]    --> src/lcgs/ast.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     GreaterOrEqual,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LessOrEqual`
[INFO] [stdout]    --> src/lcgs/ast.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     LessOrEqual,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/lcgs/ast.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     And,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/lcgs/ast.rs:130:5
[INFO] [stdout]     |
[INFO] [stdout] 130 |     Or,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Xor`
[INFO] [stdout]    --> src/lcgs/ast.rs:131:5
[INFO] [stdout]     |
[INFO] [stdout] 131 |     Xor,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implication`
[INFO] [stdout]    --> src/lcgs/ast.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 132 |     Implication,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `Program`
[INFO] [stdout]  --> src/lcgs/program.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Program {
[INFO] [stdout]   |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `Symbol`
[INFO] [stdout]  --> src/lcgs/symbol_table.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct Symbol {
[INFO] [stdout]   |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `SymbolKind`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub enum SymbolKind {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `SymbolTable`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct SymbolTable {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 |     pub fn new() -> SymbolTable {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `alpha`
[INFO] [stdout]   --> src/lcgs/parse.rs:43:4
[INFO] [stdout]    |
[INFO] [stdout] 43 | fn alpha() -> Parser<'static, u8, u8> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `digit`
[INFO] [stdout]   --> src/lcgs/parse.rs:49:4
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn digit() -> Parser<'static, u8, u8> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `non_0_digit`
[INFO] [stdout]   --> src/lcgs/parse.rs:55:4
[INFO] [stdout]    |
[INFO] [stdout] 55 | fn non_0_digit() -> Parser<'static, u8, u8> {
[INFO] [stdout]    |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `space`
[INFO] [stdout]   --> src/lcgs/parse.rs:60:4
[INFO] [stdout]    |
[INFO] [stdout] 60 | fn space() -> Parser<'static, u8, ()> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `number`
[INFO] [stdout]   --> src/lcgs/parse.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn number() -> Parser<'static, u8, Expr> {
[INFO] [stdout]    |    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `name`
[INFO] [stdout]   --> src/lcgs/parse.rs:78:4
[INFO] [stdout]    |
[INFO] [stdout] 78 | fn name() -> Parser<'static, u8, String> {
[INFO] [stdout]    |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `identifier`
[INFO] [stdout]   --> src/lcgs/parse.rs:85:4
[INFO] [stdout]    |
[INFO] [stdout] 85 | fn identifier() -> Parser<'static, u8, Identifier> {
[INFO] [stdout]    |    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `binop`
[INFO] [stdout]   --> src/lcgs/parse.rs:93:4
[INFO] [stdout]    |
[INFO] [stdout] 93 | fn binop() -> Parser<'static, u8, BinaryOpKind> {
[INFO] [stdout]    |    ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `solve_binary_precedence`
[INFO] [stdout]   --> src/lcgs/parse.rs:99:4
[INFO] [stdout]    |
[INFO] [stdout] 99 | fn solve_binary_precedence(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `expr`
[INFO] [stdout]    --> src/lcgs/parse.rs:134:4
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn expr() -> Parser<'static, u8, Expr> {
[INFO] [stdout]     |    ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `primary`
[INFO] [stdout]    --> src/lcgs/parse.rs:141:4
[INFO] [stdout]     |
[INFO] [stdout] 141 | fn primary() -> Parser<'static, u8, Expr> {
[INFO] [stdout]     |    ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LeftToRight`
[INFO] [stdout]   --> src/lcgs/precedence.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 16 |     LeftToRight,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `RightToLeft`
[INFO] [stdout]   --> src/lcgs/precedence.rs:17:5
[INFO] [stdout]    |
[INFO] [stdout] 17 |     RightToLeft,
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function is never used: `precedence`
[INFO] [stdout]   --> src/lcgs/precedence.rs:23:8
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub fn precedence(op: &BinaryOpKind) -> Precedence {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/main.rs:60:5
[INFO] [stdout]    |
[INFO] [stdout] 60 |     model_check(args); // not sure whether this requires match on Result
[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] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Const`
[INFO] [stdout]   --> src/lcgs/ast.rs:19:5
[INFO] [stdout]    |
[INFO] [stdout] 19 |     Const(Rc<ConstDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Label`
[INFO] [stdout]   --> src/lcgs/ast.rs:20:5
[INFO] [stdout]    |
[INFO] [stdout] 20 |     Label(Rc<LabelDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `StateVar`
[INFO] [stdout]   --> src/lcgs/ast.rs:21:5
[INFO] [stdout]    |
[INFO] [stdout] 21 |     StateVar(Rc<StateVarDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Player`
[INFO] [stdout]   --> src/lcgs/ast.rs:22:5
[INFO] [stdout]    |
[INFO] [stdout] 22 |     Player(Rc<PlayerDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Module`
[INFO] [stdout]   --> src/lcgs/ast.rs:23:5
[INFO] [stdout]    |
[INFO] [stdout] 23 |     Module(Rc<TemplateDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Transition`
[INFO] [stdout]   --> src/lcgs/ast.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 |     Transition(Rc<TransitionDecl>),
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Negation`
[INFO] [stdout]    --> src/lcgs/ast.rs:104:5
[INFO] [stdout]     |
[INFO] [stdout] 104 |     Negation(Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `UnaryOp`
[INFO] [stdout]    --> src/lcgs/ast.rs:105:5
[INFO] [stdout]     |
[INFO] [stdout] 105 |     UnaryOp(UnaryOpKind, Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `TernaryIf`
[INFO] [stdout]    --> src/lcgs/ast.rs:107:5
[INFO] [stdout]     |
[INFO] [stdout] 107 |     TernaryIf(Rc<Expr>, Rc<Expr>, Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `BoolToNumConversion`
[INFO] [stdout]    --> src/lcgs/ast.rs:108:5
[INFO] [stdout]     |
[INFO] [stdout] 108 |     BoolToNumConversion(Rc<Expr>),
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LogicalNegation`
[INFO] [stdout]    --> src/lcgs/ast.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     LogicalNegation,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Negation`
[INFO] [stdout]    --> src/lcgs/ast.rs:114:5
[INFO] [stdout]     |
[INFO] [stdout] 114 |     Negation, // eg -4
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Equality`
[INFO] [stdout]    --> src/lcgs/ast.rs:123:5
[INFO] [stdout]     |
[INFO] [stdout] 123 |     Equality, // Also serves as bi-implication
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Inequality`
[INFO] [stdout]    --> src/lcgs/ast.rs:124:5
[INFO] [stdout]     |
[INFO] [stdout] 124 |     Inequality,
[INFO] [stdout]     |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GreaterThan`
[INFO] [stdout]    --> src/lcgs/ast.rs:125:5
[INFO] [stdout]     |
[INFO] [stdout] 125 |     GreaterThan,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LessThan`
[INFO] [stdout]    --> src/lcgs/ast.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     LessThan,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `GreaterOrEqual`
[INFO] [stdout]    --> src/lcgs/ast.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     GreaterOrEqual,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `LessOrEqual`
[INFO] [stdout]    --> src/lcgs/ast.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     LessOrEqual,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `And`
[INFO] [stdout]    --> src/lcgs/ast.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     And,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Or`
[INFO] [stdout]    --> src/lcgs/ast.rs:130:5
[INFO] [stdout]     |
[INFO] [stdout] 130 |     Or,
[INFO] [stdout]     |     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Xor`
[INFO] [stdout]    --> src/lcgs/ast.rs:131:5
[INFO] [stdout]     |
[INFO] [stdout] 131 |     Xor,
[INFO] [stdout]     |     ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant is never constructed: `Implication`
[INFO] [stdout]    --> src/lcgs/ast.rs:132:5
[INFO] [stdout]     |
[INFO] [stdout] 132 |     Implication,
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `Program`
[INFO] [stdout]  --> src/lcgs/program.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | pub struct Program {
[INFO] [stdout]   |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `Symbol`
[INFO] [stdout]  --> src/lcgs/symbol_table.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub struct Symbol {
[INFO] [stdout]   |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum is never used: `SymbolKind`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub enum SymbolKind {
[INFO] [stdout]    |          ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct is never constructed: `SymbolTable`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct SymbolTable {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function is never used: `new`
[INFO] [stdout]   --> src/lcgs/symbol_table.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 |     pub fn new() -> SymbolTable {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 61 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `std::result::Result` that must be used
[INFO] [stdout]   --> src/main.rs:60:5
[INFO] [stdout]    |
[INFO] [stdout] 60 |     model_check(args); // not sure whether this requires match on Result
[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] 
[INFO] [stdout] 
[INFO] [stdout] warning: 43 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 20.43s
[INFO] running `Command { std: "docker" "inspect" "95ed9fa7594f7346d031ae66867ef61ae2deefcc441f3e0c10cf5fdfd0904496", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95ed9fa7594f7346d031ae66867ef61ae2deefcc441f3e0c10cf5fdfd0904496", kill_on_drop: false }`
[INFO] [stdout] 95ed9fa7594f7346d031ae66867ef61ae2deefcc441f3e0c10cf5fdfd0904496