[INFO] crate rsmt2-zz 0.11.1 is already in cache [INFO] checking rsmt2-zz-0.11.1 against try#e4dba30b9b475d8750370c4dfb49b6541990904d for pr-71393 [INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-3/source [INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain e4dba30b9b475d8750370c4dfb49b6541990904d [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate rsmt2-zz 0.11.1 [INFO] finished tweaking crates.io crate rsmt2-zz 0.11.1 [INFO] tweaked toml for crates.io crate rsmt2-zz 0.11.1 written to /workspace/builds/worker-3/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+e4dba30b9b475d8750370c4dfb49b6541990904d" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 4cbcd0983e850b9f51e6729d5f0fdeb9c2785f0bedfe9dead89518dc7217b249 [INFO] running `"docker" "start" "-a" "4cbcd0983e850b9f51e6729d5f0fdeb9c2785f0bedfe9dead89518dc7217b249"` [INFO] [stderr] Compiling libc v0.2.69 [INFO] [stderr] Compiling cc v1.0.52 [INFO] [stderr] Checking cfg-if v0.1.10 [INFO] [stderr] Compiling error-chain v0.12.2 [INFO] [stderr] Compiling backtrace-sys v0.1.37 [INFO] [stderr] Checking backtrace v0.3.46 [INFO] [stderr] Checking rsmt2-zz v0.11.1 (/opt/rustwide/workdir) [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `rsmt2` [INFO] [stderr] --> tests/main.rs:3:5 [INFO] [stderr] | [INFO] [stderr] 3 | use rsmt2::{parse::*, *}; [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `rsmt2` [INFO] [stderr] --> tests/main.rs:256:13 [INFO] [stderr] | [INFO] [stderr] 256 | use rsmt2::parse::*; [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0432]: unresolved imports `rsmt2::parse::*`, `rsmt2`, `rsmt2::parse::*` [INFO] [stderr] --> tests/main.rs:3:13 [INFO] [stderr] | [INFO] [stderr] 3 | use rsmt2::{parse::*, *}; [INFO] [stderr] | ^^^^^ ^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | use of undeclared type or module `rsmt2` [INFO] [stderr] ... [INFO] [stderr] 256 | use rsmt2::parse::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0432]: unresolved import `rsmt2` [INFO] [stderr] --> tests/main.rs:257:13 [INFO] [stderr] | [INFO] [stderr] 257 | use rsmt2::*; [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:47:20 [INFO] [stderr] | [INFO] [stderr] 47 | let conf = SmtConf::cvc4(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:48:26 [INFO] [stderr] | [INFO] [stderr] 48 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `rsmt2` [INFO] [stderr] --> tests/main.rs:49:26 [INFO] [stderr] | [INFO] [stderr] 49 | solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:54:24 [INFO] [stderr] | [INFO] [stderr] 54 | let mut conf = SmtConf::cvc4(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:56:26 [INFO] [stderr] | [INFO] [stderr] 56 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:94:20 [INFO] [stderr] | [INFO] [stderr] 94 | let conf = SmtConf::z3(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:95:26 [INFO] [stderr] | [INFO] [stderr] 95 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `rsmt2` [INFO] [stderr] --> tests/main.rs:96:26 [INFO] [stderr] | [INFO] [stderr] 96 | solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:101:24 [INFO] [stderr] | [INFO] [stderr] 101 | let mut conf = SmtConf::z3(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:103:26 [INFO] [stderr] | [INFO] [stderr] 103 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:132:26 [INFO] [stderr] | [INFO] [stderr] 132 | let mut solver = Solver::default(()).unwrap(); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:170:32 [INFO] [stderr] | [INFO] [stderr] 170 | let mut solver = match Solver::default(()) { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:206:20 [INFO] [stderr] | [INFO] [stderr] 206 | let conf = SmtConf::yices_2(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:207:26 [INFO] [stderr] | [INFO] [stderr] 207 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `rsmt2` [INFO] [stderr] --> tests/main.rs:208:26 [INFO] [stderr] | [INFO] [stderr] 208 | solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `rsmt2` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:213:20 [INFO] [stderr] | [INFO] [stderr] 213 | let conf = SmtConf::yices_2(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:214:26 [INFO] [stderr] | [INFO] [stderr] 214 | let mut solver = Solver::new(conf, Parser).expect("solver creation"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:216:26 [INFO] [stderr] | [INFO] [stderr] 216 | solver.set_logic(Logic::QF_LIA).expect("set-logic"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:259:24 [INFO] [stderr] | [INFO] [stderr] 259 | let mut conf = SmtConf::yices_2(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:262:32 [INFO] [stderr] | [INFO] [stderr] 262 | let mut solver = match Solver::new(conf, Parser) { [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:266:26 [INFO] [stderr] | [INFO] [stderr] 266 | solver.set_logic(Logic::QF_LIA).expect("set logic"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `SmtConf` [INFO] [stderr] --> tests/main.rs:298:16 [INFO] [stderr] | [INFO] [stderr] 298 | let conf = SmtConf::z3(); [INFO] [stderr] | ^^^^^^^ use of undeclared type or module `SmtConf` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Solver` [INFO] [stderr] --> tests/main.rs:300:22 [INFO] [stderr] | [INFO] [stderr] 300 | let mut solver = Solver::new(conf, ()).expect("solver"); [INFO] [stderr] | ^^^^^^ use of undeclared type or module `Solver` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:302:22 [INFO] [stderr] | [INFO] [stderr] 302 | solver.set_logic(Logic::QF_UF).expect("QF_UF"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:304:22 [INFO] [stderr] | [INFO] [stderr] 304 | solver.set_logic(Logic::QF_LIA).expect("QF_LIA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:306:22 [INFO] [stderr] | [INFO] [stderr] 306 | solver.set_logic(Logic::QF_NIA).expect("QF_NIA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:308:22 [INFO] [stderr] | [INFO] [stderr] 308 | solver.set_logic(Logic::QF_LRA).expect("QF_LRA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:310:22 [INFO] [stderr] | [INFO] [stderr] 310 | solver.set_logic(Logic::QF_AUFLIA).expect("QF_AUFLIA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:312:22 [INFO] [stderr] | [INFO] [stderr] 312 | solver.set_logic(Logic::AUFLIA).expect("AUFLIA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:314:22 [INFO] [stderr] | [INFO] [stderr] 314 | solver.set_logic(Logic::AUFLIRA).expect("AUFLIRA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:316:22 [INFO] [stderr] | [INFO] [stderr] 316 | solver.set_logic(Logic::AUFNIRA).expect("AUFNIRA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `Logic` [INFO] [stderr] --> tests/main.rs:318:22 [INFO] [stderr] | [INFO] [stderr] 318 | solver.set_logic(Logic::LRA).expect("LRA"); [INFO] [stderr] | ^^^^^ use of undeclared type or module `Logic` [INFO] [stderr] [INFO] [stderr] error[E0405]: cannot find trait `ValueParser` in this scope [INFO] [stderr] --> tests/main.rs:12:10 [INFO] [stderr] | [INFO] [stderr] 12 | impl<'a> ValueParser for Parser { [INFO] [stderr] | ^^^^^^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::parse::ValueParser; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `SmtRes` in this scope [INFO] [stderr] --> tests/main.rs:13:45 [INFO] [stderr] | [INFO] [stderr] 13 | fn parse_value(self, input: &'a str) -> SmtRes { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidates are found in other modules, you can import them into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::SmtRes; [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::errors::SmtRes; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0405]: cannot find trait `ExprParser` in this scope [INFO] [stderr] --> tests/main.rs:17:10 [INFO] [stderr] | [INFO] [stderr] 17 | impl<'a> ExprParser for Parser { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::parse::ExprParser; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `SmtRes` in this scope [INFO] [stderr] --> tests/main.rs:18:51 [INFO] [stderr] | [INFO] [stderr] 18 | fn parse_expr(self, input: &'a str, _: ()) -> SmtRes { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidates are found in other modules, you can import them into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::SmtRes; [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::errors::SmtRes; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0405]: cannot find trait `IdentParser` in this scope [INFO] [stderr] --> tests/main.rs:22:10 [INFO] [stderr] | [INFO] [stderr] 22 | impl<'a> IdentParser for Parser { [INFO] [stderr] | ^^^^^^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::parse::IdentParser; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `SmtRes` in this scope [INFO] [stderr] --> tests/main.rs:23:45 [INFO] [stderr] | [INFO] [stderr] 23 | fn parse_ident(self, input: &'a str) -> SmtRes { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidates are found in other modules, you can import them into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::SmtRes; [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::errors::SmtRes; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `SmtRes` in this scope [INFO] [stderr] --> tests/main.rs:26:44 [INFO] [stderr] | [INFO] [stderr] 26 | fn parse_type(self, input: &'a str) -> SmtRes { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidates are found in other modules, you can import them into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::SmtRes; [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::errors::SmtRes; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0405]: cannot find trait `ModelParser` in this scope [INFO] [stderr] --> tests/main.rs:30:10 [INFO] [stderr] | [INFO] [stderr] 30 | impl<'a> ModelParser for Parser { [INFO] [stderr] | ^^^^^^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::parse::ModelParser; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `SmtRes` in this scope [INFO] [stderr] --> tests/main.rs:37:10 [INFO] [stderr] | [INFO] [stderr] 37 | ) -> SmtRes { [INFO] [stderr] | ^^^^^^ not found in this scope [INFO] [stderr] | [INFO] [stderr] help: possible candidates are found in other modules, you can import them into scope [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::SmtRes; [INFO] [stderr] | [INFO] [stderr] 2 | use rsmt2_zz::errors::SmtRes; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error: aborting due to 45 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0405, E0412, E0432, E0433. [INFO] [stderr] For more information about an error, try `rustc --explain E0405`. [INFO] [stderr] error: could not compile `rsmt2-zz`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] running `"docker" "inspect" "4cbcd0983e850b9f51e6729d5f0fdeb9c2785f0bedfe9dead89518dc7217b249"` [INFO] running `"docker" "rm" "-f" "4cbcd0983e850b9f51e6729d5f0fdeb9c2785f0bedfe9dead89518dc7217b249"` [INFO] [stdout] 4cbcd0983e850b9f51e6729d5f0fdeb9c2785f0bedfe9dead89518dc7217b249