[INFO] fetching crate falcon-z3 0.5.2... [INFO] checking falcon-z3-0.5.2 against master#506512391b1a75ae450d36c9420978402a91abcc for pr-125384 [INFO] extracting crate falcon-z3 0.5.2 into /workspace/builds/worker-1-tc1/source [INFO] validating manifest of crates.io crate falcon-z3 0.5.2 on toolchain 506512391b1a75ae450d36c9420978402a91abcc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "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-1-tc1/source/Cargo.toml [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "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.23.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.30.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.14 (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.36.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.66) [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" "+506512391b1a75ae450d36c9420978402a91abcc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded cstr_core v0.2.6 [INFO] [stderr] Downloaded falcon_capstone v0.5.2 [INFO] [stderr] Downloaded falcon v0.5.5 [INFO] [stderr] Downloaded goblin v0.6.1 [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-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ece33797be3c37068276501f4fe78922222b53393ea4e6ae9f5ac42b5f5e4a7c [INFO] running `Command { std: "docker" "start" "-a" "ece33797be3c37068276501f4fe78922222b53393ea4e6ae9f5ac42b5f5e4a7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ece33797be3c37068276501f4fe78922222b53393ea4e6ae9f5ac42b5f5e4a7c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ece33797be3c37068276501f4fe78922222b53393ea4e6ae9f5ac42b5f5e4a7c", kill_on_drop: false }` [INFO] [stdout] ece33797be3c37068276501f4fe78922222b53393ea4e6ae9f5ac42b5f5e4a7c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:59a85a07ab18ca8720692f8e61effa1c651d9e2ca591e072c2b212bb91a6b8b5" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f2e12d9940f0a984108bd66b513a206e530be9e8cf9852db9b9ec687eb7da63e [INFO] running `Command { std: "docker" "start" "-a" "f2e12d9940f0a984108bd66b513a206e530be9e8cf9852db9b9ec687eb7da63e", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling bindgen v0.59.2 [INFO] [stderr] Compiling bindgen v0.63.0 [INFO] [stderr] Checking memchr v2.7.2 [INFO] [stderr] Compiling serde v1.0.203 [INFO] [stderr] Compiling fs_extra v1.3.0 [INFO] [stderr] Compiling scroll_derive v0.11.1 [INFO] [stderr] Checking gimli v0.28.1 [INFO] [stderr] Checking miniz_oxide v0.7.3 [INFO] [stderr] Checking cstr_core v0.2.6 [INFO] [stderr] Checking object v0.32.2 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Checking plain v0.2.3 [INFO] [stderr] Checking scroll v0.11.0 [INFO] [stderr] Checking rustc-demangle v0.1.24 [INFO] [stderr] Compiling jobserver v0.1.31 [INFO] [stderr] Compiling clang-sys v1.7.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling cc v1.0.98 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling cmake v0.1.50 [INFO] [stderr] Compiling which v3.1.1 [INFO] [stderr] Checking addr2line v0.21.0 [INFO] [stderr] Checking serde_json v1.0.117 [INFO] [stderr] Checking num-bigint v0.4.5 [INFO] [stderr] Checking goblin v0.6.1 [INFO] [stderr] Compiling backtrace v0.3.71 [INFO] [stderr] Compiling bindgen v0.58.1 [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] 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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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` is not implemented for `error::Error`, which is required by `std::result::Result<(), error::Error>: FromResidual>` [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`: [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] > [INFO] [stdout] = note: required for `std::result::Result<(), error::Error>` to implement `FromResidual>` [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" "f2e12d9940f0a984108bd66b513a206e530be9e8cf9852db9b9ec687eb7da63e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f2e12d9940f0a984108bd66b513a206e530be9e8cf9852db9b9ec687eb7da63e", kill_on_drop: false }` [INFO] [stdout] f2e12d9940f0a984108bd66b513a206e530be9e8cf9852db9b9ec687eb7da63e