[INFO] fetching crate rsmt2-zz 0.11.1...
[INFO] checking rsmt2-zz-0.11.1 against try#a7a572ce3edd6d476191fbfe92c9c1986e009b34 for pr-87190-3
[INFO] extracting crate rsmt2-zz 0.11.1 into /workspace/builds/worker-2/source
[INFO] validating manifest of crates.io crate rsmt2-zz 0.11.1 on toolchain a7a572ce3edd6d476191fbfe92c9c1986e009b34
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "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/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded error-chain v0.12.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 73c7a507598230672f55d4fef36b8535cfdeade2546901443ec3781c3b17f091
[INFO] running `Command { std: "docker" "start" "-a" "73c7a507598230672f55d4fef36b8535cfdeade2546901443ec3781c3b17f091", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "73c7a507598230672f55d4fef36b8535cfdeade2546901443ec3781c3b17f091", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "73c7a507598230672f55d4fef36b8535cfdeade2546901443ec3781c3b17f091", kill_on_drop: false }`
[INFO] [stdout] 73c7a507598230672f55d4fef36b8535cfdeade2546901443ec3781c3b17f091
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+a7a572ce3edd6d476191fbfe92c9c1986e009b34" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a7d3400d3e9d546ad390d10f4e207f50437985b8cd1fe363a9da9104f2b8b31d
[INFO] running `Command { std: "docker" "start" "-a" "a7d3400d3e9d546ad390d10f4e207f50437985b8cd1fe363a9da9104f2b8b31d", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] Running `cargo fix --edition`
[INFO] [stderr]    Compiling cc v1.0.69
[INFO] [stderr]     Checking gimli v0.25.0
[INFO] [stderr]     Checking adler v1.0.2
[INFO] [stderr]     Checking rustc-demangle v0.1.20
[INFO] [stderr]    Compiling miniz_oxide v0.4.4
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling backtrace v0.3.61
[INFO] [stderr]     Checking addr2line v0.16.0
[INFO] [stderr]     Checking rsmt2-zz v0.11.1 (/tmp/fixit)
[INFO] [stderr]    Migrating src/lib.rs from 2018 edition to 2021
[INFO] [stderr]        Fixed src/parse.rs (1 fix)
[INFO] [stderr]    Migrating tests/main.rs from 2018 edition to 2021
[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 imports `rsmt2::parse::*`, `rsmt2`, `rsmt2::parse::*`
[INFO] [stdout]    --> tests/main.rs:3:5
[INFO] [stdout]     |
[INFO] [stdout] 3   | use rsmt2::{parse::*, *};
[INFO] [stdout]     |     ^^^^^   ^^^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     use of undeclared crate or module `rsmt2`
[INFO] [stdout] ...
[INFO] [stdout] 256 |         use rsmt2::parse::*;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[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[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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] 
[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]    |                    ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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:54:24
[INFO] [stdout]    |
[INFO] [stdout] 54 |         let mut conf = SmtConf::cvc4();
[INFO] [stdout]    |                        ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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]    |                    ^^^^^^^ not found in this scope
[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]    |                          ^^^^^^ not found in this scope
[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:101:24
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut conf = SmtConf::z3();
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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]     |                                ^^^^^^ not found in this scope
[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]     |                    ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:213:20
[INFO] [stdout]     |
[INFO] [stdout] 213 |         let conf = SmtConf::yices_2();
[INFO] [stdout]     |                    ^^^^^^^ not found in this scope
[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]     |                          ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:259:24
[INFO] [stdout]     |
[INFO] [stdout] 259 |         let mut conf = SmtConf::yices_2();
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[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]     |                                ^^^^^^ not found in this scope
[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 `SmtConf`
[INFO] [stdout]    --> tests/main.rs:298:16
[INFO] [stdout]     |
[INFO] [stdout] 298 |     let conf = SmtConf::z3();
[INFO] [stdout]     |                ^^^^^^^ not found in this scope
[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]     |                      ^^^^^^ not found in this scope
[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: 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` due to 46 previous errors
[INFO] [stderr] error: failed to migrate to next edition
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `cargo fix --edition --allow-no-vcs --allow-dirty --frozen --all --all-targets --message-format=json` (exit status: 101)
[INFO] running `Command { std: "docker" "inspect" "a7d3400d3e9d546ad390d10f4e207f50437985b8cd1fe363a9da9104f2b8b31d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a7d3400d3e9d546ad390d10f4e207f50437985b8cd1fe363a9da9104f2b8b31d", kill_on_drop: false }`
[INFO] [stdout] a7d3400d3e9d546ad390d10f4e207f50437985b8cd1fe363a9da9104f2b8b31d