[INFO] fetching crate falcon-z3 0.5.2...
[INFO] checking falcon-z3-0.5.2 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2
[INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-6-tc1/source
[INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "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-6-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 103 packages to latest compatible versions
[INFO] [stderr]       Adding bad64 v0.6.0 (available: v0.9.0)
[INFO] [stderr]       Adding bad64-sys v0.5.0 (available: v0.7.0)
[INFO] [stderr]       Adding base64 v0.21.7 (available: v0.22.1)
[INFO] [stderr]       Adding bindgen v0.58.1 (available: v0.70.1)
[INFO] [stderr]       Adding bindgen v0.59.2 (available: v0.70.1)
[INFO] [stderr]       Adding bindgen v0.63.0 (available: v0.70.1)
[INFO] [stderr]       Adding bitflags v1.3.2 (available: v2.6.0)
[INFO] [stderr]       Adding cexpr v0.4.0 (available: v0.6.0)
[INFO] [stderr]       Adding clap v2.34.0 (available: v4.5.18)
[INFO] [stderr]       Adding env_logger v0.8.4 (available: v0.11.5)
[INFO] [stderr]       Adding goblin v0.6.1 (available: v0.8.2)
[INFO] [stderr]       Adding hermit-abi v0.1.19 (available: v0.4.0)
[INFO] [stderr]       Adding linux-raw-sys v0.4.14 (available: v0.6.5)
[INFO] [stderr]       Adding nom v5.1.3 (available: v7.1.3)
[INFO] [stderr]       Adding num-derive v0.3.3 (available: v0.4.2)
[INFO] [stderr]       Adding peeking_take_while v0.1.2 (available: v1.0.0)
[INFO] [stderr]       Adding rustc-hash v1.1.0 (available: v2.0.0)
[INFO] [stderr]       Adding scroll v0.11.0 (available: v0.12.0)
[INFO] [stderr]       Adding scroll_derive v0.11.1 (available: v0.12.0)
[INFO] [stderr]       Adding strsim v0.8.0 (available: v0.11.1)
[INFO] [stderr]       Adding syn v1.0.109 (available: v2.0.77)
[INFO] [stderr]       Adding textwrap v0.11.0 (available: v0.16.1)
[INFO] [stderr]       Adding unicode-width v0.1.14 (available: v0.2.0)
[INFO] [stderr]       Adding which v3.1.1 (available: v6.0.3)
[INFO] [stderr]       Adding which v4.4.2 (available: v6.0.3)
[INFO] [stderr]       Adding windows-sys v0.52.0 (available: v0.59.0)
[INFO] [stderr]       Adding z3-sys v0.7.1 (available: v0.8.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cstr_core v0.2.6
[INFO] [stderr]   Downloaded falcon_capstone v0.5.2
[INFO] [stderr]   Downloaded goblin v0.6.1
[INFO] [stderr]   Downloaded falcon v0.5.5
[INFO] [stderr]   Downloaded bindgen v0.63.0
[INFO] [stderr]   Downloaded bad64 v0.6.0
[INFO] [stderr]   Downloaded bad64-sys v0.5.0
[INFO] [stderr]   Downloaded z3-sys v0.7.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6daf1e01ec40097234dd24567ec74ff20d70a4b37e9c92d0e04c87e4c6634172
[INFO] running `Command { std: "docker" "start" "-a" "6daf1e01ec40097234dd24567ec74ff20d70a4b37e9c92d0e04c87e4c6634172", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6daf1e01ec40097234dd24567ec74ff20d70a4b37e9c92d0e04c87e4c6634172", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6daf1e01ec40097234dd24567ec74ff20d70a4b37e9c92d0e04c87e4c6634172", kill_on_drop: false }`
[INFO] [stdout] 6daf1e01ec40097234dd24567ec74ff20d70a4b37e9c92d0e04c87e4c6634172
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] acbcaecf10523d8d10e21bef5b0f70bf65cda804a5330d3df19f705aab37f465
[INFO] running `Command { std: "docker" "start" "-a" "acbcaecf10523d8d10e21bef5b0f70bf65cda804a5330d3df19f705aab37f465", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling libloading v0.8.5
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling jobserver v0.1.32
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rustix v0.38.37
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling cc v1.1.21
[INFO] [stderr]    Compiling bindgen v0.59.2
[INFO] [stderr]    Compiling linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling home v0.5.9
[INFO] [stderr]    Compiling bindgen v0.63.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling cmake v0.1.51
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling scroll_derive v0.11.1
[INFO] [stderr]     Checking cty v0.2.2
[INFO] [stderr]     Checking cstr_core v0.2.6
[INFO] [stderr]     Checking miniz_oxide v0.8.0
[INFO] [stderr]     Checking object v0.36.4
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking scroll v0.11.0
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]    Compiling regex v1.10.6
[INFO] [stderr]     Checking goblin v0.6.1
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]     Checking serde v1.0.210
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]    Compiling bad64-sys v0.5.0
[INFO] [stderr]     Checking serde_json v1.0.128
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling falcon_capstone v0.5.2
[INFO] [stderr]    Compiling z3-sys v0.7.1
[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] 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] 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` implements `From<&'a str>`
[INFO] [stdout]               `error::Error` implements `From<NulError>`
[INFO] [stdout]               `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]               `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]               `error::Error` implements `From<NulError>`
[INFO] [stdout]               `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]               `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[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` implements `From<&'a str>`
[INFO] [stdout]              `error::Error` implements `From<NulError>`
[INFO] [stdout]              `error::Error` implements `From<error::ErrorKind>`
[INFO] [stdout]              `error::Error` implements `From<std::string::String>`
[INFO] [stdout]    = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual<std::result::Result<Infallible, falcon::Error>>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `falcon-z3` (lib) due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 12 previous errors
[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
[INFO] running `Command { std: "docker" "inspect" "acbcaecf10523d8d10e21bef5b0f70bf65cda804a5330d3df19f705aab37f465", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "acbcaecf10523d8d10e21bef5b0f70bf65cda804a5330d3df19f705aab37f465", kill_on_drop: false }`
[INFO] [stdout] acbcaecf10523d8d10e21bef5b0f70bf65cda804a5330d3df19f705aab37f465