[INFO] fetching crate falcon-z3 0.5.2...
[INFO] checking falcon-z3-0.5.2 against master#c2f2db79ca3024f68d22b45aa22b570775c2c4ad for pr-124157
[INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-5-tc1/source
[INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain c2f2db79ca3024f68d22b45aa22b570775c2c4ad
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "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-5-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "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 addr2line v0.21.0 (latest: v0.22.0)
[INFO] [stderr]       Adding bad64 v0.6.0 (latest: v0.9.0)
[INFO] [stderr]       Adding bad64-sys v0.5.0 (latest: v0.7.0)
[INFO] [stderr]       Adding base64 v0.21.7 (latest: v0.22.1)
[INFO] [stderr]       Adding bindgen v0.58.1 (latest: v0.69.4)
[INFO] [stderr]       Adding bindgen v0.59.2 (latest: v0.69.4)
[INFO] [stderr]       Adding bindgen v0.63.0 (latest: v0.69.4)
[INFO] [stderr]       Adding bitflags v1.3.2 (latest: v2.5.0)
[INFO] [stderr]       Adding cexpr v0.4.0 (latest: v0.6.0)
[INFO] [stderr]       Adding clap v2.34.0 (latest: v4.5.4)
[INFO] [stderr]       Adding env_logger v0.8.4 (latest: v0.11.3)
[INFO] [stderr]       Adding gimli v0.28.1 (latest: v0.29.0)
[INFO] [stderr]       Adding goblin v0.6.1 (latest: v0.8.2)
[INFO] [stderr]       Adding hermit-abi v0.1.19 (latest: v0.3.9)
[INFO] [stderr]       Adding linux-raw-sys v0.4.13 (latest: v0.6.4)
[INFO] [stderr]       Adding nom v5.1.3 (latest: v7.1.3)
[INFO] [stderr]       Adding num-derive v0.3.3 (latest: v0.4.2)
[INFO] [stderr]       Adding object v0.32.2 (latest: v0.35.0)
[INFO] [stderr]       Adding peeking_take_while v0.1.2 (latest: v1.0.0)
[INFO] [stderr]       Adding scroll v0.11.0 (latest: v0.12.0)
[INFO] [stderr]       Adding scroll_derive v0.11.1 (latest: v0.12.0)
[INFO] [stderr]       Adding strsim v0.8.0 (latest: v0.11.1)
[INFO] [stderr]       Adding syn v1.0.109 (latest: v2.0.60)
[INFO] [stderr]       Adding textwrap v0.11.0 (latest: v0.16.1)
[INFO] [stderr]       Adding which v3.1.1 (latest: v6.0.1)
[INFO] [stderr]       Adding which v4.4.2 (latest: v6.0.1)
[INFO] [stderr]       Adding z3-sys v0.7.1 (latest: v0.8.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded scroll_derive v0.11.1
[INFO] [stderr]   Downloaded scroll v0.11.0
[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 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-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7e4a828f8f87229a7bfb18d925cd1720d01a1945d2a8b9176c3a7219612f957d
[INFO] running `Command { std: "docker" "start" "-a" "7e4a828f8f87229a7bfb18d925cd1720d01a1945d2a8b9176c3a7219612f957d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e4a828f8f87229a7bfb18d925cd1720d01a1945d2a8b9176c3a7219612f957d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e4a828f8f87229a7bfb18d925cd1720d01a1945d2a8b9176c3a7219612f957d", kill_on_drop: false }`
[INFO] [stdout] 7e4a828f8f87229a7bfb18d925cd1720d01a1945d2a8b9176c3a7219612f957d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 42848234875c9625cb104a788eafca37296f31d51918a11275b9f0f78e7883a0
[INFO] running `Command { std: "docker" "start" "-a" "42848234875c9625cb104a788eafca37296f31d51918a11275b9f0f78e7883a0", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling clang-sys v1.7.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling libloading v0.8.3
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling jobserver v0.1.31
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling cc v1.0.96
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling linux-raw-sys v0.4.13
[INFO] [stderr]    Compiling bindgen v0.59.2
[INFO] [stderr]    Compiling home v0.5.9
[INFO] [stderr]    Compiling bindgen v0.63.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling serde v1.0.200
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling serde_derive v1.0.200
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling backtrace v0.3.71
[INFO] [stderr]    Compiling num-bigint v0.4.4
[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 num-integer v0.1.46
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking static_assertions v1.1.0
[INFO] [stderr]     Checking base64 v0.21.7
[INFO] [stderr]    Compiling regex v1.10.4
[INFO] [stderr]     Checking scroll v0.11.0
[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]    Compiling bad64-sys v0.5.0
[INFO] [stderr]     Checking serde_json v1.0.116
[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] 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 as From<&'a str>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as 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 as From<&'a str>>
[INFO] [stdout]               <error::Error as From<NulError>>
[INFO] [stdout]               <error::Error as From<error::ErrorKind>>
[INFO] [stdout]               <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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: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<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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 as From<&'a str>>
[INFO] [stdout]              <error::Error as From<NulError>>
[INFO] [stdout]              <error::Error as From<error::ErrorKind>>
[INFO] [stdout]              <error::Error as 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] [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" "42848234875c9625cb104a788eafca37296f31d51918a11275b9f0f78e7883a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "42848234875c9625cb104a788eafca37296f31d51918a11275b9f0f78e7883a0", kill_on_drop: false }`
[INFO] [stdout] 42848234875c9625cb104a788eafca37296f31d51918a11275b9f0f78e7883a0
