[INFO] fetching crate falcon-z3 0.5.2...
[INFO] checking falcon-z3-0.5.2 against master#30f74ff0dc4d66debc8b50724c446f817e5f75f4 for pr-121848-1
[INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain 30f74ff0dc4d66debc8b50724c446f817e5f75f4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate falcon-z3 0.5.2
[INFO] finished tweaking crates.io crate falcon-z3 0.5.2
[INFO] tweaked toml for crates.io crate falcon-z3 0.5.2 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded peeking_take_while v0.1.2
[INFO] [stderr]   Downloaded which v3.1.1
[INFO] [stderr]   Downloaded cty v0.2.2
[INFO] [stderr]   Downloaded scroll_derive v0.11.1
[INFO] [stderr]   Downloaded termcolor v1.4.1
[INFO] [stderr]   Downloaded lazycell v1.3.0
[INFO] [stderr]   Downloaded cstr_core v0.2.6
[INFO] [stderr]   Downloaded num-derive v0.3.3
[INFO] [stderr]   Downloaded cexpr v0.6.0
[INFO] [stderr]   Downloaded jobserver v0.1.28
[INFO] [stderr]   Downloaded base64 v0.21.7
[INFO] [stderr]   Downloaded bindgen v0.59.2
[INFO] [stderr]   Downloaded minimal-lexical v0.2.1
[INFO] [stderr]   Downloaded bad64 v0.6.0
[INFO] [stderr]   Downloaded nom v7.1.3
[INFO] [stderr]   Downloaded bindgen v0.63.0
[INFO] [stderr]   Downloaded goblin v0.6.1
[INFO] [stderr]   Downloaded falcon v0.5.5
[INFO] [stderr]   Downloaded num-bigint v0.4.4
[INFO] [stderr]   Downloaded nom v5.1.3
[INFO] [stderr]   Downloaded bad64-sys v0.5.0
[INFO] [stderr]   Downloaded bindgen v0.58.1
[INFO] [stderr]   Downloaded fs_extra v1.3.0
[INFO] [stderr]   Downloaded clang-sys v1.7.0
[INFO] [stderr]   Downloaded which v4.4.2
[INFO] [stderr]   Downloaded cmake v0.1.50
[INFO] [stderr]   Downloaded falcon_capstone v0.5.2
[INFO] [stderr]   Downloaded plain v0.2.3
[INFO] [stderr]   Downloaded scroll v0.11.0
[INFO] [stderr]   Downloaded cexpr v0.4.0
[INFO] [stderr]   Downloaded libloading v0.8.3
[INFO] [stderr]   Downloaded winapi-util v0.1.6
[INFO] [stderr]   Downloaded env_logger v0.8.4
[INFO] [stderr]   Downloaded shlex v1.3.0
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 006719a25dc464f1efee90decd398a86b3fc368ae198180b53f16cf5db1f93ce
[INFO] running `Command { std: "docker" "start" "-a" "006719a25dc464f1efee90decd398a86b3fc368ae198180b53f16cf5db1f93ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "006719a25dc464f1efee90decd398a86b3fc368ae198180b53f16cf5db1f93ce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "006719a25dc464f1efee90decd398a86b3fc368ae198180b53f16cf5db1f93ce", kill_on_drop: false }`
[INFO] [stdout] 006719a25dc464f1efee90decd398a86b3fc368ae198180b53f16cf5db1f93ce
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=forbid" "-e" "RUSTDOCFLAGS=--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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5a9e0afc803802cb071719b802690f5775e20ed278b19bf595988e62a0ecba99
[INFO] running `Command { std: "docker" "start" "-a" "5a9e0afc803802cb071719b802690f5775e20ed278b19bf595988e62a0ecba99", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.79
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling libloading v0.8.3
[INFO] [stderr]    Compiling rustix v0.38.32
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling bindgen v0.59.2
[INFO] [stderr]    Compiling linux-raw-sys v0.4.13
[INFO] [stderr]    Compiling bitflags v2.5.0
[INFO] [stderr]    Compiling home v0.5.9
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling bindgen v0.63.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling num-traits v0.2.18
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling clang-sys v1.7.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling thiserror v1.0.58
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling serde_json v1.0.115
[INFO] [stderr]     Checking gimli v0.28.1
[INFO] [stderr]     Checking cty v0.2.2
[INFO] [stderr]     Checking miniz_oxide v0.7.2
[INFO] [stderr]     Checking cstr_core v0.2.6
[INFO] [stderr]    Compiling syn v2.0.57
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking ryu v1.0.17
[INFO] [stderr]     Checking rustc-demangle v0.1.23
[INFO] [stderr]     Checking base64 v0.21.7
[INFO] [stderr]    Compiling jobserver v0.1.28
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling cc v1.0.90
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]     Checking addr2line v0.21.0
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling scroll_derive v0.11.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.58
[INFO] [stderr]    Compiling backtrace v0.3.71
[INFO] [stderr]     Checking scroll v0.11.0
[INFO] [stderr]     Checking goblin v0.6.1
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]    Compiling bad64-sys v0.5.0
[INFO] [stderr]    Compiling z3-sys v0.7.1
[INFO] [stderr]    Compiling falcon_capstone v0.5.2
[INFO] [stderr]     Checking bad64 v0.6.0
[INFO] [stderr]     Checking falcon v0.5.5
[INFO] [stderr]     Checking falcon-z3 v0.5.2 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: could not find `error` in `falcon`
[INFO] [stdout]   --> lib/lib.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Falcon(::falcon::error::Error);
[INFO] [stdout]    |                              ^^^^^ could not find `error` in `falcon`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use std::error;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `error`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 31 -             Falcon(::falcon::error::Error);
[INFO] [stdout] 31 +             Falcon(error::Error);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/ast.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/config.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/context.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/model.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/optimize.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/solver.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/sort.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `error` in `falcon`
[INFO] [stdout]   --> lib/lib.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Falcon(::falcon::error::Error);
[INFO] [stdout]    |                              ^^^^^ could not find `error` in `falcon`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use std::error;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `error`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 31 -             Falcon(::falcon::error::Error);
[INFO] [stdout] 31 +             Falcon(error::Error);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/ast.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/config.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/context.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/model.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/optimize.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/solver.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/sort.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]    --> lib/il.rs:384:81
[INFO] [stdout]     |
[INFO] [stdout] 381 | fn test_maximize() -> Result<()> {
[INFO] [stdout]     |                       ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 384 |     let constraint = il::Expression::cmpltu(rdx.clone(), il::expr_const(27, 64))?;
[INFO] [stdout]     |                      -----------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]     = help: the following other types implement trait `From<T>`:
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<std::string::String>>
[INFO] [stdout]               <error::Error as From<&'a str>>
[INFO] [stdout]     = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]    --> lib/il.rs:397:81
[INFO] [stdout]     |
[INFO] [stdout] 394 | fn test_minimize() -> Result<()> {
[INFO] [stdout]     |                       ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 397 |     let constraint = il::Expression::cmpltu(il::expr_const(27, 64), rdx.clone())?;
[INFO] [stdout]     |                      -----------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]     = help: the following other types implement trait `From<T>`:
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<std::string::String>>
[INFO] [stdout]               <error::Error as From<&'a str>>
[INFO] [stdout]     = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:68:96
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn rdx() -> Result<()> {
[INFO] [stdout]    |             ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 68 |     let constraint0 = il::Expression::cmpneq(il::expr_const(0, 64), il::expr_scalar("rdx", 64))?;
[INFO] [stdout]    |                       -------------------------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:73:6
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 70 |       let constraint1 = il::Expression::cmpneq(
[INFO] [stdout]    |  _______________________-
[INFO] [stdout] 71 | |         il::expr_const(0xffffffff_ffffffff, 64),
[INFO] [stdout] 72 | |         il::expr_scalar("rdx", 64),
[INFO] [stdout] 73 | |     )?;
[INFO] [stdout]    | |     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____|
[INFO] [stdout]    |       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:81:99
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn rdx() -> Result<()> {
[INFO] [stdout]    |             ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 81 |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout]    |                             ----------------------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 80 | /                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] 82 | |                             il::expr_const(0x7FFFFFFFFF, 64),
[INFO] [stdout] 83 | |                         )?,
[INFO] [stdout]    | |                         -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________________________|
[INFO] [stdout]    |                           this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:85:22
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 79 | /                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] 82 | |                             il::expr_const(0x7FFFFFFFFF, 64),
[INFO] [stdout] 83 | |                         )?,
[INFO] [stdout] 84 | |                         il::expr_const(1, 64),
[INFO] [stdout] 85 | |                     )?,
[INFO] [stdout]    | |                     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____________________|
[INFO] [stdout]    |                       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 78 | /                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] ...  |
[INFO] [stdout] 86 | |                     il::expr_const(0x30, 64),
[INFO] [stdout] 87 | |                 )?,
[INFO] [stdout]    | |                 -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________________|
[INFO] [stdout]    |                   this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:89:14
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 77 | /             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] ...  |
[INFO] [stdout] 88 | |                 il::expr_const(0, 64),
[INFO] [stdout] 89 | |             )?,
[INFO] [stdout]    | |             -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____________|
[INFO] [stdout]    |               this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:91:10
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 76 | /         il::Expression::cmpeq(
[INFO] [stdout] 77 | |             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] ...  |
[INFO] [stdout] 90 | |             il::expr_const(0, 1),
[INFO] [stdout] 91 | |         )?,
[INFO] [stdout]    | |         -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________|
[INFO] [stdout]    |           this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:93:6
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 75 |       let constraint2 = il::Expression::cmpeq(
[INFO] [stdout]    |  _______________________-
[INFO] [stdout] 76 | |         il::Expression::cmpeq(
[INFO] [stdout] 77 | |             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] ...  |
[INFO] [stdout] 92 | |         il::expr_const(0, 1),
[INFO] [stdout] 93 | |     )?;
[INFO] [stdout]    | |     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____|
[INFO] [stdout]    |       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error; 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `falcon-z3` (lib) due to 2 previous errors; 7 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 12 previous errors; 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `falcon-z3` (lib test) due to 13 previous errors; 7 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "5a9e0afc803802cb071719b802690f5775e20ed278b19bf595988e62a0ecba99", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5a9e0afc803802cb071719b802690f5775e20ed278b19bf595988e62a0ecba99", kill_on_drop: false }`
[INFO] [stdout] 5a9e0afc803802cb071719b802690f5775e20ed278b19bf595988e62a0ecba99
[INFO] checking falcon-z3-0.5.2 against try#72eda894eb3548c7ba774079ce0afab42958d4ee for pr-121848-1
[INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain 72eda894eb3548c7ba774079ce0afab42958d4ee
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+72eda894eb3548c7ba774079ce0afab42958d4ee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate falcon-z3 0.5.2
[INFO] finished tweaking crates.io crate falcon-z3 0.5.2
[INFO] tweaked toml for crates.io crate falcon-z3 0.5.2 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+72eda894eb3548c7ba774079ce0afab42958d4ee" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+72eda894eb3548c7ba774079ce0afab42958d4ee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+72eda894eb3548c7ba774079ce0afab42958d4ee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 38a4c07cb99df1cb9bffafdbef6af568ef59e8456d268681569e657cdc8b19db
[INFO] running `Command { std: "docker" "start" "-a" "38a4c07cb99df1cb9bffafdbef6af568ef59e8456d268681569e657cdc8b19db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "38a4c07cb99df1cb9bffafdbef6af568ef59e8456d268681569e657cdc8b19db", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38a4c07cb99df1cb9bffafdbef6af568ef59e8456d268681569e657cdc8b19db", kill_on_drop: false }`
[INFO] [stdout] 38a4c07cb99df1cb9bffafdbef6af568ef59e8456d268681569e657cdc8b19db
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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=forbid" "-e" "RUSTDOCFLAGS=--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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+72eda894eb3548c7ba774079ce0afab42958d4ee" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 200e7ec6fd2879ad2fea15959d110641875f52ee855a0773f7f123b146ea3b00
[INFO] running `Command { std: "docker" "start" "-a" "200e7ec6fd2879ad2fea15959d110641875f52ee855a0773f7f123b146ea3b00", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.79
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling autocfg v1.2.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling libloading v0.8.3
[INFO] [stderr]    Compiling rustix v0.38.32
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.4.13
[INFO] [stderr]    Compiling bindgen v0.59.2
[INFO] [stderr]    Compiling bitflags v2.5.0
[INFO] [stderr]    Compiling either v1.10.0
[INFO] [stderr]    Compiling home v0.5.9
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling bindgen v0.63.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling num-traits v0.2.18
[INFO] [stderr]    Compiling clang-sys v1.7.0
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling serde v1.0.197
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling serde_json v1.0.115
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]     Checking cty v0.2.2
[INFO] [stderr]    Compiling syn v2.0.57
[INFO] [stderr]     Checking gimli v0.28.1
[INFO] [stderr]    Compiling thiserror v1.0.58
[INFO] [stderr]     Checking miniz_oxide v0.7.2
[INFO] [stderr]     Checking cstr_core v0.2.6
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking ryu v1.0.17
[INFO] [stderr]     Checking rustc-demangle v0.1.23
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking itoa v1.0.11
[INFO] [stderr]     Checking base64 v0.21.7
[INFO] [stderr]    Compiling jobserver v0.1.28
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling cc v1.0.90
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]     Checking addr2line v0.21.0
[INFO] [stderr]    Compiling serde_derive v1.0.197
[INFO] [stderr]    Compiling scroll_derive v0.11.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.58
[INFO] [stderr]    Compiling backtrace v0.3.71
[INFO] [stderr]     Checking scroll v0.11.0
[INFO] [stderr]     Checking goblin v0.6.1
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]    Compiling bad64-sys v0.5.0
[INFO] [stderr]    Compiling z3-sys v0.7.1
[INFO] [stderr]    Compiling falcon_capstone v0.5.2
[INFO] [stderr]     Checking bad64 v0.6.0
[INFO] [stderr]     Checking falcon v0.5.5
[INFO] [stderr]     Checking falcon-z3 v0.5.2 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0433]: failed to resolve: could not find `error` in `falcon`
[INFO] [stdout]   --> lib/lib.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Falcon(::falcon::error::Error);
[INFO] [stdout]    |                              ^^^^^ could not find `error` in `falcon`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use std::error;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `error`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 31 -             Falcon(::falcon::error::Error);
[INFO] [stdout] 31 +             Falcon(error::Error);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/ast.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/config.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/context.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/model.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/optimize.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/solver.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/sort.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `error` in `falcon`
[INFO] [stdout]   --> lib/lib.rs:31:30
[INFO] [stdout]    |
[INFO] [stdout] 31 |             Falcon(::falcon::error::Error);
[INFO] [stdout]    |                              ^^^^^ could not find `error` in `falcon`
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this module
[INFO] [stdout]    |
[INFO] [stdout] 26 +     use std::error;
[INFO] [stdout]    |
[INFO] [stdout] help: if you import `error`, refer to it directly
[INFO] [stdout]    |
[INFO] [stdout] 31 -             Falcon(::falcon::error::Error);
[INFO] [stdout] 31 +             Falcon(error::Error);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/ast.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/config.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/context.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/model.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/optimize.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/solver.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the item `z3_sys` is imported redundantly
[INFO] [stdout]  --> lib/sort.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use z3_sys;
[INFO] [stdout]   |     ^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]  ::: lib/lib.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | extern crate z3_sys;
[INFO] [stdout]   | -------------------- the item `z3_sys` is already imported here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]    --> lib/il.rs:384:81
[INFO] [stdout]     |
[INFO] [stdout] 381 | fn test_maximize() -> Result<()> {
[INFO] [stdout]     |                       ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 384 |     let constraint = il::Expression::cmpltu(rdx.clone(), il::expr_const(27, 64))?;
[INFO] [stdout]     |                      -----------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]     = help: the following other types implement trait `From<T>`:
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<std::string::String>>
[INFO] [stdout]               <error::Error as From<&'a str>>
[INFO] [stdout]     = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]    --> lib/il.rs:397:81
[INFO] [stdout]     |
[INFO] [stdout] 394 | fn test_minimize() -> Result<()> {
[INFO] [stdout]     |                       ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 397 |     let constraint = il::Expression::cmpltu(il::expr_const(27, 64), rdx.clone())?;
[INFO] [stdout]     |                      -----------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]     = help: the following other types implement trait `From<T>`:
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<std::string::String>>
[INFO] [stdout]               <error::Error as From<&'a str>>
[INFO] [stdout]     = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:68:96
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn rdx() -> Result<()> {
[INFO] [stdout]    |             ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 68 |     let constraint0 = il::Expression::cmpneq(il::expr_const(0, 64), il::expr_scalar("rdx", 64))?;
[INFO] [stdout]    |                       -------------------------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    |                       |
[INFO] [stdout]    |                       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:73:6
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 70 |       let constraint1 = il::Expression::cmpneq(
[INFO] [stdout]    |  _______________________-
[INFO] [stdout] 71 | |         il::expr_const(0xffffffff_ffffffff, 64),
[INFO] [stdout] 72 | |         il::expr_scalar("rdx", 64),
[INFO] [stdout] 73 | |     )?;
[INFO] [stdout]    | |     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____|
[INFO] [stdout]    |       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:81:99
[INFO] [stdout]    |
[INFO] [stdout] 63 | fn rdx() -> Result<()> {
[INFO] [stdout]    |             ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 81 |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout]    |                             ----------------------------------------------------------------------^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    |                             |
[INFO] [stdout]    |                             this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 80 | /                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] 82 | |                             il::expr_const(0x7FFFFFFFFF, 64),
[INFO] [stdout] 83 | |                         )?,
[INFO] [stdout]    | |                         -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________________________|
[INFO] [stdout]    |                           this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:85:22
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 79 | /                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] 82 | |                             il::expr_const(0x7FFFFFFFFF, 64),
[INFO] [stdout] 83 | |                         )?,
[INFO] [stdout] 84 | |                         il::expr_const(1, 64),
[INFO] [stdout] 85 | |                     )?,
[INFO] [stdout]    | |                     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____________________|
[INFO] [stdout]    |                       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:87:18
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 78 | /                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] 81 | |                             il::Expression::mul(il::expr_scalar("rdx", 64), il::expr_const(1, 64))?,
[INFO] [stdout] ...  |
[INFO] [stdout] 86 | |                     il::expr_const(0x30, 64),
[INFO] [stdout] 87 | |                 )?,
[INFO] [stdout]    | |                 -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________________|
[INFO] [stdout]    |                   this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:89:14
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 77 | /             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] 80 | |                         il::Expression::add(
[INFO] [stdout] ...  |
[INFO] [stdout] 88 | |                 il::expr_const(0, 64),
[INFO] [stdout] 89 | |             )?,
[INFO] [stdout]    | |             -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____________|
[INFO] [stdout]    |               this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:91:10
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 76 | /         il::Expression::cmpeq(
[INFO] [stdout] 77 | |             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] 79 | |                     il::Expression::sub(
[INFO] [stdout] ...  |
[INFO] [stdout] 90 | |             il::expr_const(0, 1),
[INFO] [stdout] 91 | |         )?,
[INFO] [stdout]    | |         -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_________|
[INFO] [stdout]    |           this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: `?` couldn't convert the error to `error::Error`
[INFO] [stdout]   --> lib/lib.rs:93:6
[INFO] [stdout]    |
[INFO] [stdout] 63 |   fn rdx() -> Result<()> {
[INFO] [stdout]    |               ---------- expected `error::Error` because of this
[INFO] [stdout] ...
[INFO] [stdout] 75 |       let constraint2 = il::Expression::cmpeq(
[INFO] [stdout]    |  _______________________-
[INFO] [stdout] 76 | |         il::Expression::cmpeq(
[INFO] [stdout] 77 | |             il::Expression::cmpeq(
[INFO] [stdout] 78 | |                 il::Expression::shr(
[INFO] [stdout] ...  |
[INFO] [stdout] 92 | |         il::expr_const(0, 1),
[INFO] [stdout] 93 | |     )?;
[INFO] [stdout]    | |     -^ the trait `From<falcon::Error>` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout]    | |_____|
[INFO] [stdout]    |       this can't be annotated with `?` because it has type `Result<_, falcon::Error>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = help: the following other types implement trait `From<T>`:
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<std::string::String>>
[INFO] [stdout]              <error::Error as From<&'a str>>
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error; 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `falcon-z3` (lib) due to 2 previous errors; 7 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 12 previous errors; 7 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0277, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `falcon-z3` (lib test) due to 13 previous errors; 7 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "200e7ec6fd2879ad2fea15959d110641875f52ee855a0773f7f123b146ea3b00", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "200e7ec6fd2879ad2fea15959d110641875f52ee855a0773f7f123b146ea3b00", kill_on_drop: false }`
[INFO] [stdout] 200e7ec6fd2879ad2fea15959d110641875f52ee855a0773f7f123b146ea3b00
