[INFO] fetching crate rustproof 0.1.0...
[INFO] checking rustproof-0.1.0 against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-4
[INFO] extracting crate rustproof 0.1.0 into /workspace/builds/worker-6-tc1/source
[INFO] validating manifest of crates.io crate rustproof 0.1.0 on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rustproof 0.1.0
[INFO] finished tweaking crates.io crate rustproof 0.1.0
[INFO] tweaked toml for crates.io crate rustproof 0.1.0 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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 41 packages
[INFO] [stderr]       Adding aho-corasick v0.5.3 (latest: v1.1.3)
[INFO] [stderr]       Adding atty v0.1.2 (latest: v0.2.14)
[INFO] [stderr]       Adding bit-set v0.3.0 (latest: v0.5.3)
[INFO] [stderr]       Adding bitflags v0.4.0 (latest: v2.5.0)
[INFO] [stderr]       Adding docopt v0.6.86 (latest: v1.1.1)
[INFO] [stderr]       Adding env_logger v0.3.5 (latest: v0.11.3)
[INFO] [stderr]       Adding fixedbitset v0.1.9 (latest: v0.5.6)
[INFO] [stderr]       Adding itertools v0.3.25 (latest: v0.12.1)
[INFO] [stderr]       Adding lalrpop v0.11.0 (latest: v0.20.2)
[INFO] [stderr]       Adding lalrpop-intern v0.11.0 (latest: v0.15.1)
[INFO] [stderr]       Adding lalrpop-snap v0.11.0 (latest: v0.16.0)
[INFO] [stderr]       Adding lalrpop-util v0.11.0 (latest: v0.20.2)
[INFO] [stderr]       Adding lazy_static v0.2.11 (latest: v1.4.0)
[INFO] [stderr]       Adding log v0.3.9 (latest: v0.4.21)
[INFO] [stderr]       Adding memchr v0.1.11 (latest: v2.7.2)
[INFO] [stderr]       Adding petgraph v0.1.18 (latest: v0.6.4)
[INFO] [stderr]       Adding petgraph v0.2.10 (latest: v0.6.4)
[INFO] [stderr]       Adding regex v0.1.80 (latest: v1.10.4)
[INFO] [stderr]       Adding regex-syntax v0.2.6 (latest: v0.8.3)
[INFO] [stderr]       Adding regex-syntax v0.3.9 (latest: v0.8.3)
[INFO] [stderr]       Adding strsim v0.5.2 (latest: v0.11.1)
[INFO] [stderr]       Adding term v0.4.6 (latest: v0.7.0)
[INFO] [stderr]       Adding thread-id v2.0.0 (latest: v4.2.1)
[INFO] [stderr]       Adding thread_local v0.2.7 (latest: v1.1.8)
[INFO] [stderr]       Adding time v0.1.45 (latest: v0.3.34)
[INFO] [stderr]       Adding unicode-xid v0.0.2 (latest: v0.2.4)
[INFO] [stderr]       Adding utf8-ranges v0.1.3 (latest: v1.0.5)
[INFO] [stderr]       Adding wasi v0.10.0+wasi-snapshot-preview1 (latest: v0.13.0+wasi-0.2.0)
[INFO] [stderr]       Adding winapi v0.2.8 (latest: v0.3.9)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: support for rustc plugins has been removed from rustc. library `rustproof` should not specify `plugin = true`
[INFO] [stderr] warning: support for `plugin = true` will be removed from cargo in the future
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded lalrpop-util v0.11.0
[INFO] [stderr]   Downloaded unicode-xid v0.0.2
[INFO] [stderr]   Downloaded rustproof-libsmt v0.1.0
[INFO] [stderr]   Downloaded atty v0.1.2
[INFO] [stderr]   Downloaded bit-set v0.3.0
[INFO] [stderr]   Downloaded docopt v0.6.86
[INFO] [stderr]   Downloaded petgraph v0.1.18
[INFO] [stderr]   Downloaded regex-syntax v0.2.6
[INFO] [stderr]   Downloaded itertools v0.3.25
[INFO] [stderr]   Downloaded petgraph v0.2.10
[INFO] [stderr]   Downloaded lalrpop-snap v0.11.0
[INFO] [stderr]   Downloaded lalrpop v0.11.0
[INFO] [stderr]   Downloaded lalrpop-intern v0.11.0
[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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9616a59b7777f9bd84029f49c491a934e887453fec330f9999933e2d945f86b2
[INFO] running `Command { std: "docker" "start" "-a" "9616a59b7777f9bd84029f49c491a934e887453fec330f9999933e2d945f86b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9616a59b7777f9bd84029f49c491a934e887453fec330f9999933e2d945f86b2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9616a59b7777f9bd84029f49c491a934e887453fec330f9999933e2d945f86b2", kill_on_drop: false }`
[INFO] [stdout] 9616a59b7777f9bd84029f49c491a934e887453fec330f9999933e2d945f86b2
[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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 54282da4e8bd8a2b870537b575a03e6545a4b51dcdd53dd1886766a0f9952a36
[INFO] running `Command { std: "docker" "start" "-a" "54282da4e8bd8a2b870537b575a03e6545a4b51dcdd53dd1886766a0f9952a36", kill_on_drop: false }`
[INFO] [stderr] warning: support for rustc plugins has been removed from rustc. library `rustproof` should not specify `plugin = true`
[INFO] [stderr] warning: support for `plugin = true` will be removed from cargo in the future
[INFO] [stderr]    Compiling winapi-build v0.1.1
[INFO] [stderr]     Checking winapi v0.2.8
[INFO] [stderr]     Checking regex-syntax v0.3.9
[INFO] [stderr]     Checking utf8-ranges v0.1.3
[INFO] [stderr]    Compiling libc v0.2.153
[INFO] [stderr]     Checking memchr v0.1.11
[INFO] [stderr]     Checking fixedbitset v0.1.9
[INFO] [stderr]     Checking aho-corasick v0.5.3
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling kernel32-sys v0.2.2
[INFO] [stderr]     Checking petgraph v0.2.10
[INFO] [stderr]     Checking lalrpop-util v0.11.0
[INFO] [stderr]    Compiling log v0.3.9
[INFO] [stderr]     Checking thread-id v2.0.0
[INFO] [stderr]     Checking thread_local v0.2.7
[INFO] [stderr]     Checking regex v0.1.80
[INFO] [stderr]     Checking env_logger v0.3.5
[INFO] [stderr]     Checking rustproof-libsmt v0.1.0
[INFO] [stderr]     Checking rustproof v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]   --> src/lib.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | #![feature(plugin_registrar, rustc_private)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]    |
[INFO] [stdout]    = note: plugins are no longer supported
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]   --> src/lib.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | #![feature(plugin_registrar, rustc_private)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]    |
[INFO] [stdout]    = note: plugins are no longer supported
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/lib.rs:28:14
[INFO] [stdout]    |
[INFO] [stdout] 28 | #[macro_use] extern crate syntax;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/lib.rs:28:14
[INFO] [stdout]    |
[INFO] [stdout] 28 | #[macro_use] extern crate syntax;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `log`
[INFO] [stdout]   --> src/lib.rs:34:14
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[macro_use] extern crate log;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `log`
[INFO] [stdout]   --> src/lib.rs:34:14
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[macro_use] extern crate log;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib
[INFO] [stdout]   --> src/lib.rs:36:1
[INFO] [stdout]    |
[INFO] [stdout] 36 | extern crate rustc;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following crate versions were found:
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.tsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.asan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.msan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.lsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.safestack.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.dfsan.a
[INFO] [stdout]    = help: please recompile that crate using --crate-type lib
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib
[INFO] [stdout]   --> src/lib.rs:36:1
[INFO] [stdout]    |
[INFO] [stdout] 36 | extern crate rustc;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following crate versions were found:
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.tsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.asan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.msan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.lsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.safestack.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.dfsan.a
[INFO] [stdout]    = help: please recompile that crate using --crate-type lib
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_plugin`
[INFO] [stdout]   --> src/lib.rs:37:1
[INFO] [stdout]    |
[INFO] [stdout] 37 | extern crate rustc_plugin;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_plugin`
[INFO] [stdout]   --> src/lib.rs:37:1
[INFO] [stdout]    |
[INFO] [stdout] 37 | extern crate rustc_plugin;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/lib.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/lib.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:41:1
[INFO] [stdout]    |
[INFO] [stdout] 41 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:41:1
[INFO] [stdout]    |
[INFO] [stdout] 41 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `term`
[INFO] [stdout]   --> src/expression/mod.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate term;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `term`
[INFO] [stdout]   --> src/expression/mod.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate term;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/parser/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate syntax;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/parser/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate syntax;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::MirData`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use super::MirData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::MirData`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use super::MirData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `plugin_registrar` in this scope
[INFO] [stdout]   --> src/lib.rs:69:3
[INFO] [stdout]    |
[INFO] [stdout] 69 | #[plugin_registrar]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `plugin_registrar` in this scope
[INFO] [stdout]   --> src/lib.rs:69:3
[INFO] [stdout]    |
[INFO] [stdout] 69 | #[plugin_registrar]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:23:31
[INFO] [stdout]    |
[INFO] [stdout] 23 |                       binop: &BinOp,
[INFO] [stdout]    |                               ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:47:28
[INFO] [stdout]    |
[INFO] [stdout] 47 | fn signed_overflow(binop: &BinOp, size: u8, lvalue: &Expression, rvalue: &Expression)
[INFO] [stdout]    |                            ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:484:30
[INFO] [stdout]     |
[INFO] [stdout] 484 | fn unsigned_overflow(binop: &BinOp, lvalue: &Expression, rvalue: &Expression) -> Expression {
[INFO] [stdout]     |                              ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:165:39
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |                                       ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:172:24
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let lvalue: Option<Lvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Lvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:173:24
[INFO] [stdout]     |
[INFO] [stdout] 173 |     let rvalue: Option<Rvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Rvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:372:21
[INFO] [stdout]     |
[INFO] [stdout] 372 | fn gen_ty(operand: &Operand, data: &mut MirData) -> Types {
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:458:23
[INFO] [stdout]     |
[INFO] [stdout] 458 | fn gen_lvalue(lvalue: Lvalue, data: &mut MirData) -> VariableMappingData {
[INFO] [stdout]     |                       ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:582:29
[INFO] [stdout]     |
[INFO] [stdout] 582 | fn gen_expression(operand: &Operand, data: &mut MirData) -> Expression {
[INFO] [stdout]     |                             ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:23:31
[INFO] [stdout]    |
[INFO] [stdout] 23 |                       binop: &BinOp,
[INFO] [stdout]    |                               ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:47:28
[INFO] [stdout]    |
[INFO] [stdout] 47 | fn signed_overflow(binop: &BinOp, size: u8, lvalue: &Expression, rvalue: &Expression)
[INFO] [stdout]    |                            ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:484:30
[INFO] [stdout]     |
[INFO] [stdout] 484 | fn unsigned_overflow(binop: &BinOp, lvalue: &Expression, rvalue: &Expression) -> Expression {
[INFO] [stdout]     |                              ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:165:39
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |                                       ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:172:24
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let lvalue: Option<Lvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Lvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:173:24
[INFO] [stdout]     |
[INFO] [stdout] 173 |     let rvalue: Option<Rvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Rvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:372:21
[INFO] [stdout]     |
[INFO] [stdout] 372 | fn gen_ty(operand: &Operand, data: &mut MirData) -> Types {
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:458:23
[INFO] [stdout]     |
[INFO] [stdout] 458 | fn gen_lvalue(lvalue: Lvalue, data: &mut MirData) -> VariableMappingData {
[INFO] [stdout]     |                       ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:582:29
[INFO] [stdout]     |
[INFO] [stdout] 582 | fn gen_expression(operand: &Operand, data: &mut MirData) -> Expression {
[INFO] [stdout]     |                             ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]   --> src/lib.rs:26:12
[INFO] [stdout]    |
[INFO] [stdout] 26 | #![feature(plugin_registrar, rustc_private)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]    |
[INFO] [stdout]    = note: plugins are no longer supported
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         BinOp::Add => signed_add(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:51:9
[INFO] [stdout]    |
[INFO] [stdout] 51 |         BinOp::Mul => signed_mul(lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         BinOp::Sub => signed_sub(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:53:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         BinOp::Div => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |         BinOp::Rem => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:57:9
[INFO] [stdout]    |
[INFO] [stdout] 57 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 61 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 62 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:486:9
[INFO] [stdout]     |
[INFO] [stdout] 486 |         BinOp::Add => unsigned_add(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:487:9
[INFO] [stdout]     |
[INFO] [stdout] 487 |         BinOp::Sub => unsigned_sub(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:488:9
[INFO] [stdout]     |
[INFO] [stdout] 488 |         BinOp::Mul => unsigned_mul(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:489:9
[INFO] [stdout]     |
[INFO] [stdout] 489 |         BinOp::Div => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:490:9
[INFO] [stdout]     |
[INFO] [stdout] 490 |         BinOp::Rem => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:492:9
[INFO] [stdout]     |
[INFO] [stdout] 492 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:493:9
[INFO] [stdout]     |
[INFO] [stdout] 493 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:494:9
[INFO] [stdout]     |
[INFO] [stdout] 494 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:495:9
[INFO] [stdout]     |
[INFO] [stdout] 495 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:496:9
[INFO] [stdout]     |
[INFO] [stdout] 496 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:497:9
[INFO] [stdout]     |
[INFO] [stdout] 497 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:499:9
[INFO] [stdout]     |
[INFO] [stdout] 499 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:500:9
[INFO] [stdout]     |
[INFO] [stdout] 500 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:501:9
[INFO] [stdout]     |
[INFO] [stdout] 501 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |         TerminatorKind::Assert{target, ..}
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:46:11
[INFO] [stdout]    |
[INFO] [stdout] 46 |         | TerminatorKind::Goto{target} => {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         TerminatorKind::Return => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         TerminatorKind::Call{func, ..} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:59:17
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 Operand::Constant (ref c) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 Operand::Consume (..) => unimplemented!(),
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         TerminatorKind::If{cond, targets} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 Operand::Constant (ref constant) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:83:25
[INFO] [stdout]    |
[INFO] [stdout] 83 |                         Literal::Value {ref value} => {
[INFO] [stdout]    |                         ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 Operand::Consume(c) => { Expression::VariableMapping(gen_lvalue(c, data)) },
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |         TerminatorKind::DropAndReplace{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:120:9
[INFO] [stdout]     |
[INFO] [stdout] 120 |         TerminatorKind::Drop{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |         TerminatorKind::Unreachable => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |         TerminatorKind::Resume => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |         TerminatorKind::Switch{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:126:9
[INFO] [stdout]     |
[INFO] [stdout] 126 |         TerminatorKind::SwitchInt{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 177 |         StatementKind::Assign(ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:189:9
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Rvalue::CheckedBinaryOp(ref binop, ref loperand, ref roperand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:193:17
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:198:17
[INFO] [stdout]     |
[INFO] [stdout] 198 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:226:17
[INFO] [stdout]     |
[INFO] [stdout] 226 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:227:17
[INFO] [stdout]     |
[INFO] [stdout] 227 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:241:9
[INFO] [stdout]     |
[INFO] [stdout] 241 |         Rvalue::BinaryOp(ref binop, ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:245:17
[INFO] [stdout]     |
[INFO] [stdout] 245 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:250:17
[INFO] [stdout]     |
[INFO] [stdout] 250 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:255:17
[INFO] [stdout]     |
[INFO] [stdout] 255 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:260:17
[INFO] [stdout]     |
[INFO] [stdout] 260 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:269:17
[INFO] [stdout]     |
[INFO] [stdout] 269 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:278:17
[INFO] [stdout]     |
[INFO] [stdout] 278 |                 BinOp::BitOr => BinaryOperator::BitwiseOr,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:279:17
[INFO] [stdout]     |
[INFO] [stdout] 279 |                 BinOp::BitAnd => BinaryOperator::BitwiseAnd,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:280:17
[INFO] [stdout]     |
[INFO] [stdout] 280 |                 BinOp::BitXor => BinaryOperator::BitwiseXor,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:281:17
[INFO] [stdout]     |
[INFO] [stdout] 281 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:282:17
[INFO] [stdout]     |
[INFO] [stdout] 282 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:283:17
[INFO] [stdout]     |
[INFO] [stdout] 283 |                 BinOp::Lt => BinaryOperator::LessThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:284:17
[INFO] [stdout]     |
[INFO] [stdout] 284 |                 BinOp::Le => BinaryOperator::LessThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:285:17
[INFO] [stdout]     |
[INFO] [stdout] 285 |                 BinOp::Gt => BinaryOperator::GreaterThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |                 BinOp::Ge => BinaryOperator::GreaterThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |                 BinOp::Eq => BinaryOperator::Equal,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:288:17
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 BinOp::Ne => BinaryOperator::NotEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:298:9
[INFO] [stdout]     |
[INFO] [stdout] 298 |         Rvalue::UnaryOp(ref unop, ref val) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:301:17
[INFO] [stdout]     |
[INFO] [stdout] 301 |                 UnOp::Not => {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 UnOp::Neg => UnaryOperator::Negation,
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:317:9
[INFO] [stdout]     |
[INFO] [stdout] 317 |         Rvalue::Use(ref operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:321:9
[INFO] [stdout]     |
[INFO] [stdout] 321 |         Rvalue::Aggregate(ref ag_kind, ref vec_operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AggregateKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 AggregateKind::Tuple => {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ use of undeclared type `AggregateKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:338:9
[INFO] [stdout]     |
[INFO] [stdout] 338 |         Rvalue::Cast(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:343:9
[INFO] [stdout]     |
[INFO] [stdout] 343 |         Rvalue::Ref(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:347:9
[INFO] [stdout]     |
[INFO] [stdout] 347 |         Rvalue::Box(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:348:9
[INFO] [stdout]     |
[INFO] [stdout] 348 |         Rvalue::Len(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         Operand::Constant(ref constant) => constant.ty.to_string(),
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         Operand::Consume(ref lvalue) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:378:17
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Lvalue::Arg(ref arg) => data.arg_data[arg.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:380:17
[INFO] [stdout]     |
[INFO] [stdout] 380 |                 Lvalue::Temp(ref temp) => data.temp_data[temp.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 Lvalue::Var(ref var) => data.var_data[var.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:461:9
[INFO] [stdout]     |
[INFO] [stdout] 461 |         Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:469:9
[INFO] [stdout]     |
[INFO] [stdout] 469 |         Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:483:9
[INFO] [stdout]     |
[INFO] [stdout] 483 |         Lvalue::Var(ref var) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         Lvalue::ReturnPointer => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         Lvalue::Projection(pro) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:503:17
[INFO] [stdout]     |
[INFO] [stdout] 503 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:505:17
[INFO] [stdout]     |
[INFO] [stdout] 505 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:515:17
[INFO] [stdout]     |
[INFO] [stdout] 515 |                 Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:521:17
[INFO] [stdout]     |
[INFO] [stdout] 521 |                 Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:531:17
[INFO] [stdout]     |
[INFO] [stdout] 531 |                 Lvalue::Var(ref var) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:542:17
[INFO] [stdout]     |
[INFO] [stdout] 542 |                 Lvalue::ReturnPointer => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 Lvalue::Static(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |                 Lvalue::Projection(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:553:17
[INFO] [stdout]     |
[INFO] [stdout] 553 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:555:17
[INFO] [stdout]     |
[INFO] [stdout] 555 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:585:9
[INFO] [stdout]     |
[INFO] [stdout] 585 |         Operand::Consume (ref l) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:589:9
[INFO] [stdout]     |
[INFO] [stdout] 589 |         Operand::Constant (ref c) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:591:17
[INFO] [stdout]     |
[INFO] [stdout] 591 |                 Literal::Value {ref value} => {
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:653:17
[INFO] [stdout]     |
[INFO] [stdout] 653 |                 Literal::Item {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:655:17
[INFO] [stdout]     |
[INFO] [stdout] 655 |                 Literal::Promoted {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 132 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433, E0462, E0463, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         BinOp::Add => signed_add(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:51:9
[INFO] [stdout]    |
[INFO] [stdout] 51 |         BinOp::Mul => signed_mul(lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         BinOp::Sub => signed_sub(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:53:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         BinOp::Div => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |         BinOp::Rem => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:57:9
[INFO] [stdout]    |
[INFO] [stdout] 57 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 61 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 62 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:486:9
[INFO] [stdout]     |
[INFO] [stdout] 486 |         BinOp::Add => unsigned_add(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:487:9
[INFO] [stdout]     |
[INFO] [stdout] 487 |         BinOp::Sub => unsigned_sub(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:488:9
[INFO] [stdout]     |
[INFO] [stdout] 488 |         BinOp::Mul => unsigned_mul(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:489:9
[INFO] [stdout]     |
[INFO] [stdout] 489 |         BinOp::Div => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:490:9
[INFO] [stdout]     |
[INFO] [stdout] 490 |         BinOp::Rem => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:492:9
[INFO] [stdout]     |
[INFO] [stdout] 492 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:493:9
[INFO] [stdout]     |
[INFO] [stdout] 493 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:494:9
[INFO] [stdout]     |
[INFO] [stdout] 494 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:495:9
[INFO] [stdout]     |
[INFO] [stdout] 495 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:496:9
[INFO] [stdout]     |
[INFO] [stdout] 496 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:497:9
[INFO] [stdout]     |
[INFO] [stdout] 497 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:499:9
[INFO] [stdout]     |
[INFO] [stdout] 499 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:500:9
[INFO] [stdout]     |
[INFO] [stdout] 500 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:501:9
[INFO] [stdout]     |
[INFO] [stdout] 501 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |         TerminatorKind::Assert{target, ..}
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:46:11
[INFO] [stdout]    |
[INFO] [stdout] 46 |         | TerminatorKind::Goto{target} => {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         TerminatorKind::Return => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         TerminatorKind::Call{func, ..} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:59:17
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 Operand::Constant (ref c) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 Operand::Consume (..) => unimplemented!(),
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         TerminatorKind::If{cond, targets} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 Operand::Constant (ref constant) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:83:25
[INFO] [stdout]    |
[INFO] [stdout] 83 |                         Literal::Value {ref value} => {
[INFO] [stdout]    |                         ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 Operand::Consume(c) => { Expression::VariableMapping(gen_lvalue(c, data)) },
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |         TerminatorKind::DropAndReplace{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:120:9
[INFO] [stdout]     |
[INFO] [stdout] 120 |         TerminatorKind::Drop{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |         TerminatorKind::Unreachable => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |         TerminatorKind::Resume => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |         TerminatorKind::Switch{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:126:9
[INFO] [stdout]     |
[INFO] [stdout] 126 |         TerminatorKind::SwitchInt{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 177 |         StatementKind::Assign(ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:189:9
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Rvalue::CheckedBinaryOp(ref binop, ref loperand, ref roperand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:193:17
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:198:17
[INFO] [stdout]     |
[INFO] [stdout] 198 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:226:17
[INFO] [stdout]     |
[INFO] [stdout] 226 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:227:17
[INFO] [stdout]     |
[INFO] [stdout] 227 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:241:9
[INFO] [stdout]     |
[INFO] [stdout] 241 |         Rvalue::BinaryOp(ref binop, ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:245:17
[INFO] [stdout]     |
[INFO] [stdout] 245 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:250:17
[INFO] [stdout]     |
[INFO] [stdout] 250 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:255:17
[INFO] [stdout]     |
[INFO] [stdout] 255 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:260:17
[INFO] [stdout]     |
[INFO] [stdout] 260 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:269:17
[INFO] [stdout]     |
[INFO] [stdout] 269 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:278:17
[INFO] [stdout]     |
[INFO] [stdout] 278 |                 BinOp::BitOr => BinaryOperator::BitwiseOr,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:279:17
[INFO] [stdout]     |
[INFO] [stdout] 279 |                 BinOp::BitAnd => BinaryOperator::BitwiseAnd,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:280:17
[INFO] [stdout]     |
[INFO] [stdout] 280 |                 BinOp::BitXor => BinaryOperator::BitwiseXor,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:281:17
[INFO] [stdout]     |
[INFO] [stdout] 281 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:282:17
[INFO] [stdout]     |
[INFO] [stdout] 282 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:283:17
[INFO] [stdout]     |
[INFO] [stdout] 283 |                 BinOp::Lt => BinaryOperator::LessThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:284:17
[INFO] [stdout]     |
[INFO] [stdout] 284 |                 BinOp::Le => BinaryOperator::LessThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:285:17
[INFO] [stdout]     |
[INFO] [stdout] 285 |                 BinOp::Gt => BinaryOperator::GreaterThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |                 BinOp::Ge => BinaryOperator::GreaterThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |                 BinOp::Eq => BinaryOperator::Equal,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:288:17
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 BinOp::Ne => BinaryOperator::NotEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:298:9
[INFO] [stdout]     |
[INFO] [stdout] 298 |         Rvalue::UnaryOp(ref unop, ref val) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:301:17
[INFO] [stdout]     |
[INFO] [stdout] 301 |                 UnOp::Not => {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 UnOp::Neg => UnaryOperator::Negation,
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:317:9
[INFO] [stdout]     |
[INFO] [stdout] 317 |         Rvalue::Use(ref operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:321:9
[INFO] [stdout]     |
[INFO] [stdout] 321 |         Rvalue::Aggregate(ref ag_kind, ref vec_operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AggregateKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 AggregateKind::Tuple => {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ use of undeclared type `AggregateKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:338:9
[INFO] [stdout]     |
[INFO] [stdout] 338 |         Rvalue::Cast(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:343:9
[INFO] [stdout]     |
[INFO] [stdout] 343 |         Rvalue::Ref(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:347:9
[INFO] [stdout]     |
[INFO] [stdout] 347 |         Rvalue::Box(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:348:9
[INFO] [stdout]     |
[INFO] [stdout] 348 |         Rvalue::Len(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         Operand::Constant(ref constant) => constant.ty.to_string(),
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         Operand::Consume(ref lvalue) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:378:17
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Lvalue::Arg(ref arg) => data.arg_data[arg.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:380:17
[INFO] [stdout]     |
[INFO] [stdout] 380 |                 Lvalue::Temp(ref temp) => data.temp_data[temp.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 Lvalue::Var(ref var) => data.var_data[var.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:461:9
[INFO] [stdout]     |
[INFO] [stdout] 461 |         Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:469:9
[INFO] [stdout]     |
[INFO] [stdout] 469 |         Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:483:9
[INFO] [stdout]     |
[INFO] [stdout] 483 |         Lvalue::Var(ref var) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         Lvalue::ReturnPointer => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         Lvalue::Projection(pro) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:503:17
[INFO] [stdout]     |
[INFO] [stdout] 503 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:505:17
[INFO] [stdout]     |
[INFO] [stdout] 505 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:515:17
[INFO] [stdout]     |
[INFO] [stdout] 515 |                 Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:521:17
[INFO] [stdout]     |
[INFO] [stdout] 521 |                 Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:531:17
[INFO] [stdout]     |
[INFO] [stdout] 531 |                 Lvalue::Var(ref var) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:542:17
[INFO] [stdout]     |
[INFO] [stdout] 542 |                 Lvalue::ReturnPointer => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 Lvalue::Static(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |                 Lvalue::Projection(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:553:17
[INFO] [stdout]     |
[INFO] [stdout] 553 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:555:17
[INFO] [stdout]     |
[INFO] [stdout] 555 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:585:9
[INFO] [stdout]     |
[INFO] [stdout] 585 |         Operand::Consume (ref l) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:589:9
[INFO] [stdout]     |
[INFO] [stdout] 589 |         Operand::Constant (ref c) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:591:17
[INFO] [stdout]     |
[INFO] [stdout] 591 |                 Literal::Value {ref value} => {
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:653:17
[INFO] [stdout]     |
[INFO] [stdout] 653 |                 Literal::Item {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:655:17
[INFO] [stdout]     |
[INFO] [stdout] 655 |                 Literal::Promoted {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 132 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433, E0462, E0463, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustproof` (lib test) due to 133 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `rustproof` (lib) due to 133 previous errors
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/lib.rs:28:14
[INFO] [stdout]    |
[INFO] [stdout] 28 | #[macro_use] extern crate syntax;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `log`
[INFO] [stdout]   --> src/lib.rs:34:14
[INFO] [stdout]    |
[INFO] [stdout] 34 | #[macro_use] extern crate log;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib
[INFO] [stdout]   --> src/lib.rs:36:1
[INFO] [stdout]    |
[INFO] [stdout] 36 | extern crate rustc;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following crate versions were found:
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.tsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.asan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.msan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.lsan.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.safestack.a
[INFO] [stdout]            crate `rustc`: /opt/rustwide/rustup-home/toolchains/af4a5a13a15fa0c60e06321077ef452f769b42fd/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.dfsan.a
[INFO] [stdout]    = help: please recompile that crate using --crate-type lib
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_plugin`
[INFO] [stdout]   --> src/lib.rs:37:1
[INFO] [stdout]    |
[INFO] [stdout] 37 | extern crate rustc_plugin;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures`
[INFO] [stdout]   --> src/lib.rs:38:1
[INFO] [stdout]    |
[INFO] [stdout] 38 | extern crate rustc_data_structures;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/lib.rs:39:1
[INFO] [stdout]    |
[INFO] [stdout] 39 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_errors`
[INFO] [stdout]   --> src/lib.rs:41:1
[INFO] [stdout]    |
[INFO] [stdout] 41 | extern crate rustc_errors;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `term`
[INFO] [stdout]   --> src/expression/mod.rs:14:1
[INFO] [stdout]    |
[INFO] [stdout] 14 | extern crate term;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `syntax`
[INFO] [stdout]   --> src/parser/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate syntax;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rustc_const_math`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:13:1
[INFO] [stdout]    |
[INFO] [stdout] 13 | extern crate rustc_const_math;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout]    |
[INFO] [stdout]    = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `super::MirData`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:15:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | use super::MirData;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `plugin_registrar` in this scope
[INFO] [stdout]   --> src/lib.rs:69:3
[INFO] [stdout]    |
[INFO] [stdout] 69 | #[plugin_registrar]
[INFO] [stdout]    |   ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:23:31
[INFO] [stdout]    |
[INFO] [stdout] 23 |                       binop: &BinOp,
[INFO] [stdout]    |                               ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:47:28
[INFO] [stdout]    |
[INFO] [stdout] 47 | fn signed_overflow(binop: &BinOp, size: u8, lvalue: &Expression, rvalue: &Expression)
[INFO] [stdout]    |                            ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `BinOp` in this scope
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:484:30
[INFO] [stdout]     |
[INFO] [stdout] 484 | fn unsigned_overflow(binop: &BinOp, lvalue: &Expression, rvalue: &Expression) -> Expression {
[INFO] [stdout]     |                              ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:165:39
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |                                       ^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:172:24
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let lvalue: Option<Lvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Lvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:173:24
[INFO] [stdout]     |
[INFO] [stdout] 173 |     let rvalue: Option<Rvalue>;
[INFO] [stdout]     |                        ^^^^^^ not found in this scope
[INFO] [stdout]     |
[INFO] [stdout] help: you might be missing a type parameter
[INFO] [stdout]     |
[INFO] [stdout] 165 | fn gen_stmt<Rvalue>(mut wp: Expression, stmt: Statement, data: &mut MirData, debug: bool)
[INFO] [stdout]     |            ++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:372:21
[INFO] [stdout]     |
[INFO] [stdout] 372 | fn gen_ty(operand: &Operand, data: &mut MirData) -> Types {
[INFO] [stdout]     |                     ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Lvalue` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:458:23
[INFO] [stdout]     |
[INFO] [stdout] 458 | fn gen_lvalue(lvalue: Lvalue, data: &mut MirData) -> VariableMappingData {
[INFO] [stdout]     |                       ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:582:29
[INFO] [stdout]     |
[INFO] [stdout] 582 | fn gen_expression(operand: &Operand, data: &mut MirData) -> Expression {
[INFO] [stdout]     |                             ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         BinOp::Add => signed_add(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:51:9
[INFO] [stdout]    |
[INFO] [stdout] 51 |         BinOp::Mul => signed_mul(lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:52:9
[INFO] [stdout]    |
[INFO] [stdout] 52 |         BinOp::Sub => signed_sub(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:53:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         BinOp::Div => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 54 |         BinOp::Rem => signed_div(size, lvalue, rvalue),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:57:9
[INFO] [stdout]    |
[INFO] [stdout] 57 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:59:9
[INFO] [stdout]    |
[INFO] [stdout] 59 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:60:9
[INFO] [stdout]    |
[INFO] [stdout] 60 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:61:9
[INFO] [stdout]    |
[INFO] [stdout] 61 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 62 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:64:9
[INFO] [stdout]    |
[INFO] [stdout] 64 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]   --> src/weakest_precondition/overflow.rs:65:9
[INFO] [stdout]    |
[INFO] [stdout] 65 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]    |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:486:9
[INFO] [stdout]     |
[INFO] [stdout] 486 |         BinOp::Add => unsigned_add(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:487:9
[INFO] [stdout]     |
[INFO] [stdout] 487 |         BinOp::Sub => unsigned_sub(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:488:9
[INFO] [stdout]     |
[INFO] [stdout] 488 |         BinOp::Mul => unsigned_mul(lvalue, rvalue),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:489:9
[INFO] [stdout]     |
[INFO] [stdout] 489 |         BinOp::Div => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:490:9
[INFO] [stdout]     |
[INFO] [stdout] 490 |         BinOp::Rem => unreachable!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         BinOp::Shl => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:492:9
[INFO] [stdout]     |
[INFO] [stdout] 492 |         BinOp::Shr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:493:9
[INFO] [stdout]     |
[INFO] [stdout] 493 |         BinOp::BitOr => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:494:9
[INFO] [stdout]     |
[INFO] [stdout] 494 |         BinOp::BitAnd => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:495:9
[INFO] [stdout]     |
[INFO] [stdout] 495 |         BinOp::BitXor => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:496:9
[INFO] [stdout]     |
[INFO] [stdout] 496 |         BinOp::Lt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:497:9
[INFO] [stdout]     |
[INFO] [stdout] 497 |         BinOp::Le => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         BinOp::Gt => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:499:9
[INFO] [stdout]     |
[INFO] [stdout] 499 |         BinOp::Ge => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:500:9
[INFO] [stdout]     |
[INFO] [stdout] 500 |         BinOp::Eq => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/overflow.rs:501:9
[INFO] [stdout]     |
[INFO] [stdout] 501 |         BinOp::Ne => unimplemented!(),
[INFO] [stdout]     |         ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:45:9
[INFO] [stdout]    |
[INFO] [stdout] 45 |         TerminatorKind::Assert{target, ..}
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:46:11
[INFO] [stdout]    |
[INFO] [stdout] 46 |         | TerminatorKind::Goto{target} => {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:50:9
[INFO] [stdout]    |
[INFO] [stdout] 50 |         TerminatorKind::Return => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:55:9
[INFO] [stdout]    |
[INFO] [stdout] 55 |         TerminatorKind::Call{func, ..} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:59:17
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 Operand::Constant (ref c) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 Operand::Consume (..) => unimplemented!(),
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:74:9
[INFO] [stdout]    |
[INFO] [stdout] 74 |         TerminatorKind::If{cond, targets} => {
[INFO] [stdout]    |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 Operand::Constant (ref constant) => {
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:83:25
[INFO] [stdout]    |
[INFO] [stdout] 83 |                         Literal::Value {ref value} => {
[INFO] [stdout]    |                         ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]   --> src/weakest_precondition/mod.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 Operand::Consume(c) => { Expression::VariableMapping(gen_lvalue(c, data)) },
[INFO] [stdout]    |                 ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:118:9
[INFO] [stdout]     |
[INFO] [stdout] 118 |         TerminatorKind::DropAndReplace{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:120:9
[INFO] [stdout]     |
[INFO] [stdout] 120 |         TerminatorKind::Drop{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |         TerminatorKind::Unreachable => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |         TerminatorKind::Resume => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:124:9
[INFO] [stdout]     |
[INFO] [stdout] 124 |         TerminatorKind::Switch{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:126:9
[INFO] [stdout]     |
[INFO] [stdout] 126 |         TerminatorKind::SwitchInt{..} => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:177:9
[INFO] [stdout]     |
[INFO] [stdout] 177 |         StatementKind::Assign(ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:189:9
[INFO] [stdout]     |
[INFO] [stdout] 189 |         Rvalue::CheckedBinaryOp(ref binop, ref loperand, ref roperand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:193:17
[INFO] [stdout]     |
[INFO] [stdout] 193 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:198:17
[INFO] [stdout]     |
[INFO] [stdout] 198 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:203:17
[INFO] [stdout]     |
[INFO] [stdout] 203 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:208:17
[INFO] [stdout]     |
[INFO] [stdout] 208 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:217:17
[INFO] [stdout]     |
[INFO] [stdout] 217 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:226:17
[INFO] [stdout]     |
[INFO] [stdout] 226 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:227:17
[INFO] [stdout]     |
[INFO] [stdout] 227 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:241:9
[INFO] [stdout]     |
[INFO] [stdout] 241 |         Rvalue::BinaryOp(ref binop, ref lval, ref rval) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:245:17
[INFO] [stdout]     |
[INFO] [stdout] 245 |                 BinOp::Add => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:250:17
[INFO] [stdout]     |
[INFO] [stdout] 250 |                 BinOp::Sub => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:255:17
[INFO] [stdout]     |
[INFO] [stdout] 255 |                 BinOp::Mul => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:260:17
[INFO] [stdout]     |
[INFO] [stdout] 260 |                 BinOp::Div => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:269:17
[INFO] [stdout]     |
[INFO] [stdout] 269 |                 BinOp::Rem => {
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:278:17
[INFO] [stdout]     |
[INFO] [stdout] 278 |                 BinOp::BitOr => BinaryOperator::BitwiseOr,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:279:17
[INFO] [stdout]     |
[INFO] [stdout] 279 |                 BinOp::BitAnd => BinaryOperator::BitwiseAnd,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:280:17
[INFO] [stdout]     |
[INFO] [stdout] 280 |                 BinOp::BitXor => BinaryOperator::BitwiseXor,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:281:17
[INFO] [stdout]     |
[INFO] [stdout] 281 |                 BinOp::Shl => BinaryOperator::BitwiseLeftShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:282:17
[INFO] [stdout]     |
[INFO] [stdout] 282 |                 BinOp::Shr => BinaryOperator::BitwiseRightShift,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:283:17
[INFO] [stdout]     |
[INFO] [stdout] 283 |                 BinOp::Lt => BinaryOperator::LessThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:284:17
[INFO] [stdout]     |
[INFO] [stdout] 284 |                 BinOp::Le => BinaryOperator::LessThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:285:17
[INFO] [stdout]     |
[INFO] [stdout] 285 |                 BinOp::Gt => BinaryOperator::GreaterThan,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |                 BinOp::Ge => BinaryOperator::GreaterThanOrEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |                 BinOp::Eq => BinaryOperator::Equal,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BinOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:288:17
[INFO] [stdout]     |
[INFO] [stdout] 288 |                 BinOp::Ne => BinaryOperator::NotEqual,
[INFO] [stdout]     |                 ^^^^^ use of undeclared type `BinOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:298:9
[INFO] [stdout]     |
[INFO] [stdout] 298 |         Rvalue::UnaryOp(ref unop, ref val) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:301:17
[INFO] [stdout]     |
[INFO] [stdout] 301 |                 UnOp::Not => {
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `UnOp`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:308:17
[INFO] [stdout]     |
[INFO] [stdout] 308 |                 UnOp::Neg => UnaryOperator::Negation,
[INFO] [stdout]     |                 ^^^^ use of undeclared type `UnOp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:317:9
[INFO] [stdout]     |
[INFO] [stdout] 317 |         Rvalue::Use(ref operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:321:9
[INFO] [stdout]     |
[INFO] [stdout] 321 |         Rvalue::Aggregate(ref ag_kind, ref vec_operand) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AggregateKind`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:323:17
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 AggregateKind::Tuple => {
[INFO] [stdout]     |                 ^^^^^^^^^^^^^ use of undeclared type `AggregateKind`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:338:9
[INFO] [stdout]     |
[INFO] [stdout] 338 |         Rvalue::Cast(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:343:9
[INFO] [stdout]     |
[INFO] [stdout] 343 |         Rvalue::Ref(..) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:347:9
[INFO] [stdout]     |
[INFO] [stdout] 347 |         Rvalue::Box(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:348:9
[INFO] [stdout]     |
[INFO] [stdout] 348 |         Rvalue::Len(..) => unimplemented!(),
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Rvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:374:9
[INFO] [stdout]     |
[INFO] [stdout] 374 |         Operand::Constant(ref constant) => constant.ty.to_string(),
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:375:9
[INFO] [stdout]     |
[INFO] [stdout] 375 |         Operand::Consume(ref lvalue) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:378:17
[INFO] [stdout]     |
[INFO] [stdout] 378 |                 Lvalue::Arg(ref arg) => data.arg_data[arg.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:380:17
[INFO] [stdout]     |
[INFO] [stdout] 380 |                 Lvalue::Temp(ref temp) => data.temp_data[temp.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:382:17
[INFO] [stdout]     |
[INFO] [stdout] 382 |                 Lvalue::Var(ref var) => data.var_data[var.index()].ty.to_string(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:461:9
[INFO] [stdout]     |
[INFO] [stdout] 461 |         Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:469:9
[INFO] [stdout]     |
[INFO] [stdout] 469 |         Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:483:9
[INFO] [stdout]     |
[INFO] [stdout] 483 |         Lvalue::Var(ref var) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:491:9
[INFO] [stdout]     |
[INFO] [stdout] 491 |         Lvalue::ReturnPointer => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:498:9
[INFO] [stdout]     |
[INFO] [stdout] 498 |         Lvalue::Projection(pro) => {
[INFO] [stdout]     |         ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:503:17
[INFO] [stdout]     |
[INFO] [stdout] 503 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:505:17
[INFO] [stdout]     |
[INFO] [stdout] 505 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:515:17
[INFO] [stdout]     |
[INFO] [stdout] 515 |                 Lvalue::Arg(ref arg) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:521:17
[INFO] [stdout]     |
[INFO] [stdout] 521 |                 Lvalue::Temp(ref temp) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:531:17
[INFO] [stdout]     |
[INFO] [stdout] 531 |                 Lvalue::Var(ref var) => {
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:542:17
[INFO] [stdout]     |
[INFO] [stdout] 542 |                 Lvalue::ReturnPointer => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:544:17
[INFO] [stdout]     |
[INFO] [stdout] 544 |                 Lvalue::Static(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Lvalue`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:546:17
[INFO] [stdout]     |
[INFO] [stdout] 546 |                 Lvalue::Projection(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^ use of undeclared type `Lvalue`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:553:17
[INFO] [stdout]     |
[INFO] [stdout] 553 |                 ProjectionElem::Field(ref field, _) => (field.index() as i32).to_string(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:555:17
[INFO] [stdout]     |
[INFO] [stdout] 555 |                 ProjectionElem::Index(_) => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:585:9
[INFO] [stdout]     |
[INFO] [stdout] 585 |         Operand::Consume (ref l) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:589:9
[INFO] [stdout]     |
[INFO] [stdout] 589 |         Operand::Constant (ref c) => {
[INFO] [stdout]     |         ^^^^^^^ use of undeclared type `Operand`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:591:17
[INFO] [stdout]     |
[INFO] [stdout] 591 |                 Literal::Value {ref value} => {
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:653:17
[INFO] [stdout]     |
[INFO] [stdout] 653 |                 Literal::Item {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Literal`
[INFO] [stdout]    --> src/weakest_precondition/mod.rs:655:17
[INFO] [stdout]     |
[INFO] [stdout] 655 |                 Literal::Promoted {..} => unimplemented!(),
[INFO] [stdout]     |                 ^^^^^^^ use of undeclared type `Literal`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 132 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0432, E0433, E0462, E0463, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rustproof` (lib) due to 133 previous errors
[INFO] running `Command { std: "docker" "inspect" "54282da4e8bd8a2b870537b575a03e6545a4b51dcdd53dd1886766a0f9952a36", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "54282da4e8bd8a2b870537b575a03e6545a4b51dcdd53dd1886766a0f9952a36", kill_on_drop: false }`
[INFO] [stdout] 54282da4e8bd8a2b870537b575a03e6545a4b51dcdd53dd1886766a0f9952a36
[INFO] checking rustproof-0.1.0 against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-4
[INFO] extracting crate rustproof 0.1.0 into /workspace/builds/worker-6-tc2/source
[INFO] validating manifest of crates.io crate rustproof 0.1.0 on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rustproof 0.1.0
[INFO] finished tweaking crates.io crate rustproof 0.1.0
[INFO] tweaked toml for crates.io crate rustproof 0.1.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "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" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: support for rustc plugins has been removed from rustc. library `rustproof` should not specify `plugin = true`
[INFO] [stderr] warning: support for `plugin = true` will be removed from cargo in the future
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7891341a24685a85def2f213b039cd996b99bf78458de9a5697880d80ab937bf
[INFO] running `Command { std: "docker" "start" "-a" "7891341a24685a85def2f213b039cd996b99bf78458de9a5697880d80ab937bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7891341a24685a85def2f213b039cd996b99bf78458de9a5697880d80ab937bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7891341a24685a85def2f213b039cd996b99bf78458de9a5697880d80ab937bf", kill_on_drop: false }`
[INFO] [stdout] 7891341a24685a85def2f213b039cd996b99bf78458de9a5697880d80ab937bf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1dd774ebf4df2549123cc3179f212f307aad5127be90d881d08cecb5078505e1
[INFO] running `Command { std: "docker" "start" "-a" "1dd774ebf4df2549123cc3179f212f307aad5127be90d881d08cecb5078505e1", kill_on_drop: false }`
[INFO] [stderr] Copying to /tmp/fixit
[INFO] [stderr] no edition found in manifest, probably 2015, skipping
[INFO] running `Command { std: "docker" "inspect" "1dd774ebf4df2549123cc3179f212f307aad5127be90d881d08cecb5078505e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1dd774ebf4df2549123cc3179f212f307aad5127be90d881d08cecb5078505e1", kill_on_drop: false }`
[INFO] [stdout] 1dd774ebf4df2549123cc3179f212f307aad5127be90d881d08cecb5078505e1