[INFO] fetching crate falcon-z3 0.5.2...
[INFO] checking falcon-z3-0.5.2 against master#b0696a5160711c068cb1f01b7437db7990d15750 for pr-121848
[INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain b0696a5160711c068cb1f01b7437db7990d15750
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b0696a5160711c068cb1f01b7437db7990d15750" "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-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b0696a5160711c068cb1f01b7437db7990d15750" "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" "+b0696a5160711c068cb1f01b7437db7990d15750" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded scroll_derive v0.11.1
[INFO] [stderr]   Downloaded falcon_capstone v0.5.2
[INFO] [stderr]   Downloaded scroll v0.11.0
[INFO] [stderr]   Downloaded falcon v0.5.5
[INFO] [stderr]   Downloaded goblin v0.6.1
[INFO] [stderr]   Downloaded bad64 v0.6.0
[INFO] [stderr]   Downloaded bindgen v0.58.1
[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-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+b0696a5160711c068cb1f01b7437db7990d15750" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c0d4bee750d8f7ecbb5500263764716f2849348745c3377099e3ac239e8c95a6
[INFO] running `Command { std: "docker" "start" "-a" "c0d4bee750d8f7ecbb5500263764716f2849348745c3377099e3ac239e8c95a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c0d4bee750d8f7ecbb5500263764716f2849348745c3377099e3ac239e8c95a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0d4bee750d8f7ecbb5500263764716f2849348745c3377099e3ac239e8c95a6", kill_on_drop: false }`
[INFO] [stdout] c0d4bee750d8f7ecbb5500263764716f2849348745c3377099e3ac239e8c95a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+b0696a5160711c068cb1f01b7437db7990d15750" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 23d8309f528836db1724a1b33c6267a8b9604b6533b11eb19e127201db0705c8
[INFO] running `Command { std: "docker" "start" "-a" "23d8309f528836db1724a1b33c6267a8b9604b6533b11eb19e127201db0705c8", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.1
[INFO] [stderr]    Compiling jobserver v0.1.28
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling bindgen v0.59.2
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling unicode-width v0.1.11
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling cc v1.0.90
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling fs_extra v1.3.0
[INFO] [stderr]    Compiling num-bigint v0.4.4
[INFO] [stderr]    Compiling cmake v0.1.50
[INFO] [stderr]    Compiling scroll_derive v0.11.1
[INFO] [stderr]     Checking cstr_core v0.2.6
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling backtrace v0.3.69
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]     Checking scroll v0.11.0
[INFO] [stderr]     Checking object v0.32.2
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking goblin v0.6.1
[INFO] [stderr]    Compiling regex v1.10.3
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling bindgen v0.63.0
[INFO] [stderr]    Compiling num-derive v0.3.3
[INFO] [stderr]    Compiling bad64-sys v0.5.0
[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] 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]               <error::Error as From<{type error}>>
[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]               <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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]              <error::Error as From<{type error}>>
[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" "23d8309f528836db1724a1b33c6267a8b9604b6533b11eb19e127201db0705c8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "23d8309f528836db1724a1b33c6267a8b9604b6533b11eb19e127201db0705c8", kill_on_drop: false }`
[INFO] [stdout] 23d8309f528836db1724a1b33c6267a8b9604b6533b11eb19e127201db0705c8
