[INFO] fetching crate rsmt2-zz 0.11.1...
[INFO] checking rsmt2-zz-0.11.1 against master#506512391b1a75ae450d36c9420978402a91abcc for pr-125384
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain 506512391b1a75ae450d36c9420978402a91abcc
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-2-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 14 packages to latest compatible versions
[INFO] [stderr]       Adding addr2line v0.21.0 (latest: v0.23.0)
[INFO] [stderr]       Adding gimli v0.28.1 (latest: v0.30.0)
[INFO] [stderr]       Adding object v0.32.2 (latest: v0.36.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 247c07eafaa4764314c9a8a1b383d117fe9c420438780c4626f3d90877509b6f
[INFO] running `Command { std: "docker" "start" "-a" "247c07eafaa4764314c9a8a1b383d117fe9c420438780c4626f3d90877509b6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "247c07eafaa4764314c9a8a1b383d117fe9c420438780c4626f3d90877509b6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "247c07eafaa4764314c9a8a1b383d117fe9c420438780c4626f3d90877509b6f", kill_on_drop: false }`
[INFO] [stdout] 247c07eafaa4764314c9a8a1b383d117fe9c420438780c4626f3d90877509b6f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c8f712aca574e9aa7a23f490e64c35b68a6bb4a2ec2bd3e96cdd532d55680208
[INFO] running `Command { std: "docker" "start" "-a" "c8f712aca574e9aa7a23f490e64c35b68a6bb4a2ec2bd3e96cdd532d55680208", kill_on_drop: false }`
[INFO] [stderr]     Checking gimli v0.28.1
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]    Compiling backtrace v0.3.71
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking miniz_oxide v0.7.3
[INFO] [stderr]     Checking addr2line v0.21.0
[INFO] [stderr]     Checking rsmt2-zz v0.11.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]  --> tests/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use rsmt2::{parse::*, *};
[INFO] [stdout]   |     ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `rsmt2`
[INFO] [stdout]    --> tests/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         use rsmt2::*;
[INFO] [stdout]     |             ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ValueParser` in this scope
[INFO] [stdout]   --> tests/main.rs:12:10
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl<'a> ValueParser<Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ValueParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:13:45
[INFO] [stdout]    |
[INFO] [stdout] 13 |     fn parse_value(self, input: &'a str) -> SmtRes<Val> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ExprParser` in this scope
[INFO] [stdout]   --> tests/main.rs:17:10
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl<'a> ExprParser<Expr, (), &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ExprParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:18:51
[INFO] [stdout]    |
[INFO] [stdout] 18 |     fn parse_expr(self, input: &'a str, _: ()) -> SmtRes<Expr> {
[INFO] [stdout]    |                                                   ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `IdentParser` in this scope
[INFO] [stdout]   --> tests/main.rs:22:10
[INFO] [stdout]    |
[INFO] [stdout] 22 | impl<'a> IdentParser<Ident, Typ, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::IdentParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:23:45
[INFO] [stdout]    |
[INFO] [stdout] 23 |     fn parse_ident(self, input: &'a str) -> SmtRes<Ident> {
[INFO] [stdout]    |                                             ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:26:44
[INFO] [stdout]    |
[INFO] [stdout] 26 |     fn parse_type(self, input: &'a str) -> SmtRes<Typ> {
[INFO] [stdout]    |                                            ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0405]: cannot find trait `ModelParser` in this scope
[INFO] [stdout]   --> tests/main.rs:30:10
[INFO] [stdout]    |
[INFO] [stdout] 30 | impl<'a> ModelParser<Ident, Typ, Val, &'a str> for Parser {
[INFO] [stdout]    |          ^^^^^^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this trait
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::parse::ModelParser;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `SmtRes` in this scope
[INFO] [stdout]   --> tests/main.rs:37:10
[INFO] [stdout]    |
[INFO] [stdout] 37 |     ) -> SmtRes<Val> {
[INFO] [stdout]    |          ^^^^^^ not found in this scope
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this type alias
[INFO] [stdout]    |
[INFO] [stdout] 2  + use rsmt2_zz::SmtRes;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:47:20
[INFO] [stdout]    |
[INFO] [stdout] 47 |         let conf = SmtConf::cvc4();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:48:26
[INFO] [stdout]    |
[INFO] [stdout] 48 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 49 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 49 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:56:26
[INFO] [stdout]    |
[INFO] [stdout] 56 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 44 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]   --> tests/main.rs:94:20
[INFO] [stdout]    |
[INFO] [stdout] 94 |         let conf = SmtConf::z3();
[INFO] [stdout]    |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]   --> tests/main.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]    |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]   --> tests/main.rs:96:26
[INFO] [stdout]    |
[INFO] [stdout] 96 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]    |
[INFO] [stdout] 91 +     use rsmt2_zz::Logic;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 96 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 96 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:132:26
[INFO] [stdout]     |
[INFO] [stdout] 132 |         let mut solver = Solver::default(()).unwrap();
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:170:32
[INFO] [stdout]     |
[INFO] [stdout] 170 |         let mut solver = match Solver::default(()) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 91  +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:206:20
[INFO] [stdout]     |
[INFO] [stdout] 206 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:207:26
[INFO] [stdout]     |
[INFO] [stdout] 207 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rsmt2`
[INFO] [stdout]    --> tests/main.rs:208:26
[INFO] [stdout]     |
[INFO] [stdout] 208 |         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared crate or module `rsmt2`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] help: if you import `Logic`, refer to it directly
[INFO] [stdout]     |
[INFO] [stdout] 208 -         solver.set_logic(rsmt2::Logic::QF_UF).expect("set-logic");
[INFO] [stdout] 208 +         solver.set_logic(Logic::QF_UF).expect("set-logic");
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:214:26
[INFO] [stdout]     |
[INFO] [stdout] 214 |         let mut solver = Solver::new(conf, Parser).expect("solver creation");
[INFO] [stdout]     |                          ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:216:26
[INFO] [stdout]     |
[INFO] [stdout] 216 |         solver.set_logic(Logic::QF_LIA).expect("set-logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:262:32
[INFO] [stdout]     |
[INFO] [stdout] 262 |         let mut solver = match Solver::new(conf, Parser) {
[INFO] [stdout]     |                                ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:266:26
[INFO] [stdout]     |
[INFO] [stdout] 266 |         solver.set_logic(Logic::QF_LIA).expect("set logic");
[INFO] [stdout]     |                          ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 203 +     use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ use of undeclared type `SmtConf`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::SmtConf;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Solver`
[INFO] [stdout]    --> tests/main.rs:300:22
[INFO] [stdout]     |
[INFO] [stdout] 300 |     let mut solver = Solver::new(conf, ()).expect("solver");
[INFO] [stdout]     |                      ^^^^^^ use of undeclared type `Solver`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this struct
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Solver;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:302:22
[INFO] [stdout]     |
[INFO] [stdout] 302 |     solver.set_logic(Logic::QF_UF).expect("QF_UF");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:304:22
[INFO] [stdout]     |
[INFO] [stdout] 304 |     solver.set_logic(Logic::QF_LIA).expect("QF_LIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:306:22
[INFO] [stdout]     |
[INFO] [stdout] 306 |     solver.set_logic(Logic::QF_NIA).expect("QF_NIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:308:22
[INFO] [stdout]     |
[INFO] [stdout] 308 |     solver.set_logic(Logic::QF_LRA).expect("QF_LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:310:22
[INFO] [stdout]     |
[INFO] [stdout] 310 |     solver.set_logic(Logic::QF_AUFLIA).expect("QF_AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:312:22
[INFO] [stdout]     |
[INFO] [stdout] 312 |     solver.set_logic(Logic::AUFLIA).expect("AUFLIA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:314:22
[INFO] [stdout]     |
[INFO] [stdout] 314 |     solver.set_logic(Logic::AUFLIRA).expect("AUFLIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:316:22
[INFO] [stdout]     |
[INFO] [stdout] 316 |     solver.set_logic(Logic::AUFNIRA).expect("AUFNIRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Logic`
[INFO] [stdout]    --> tests/main.rs:318:22
[INFO] [stdout]     |
[INFO] [stdout] 318 |     solver.set_logic(Logic::LRA).expect("LRA");
[INFO] [stdout]     |                      ^^^^^ use of undeclared type `Logic`
[INFO] [stdout]     |
[INFO] [stdout] help: consider importing this enum
[INFO] [stdout]     |
[INFO] [stdout] 2   + use rsmt2_zz::Logic;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 45 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rsmt2-zz` (test "main") due to 46 previous errors
[INFO] running `Command { std: "docker" "inspect" "c8f712aca574e9aa7a23f490e64c35b68a6bb4a2ec2bd3e96cdd532d55680208", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8f712aca574e9aa7a23f490e64c35b68a6bb4a2ec2bd3e96cdd532d55680208", kill_on_drop: false }`
[INFO] [stdout] c8f712aca574e9aa7a23f490e64c35b68a6bb4a2ec2bd3e96cdd532d55680208
[INFO] checking rsmt2-zz-0.11.1 against try#dae34b759e282c069aa28752564694effd121a63 for pr-125384
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-2-tc2/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain dae34b759e282c069aa28752564694effd121a63
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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-2-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 14 packages to latest compatible versions
[INFO] [stderr]       Adding addr2line v0.21.0 (latest: v0.23.0)
[INFO] [stderr]       Adding gimli v0.28.1 (latest: v0.30.0)
[INFO] [stderr]       Adding object v0.32.2 (latest: v0.36.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8ec425ec6c5ea3143337bda449bf58abd473a7bdcdfeaf04798a41f73d7733e0
[INFO] running `Command { std: "docker" "start" "-a" "8ec425ec6c5ea3143337bda449bf58abd473a7bdcdfeaf04798a41f73d7733e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8ec425ec6c5ea3143337bda449bf58abd473a7bdcdfeaf04798a41f73d7733e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ec425ec6c5ea3143337bda449bf58abd473a7bdcdfeaf04798a41f73d7733e0", kill_on_drop: false }`
[INFO] [stdout] 8ec425ec6c5ea3143337bda449bf58abd473a7bdcdfeaf04798a41f73d7733e0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a6e1f154e2796ae273d042cc4e262b87da7f288a8730b66a8e0da700de84bd75
[INFO] running `Command { std: "docker" "start" "-a" "a6e1f154e2796ae273d042cc4e262b87da7f288a8730b66a8e0da700de84bd75", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] skipping non-2021 edition `2018`
[INFO] running `Command { std: "docker" "inspect" "a6e1f154e2796ae273d042cc4e262b87da7f288a8730b66a8e0da700de84bd75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6e1f154e2796ae273d042cc4e262b87da7f288a8730b66a8e0da700de84bd75", kill_on_drop: false }`
[INFO] [stdout] a6e1f154e2796ae273d042cc4e262b87da7f288a8730b66a8e0da700de84bd75