[INFO] cloning repository https://github.com/SymmetricChaos/tnt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SymmetricChaos/tnt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 61d1bbbee92e9be413a8dbf0f265fedbadaa5c13
[INFO] testing SymmetricChaos/tnt against beta-2023-04-20 for beta-1.70-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SymmetricChaos/tnt on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/SymmetricChaos/tnt
[INFO] finished tweaking git repo https://github.com/SymmetricChaos/tnt
[INFO] tweaked toml for git repo https://github.com/SymmetricChaos/tnt written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/SymmetricChaos/tnt already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pest_generator v2.4.1
[INFO] [stderr]   Downloaded pest_derive v2.4.1
[INFO] [stderr]   Downloaded pest_meta v2.4.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c8c4e4cbbaf83ba108c5f760e4175a3d3d7a42b5b071f7d456f1e7c186c5be62
[INFO] running `Command { std: "docker" "start" "-a" "c8c4e4cbbaf83ba108c5f760e4175a3d3d7a42b5b071f7d456f1e7c186c5be62", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c8c4e4cbbaf83ba108c5f760e4175a3d3d7a42b5b071f7d456f1e7c186c5be62", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8c4e4cbbaf83ba108c5f760e4175a3d3d7a42b5b071f7d456f1e7c186c5be62", kill_on_drop: false }`
[INFO] [stdout] c8c4e4cbbaf83ba108c5f760e4175a3d3d7a42b5b071f7d456f1e7c186c5be62
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9d154aaf63b86ddd54f5383cc19e526a37cb19b9285ab8cd432dbd065f91863
[INFO] running `Command { std: "docker" "start" "-a" "d9d154aaf63b86ddd54f5383cc19e526a37cb19b9285ab8cd432dbd065f91863", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.32
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling syn v1.0.81
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling thiserror v1.0.37
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling ucd-trie v0.1.5
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling once_cell v1.16.0
[INFO] [stderr]    Compiling indexmap v1.9.1
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling regex-syntax v0.6.27
[INFO] [stderr]    Compiling aho-corasick v0.7.19
[INFO] [stderr]    Compiling quote v1.0.10
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling regex v1.6.0
[INFO] [stderr]    Compiling num v0.4.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.37
[INFO] [stderr]    Compiling pest v2.4.1
[INFO] [stderr]    Compiling pest_meta v2.4.1
[INFO] [stderr]    Compiling pest_generator v2.4.1
[INFO] [stderr]    Compiling pest_derive v2.4.1
[INFO] [stderr]    Compiling tnt v1.0.2 (/opt/rustwide/workdir)
[INFO] [stdout] error: proc-macro derive panicked
[INFO] [stdout]  --> src/parsing/parser.rs:5:10
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[derive(Parser)]
[INFO] [stdout]   |          ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: message: error opening "parsing\\tnt.pest": No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:16:37
[INFO] [stdout]    |
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:21:37
[INFO] [stdout]    |
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                                     ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:27:9
[INFO] [stdout]    |
[INFO] [stdout] 27 |         Rule::zero => Term::Zero,
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:28:9
[INFO] [stdout]    |
[INFO] [stdout] 28 |         Rule::variable => Term::var(pair.as_str()),
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Rule::multiplication => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:35:9
[INFO] [stdout]    |
[INFO] [stdout] 35 |         Rule::addition => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |         Rule::successor => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         Rule::existential => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         Rule::universal => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         Rule::equality => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |         Rule::and => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:76:9
[INFO] [stdout]    |
[INFO] [stdout] 76 |         Rule::or => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:82:9
[INFO] [stdout]    |
[INFO] [stdout] 82 |         Rule::implies => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rule`
[INFO] [stdout]   --> src/parsing/parser.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |         Rule::negation => {
[INFO] [stdout]    |         ^^^^ use of undeclared type `Rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:15:76
[INFO] [stdout]    |
[INFO] [stdout] 15 | pub fn string_to_formula(text: &str) -> Result<Formula, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                            ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:20:70
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn string_to_term(text: &str) -> Result<Term, pest::error::Error<Rule>> {
[INFO] [stdout]    |                                                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:25:35
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn build_term_tree(pair: Pair<Rule>) -> Term {
[INFO] [stdout]    |                                   ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope
[INFO] [stdout]   --> src/parsing/parser.rs:50:38
[INFO] [stdout]    |
[INFO] [stdout] 50 | pub fn build_formula_tree(pair: Pair<Rule>) -> Formula {
[INFO] [stdout]    |                                      ^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 1  + use crate::deduction::Rule;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:16:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 16 |     let mut tree = TntParser::parse(Rule::formula, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no function or associated item named `parse` found for struct `TntParser` in the current scope
[INFO] [stdout]   --> src/parsing/parser.rs:21:31
[INFO] [stdout]    |
[INFO] [stdout] 7  | pub struct TntParser;
[INFO] [stdout]    | -------------------- function or associated item `parse` not found for this struct
[INFO] [stdout] ...
[INFO] [stdout] 21 |     let mut tree = TntParser::parse(Rule::term, text)?;
[INFO] [stdout]    |                               ^^^^^ function or associated item not found in `TntParser`
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is implemented and in scope
[INFO] [stdout]    = note: the following trait defines an item `parse`, perhaps you need to implement it:
[INFO] [stdout]            candidate #1: `Parser`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Parser`
[INFO] [stdout]  --> src/parsing/parser.rs:1:29
[INFO] [stdout]   |
[INFO] [stdout] 1 | use pest::{iterators::Pair, Parser};
[INFO] [stdout]   |                             ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 21 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0433, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tnt` (lib) due to 22 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "d9d154aaf63b86ddd54f5383cc19e526a37cb19b9285ab8cd432dbd065f91863", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9d154aaf63b86ddd54f5383cc19e526a37cb19b9285ab8cd432dbd065f91863", kill_on_drop: false }`
[INFO] [stdout] d9d154aaf63b86ddd54f5383cc19e526a37cb19b9285ab8cd432dbd065f91863
