[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] 718159a8907618d2c0f0867e0e8e9f61f5750799 [INFO] testing SymmetricChaos/tnt against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt" "/workspace/builds/worker-17/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-17/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/SymmetricChaos/tnt on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "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-17/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: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e25e067aa1c6f1b849daa0dbe75ae02507f2a1b1caf7fd71aa16c554c21c6e1b [INFO] running `Command { std: "docker" "start" "-a" "e25e067aa1c6f1b849daa0dbe75ae02507f2a1b1caf7fd71aa16c554c21c6e1b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e25e067aa1c6f1b849daa0dbe75ae02507f2a1b1caf7fd71aa16c554c21c6e1b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e25e067aa1c6f1b849daa0dbe75ae02507f2a1b1caf7fd71aa16c554c21c6e1b", kill_on_drop: false }` [INFO] [stdout] e25e067aa1c6f1b849daa0dbe75ae02507f2a1b1caf7fd71aa16c554c21c6e1b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] db9d2f0359430a6c3164c70b35a18febeaaac66ae00622a4c76f6733ee0fb999 [INFO] running `Command { std: "docker" "start" "-a" "db9d2f0359430a6c3164c70b35a18febeaaac66ae00622a4c76f6733ee0fb999", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.32 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling syn v1.0.81 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling pest v2.1.3 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling rand_core v0.6.2 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling pest_meta v2.1.3 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling rand v0.8.3 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling fancy-regex v0.5.0 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Compiling num v0.4.0 [INFO] [stderr] Compiling tnt v1.0.1 (/opt/rustwide/workdir) [INFO] [stdout] error: proc-macro derive panicked [INFO] [stdout] --> src/parsing/parser.rs:6:10 [INFO] [stdout] | [INFO] [stdout] 6 | #[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:18:37 [INFO] [stdout] | [INFO] [stdout] 18 | 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:23:37 [INFO] [stdout] | [INFO] [stdout] 23 | 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:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | 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:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | Rule::variable => { [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::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:41:9 [INFO] [stdout] | [INFO] [stdout] 41 | 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:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | 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:58:9 [INFO] [stdout] | [INFO] [stdout] 58 | 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:64:9 [INFO] [stdout] | [INFO] [stdout] 64 | 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:70:9 [INFO] [stdout] | [INFO] [stdout] 70 | 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:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | 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:82:9 [INFO] [stdout] | [INFO] [stdout] 82 | 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:88:9 [INFO] [stdout] | [INFO] [stdout] 88 | 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:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | 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:11:43 [INFO] [stdout] | [INFO] [stdout] 11 | pub fn print_parse_tree(text: &str, rule: Rule) -> Result<(),pest::error::Error> { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope [INFO] [stdout] --> src/parsing/parser.rs:11:81 [INFO] [stdout] | [INFO] [stdout] 11 | pub fn print_parse_tree(text: &str, rule: Rule) -> Result<(),pest::error::Error> { [INFO] [stdout] | - help: you might be missing a type parameter: `` ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope [INFO] [stdout] --> src/parsing/parser.rs:17:72 [INFO] [stdout] | [INFO] [stdout] 17 | pub fn formula_to_ast(text: &str) -> Result> { [INFO] [stdout] | - ^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope [INFO] [stdout] --> src/parsing/parser.rs:22:66 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn term_to_ast(text: &str) -> Result> { [INFO] [stdout] | - ^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope [INFO] [stdout] --> src/parsing/parser.rs:29:35 [INFO] [stdout] | [INFO] [stdout] 29 | pub fn build_term_tree(pair: Pair) -> Term { [INFO] [stdout] | - ^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rule` in this scope [INFO] [stdout] --> src/parsing/parser.rs:56:38 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn build_formula_tree(pair: Pair) -> Formula { [INFO] [stdout] | - ^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary trailing semicolon [INFO] [stdout] --> src/parsing/formula_tree.rs:106:45 [INFO] [stdout] | [INFO] [stdout] 106 | vec.extend(term.get_vars());; [INFO] [stdout] | ^ help: remove this semicolon [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(redundant_semicolons)]` on by default [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:12:27 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct TntParser; [INFO] [stdout] | --------------------- function or associated item `parse` not found for this [INFO] [stdout] ... [INFO] [stdout] 12 | let tree = TntParser::parse(rule, 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:18:31 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct TntParser; [INFO] [stdout] | --------------------- function or associated item `parse` not found for this [INFO] [stdout] ... [INFO] [stdout] 18 | 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:23:31 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct TntParser; [INFO] [stdout] | --------------------- function or associated item `parse` not found for this [INFO] [stdout] ... [INFO] [stdout] 23 | 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:12 [INFO] [stdout] | [INFO] [stdout] 1 | use pest::{Parser, iterators::Pair}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 24 previous errors; 2 warnings 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` due to 25 previous errors; 2 warnings emitted [INFO] running `Command { std: "docker" "inspect" "db9d2f0359430a6c3164c70b35a18febeaaac66ae00622a4c76f6733ee0fb999", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "db9d2f0359430a6c3164c70b35a18febeaaac66ae00622a4c76f6733ee0fb999", kill_on_drop: false }` [INFO] [stdout] db9d2f0359430a6c3164c70b35a18febeaaac66ae00622a4c76f6733ee0fb999