[INFO] cloning repository https://github.com/fschutt/miri-repl-test [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/fschutt/miri-repl-test" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffschutt%2Fmiri-repl-test", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffschutt%2Fmiri-repl-test'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6ea6de9e090bbf9f40c72d6edc1ec75d24b83939 [INFO] checking fschutt/miri-repl-test/6ea6de9e090bbf9f40c72d6edc1ec75d24b83939 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffschutt%2Fmiri-repl-test" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/fschutt/miri-repl-test on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/fschutt/miri-repl-test [INFO] finished tweaking git repo https://github.com/fschutt/miri-repl-test [INFO] tweaked toml for git repo https://github.com/fschutt/miri-repl-test written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/fschutt/miri-repl-test already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/rust-lang/miri` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded vergen v3.0.4 [INFO] [stderr] Downloaded failure v0.1.5 [INFO] [stderr] Downloaded rustc-demangle v0.1.14 [INFO] [stderr] Downloaded synstructure v0.10.1 [INFO] [stderr] Downloaded rustc-workspace-hack v1.0.0 [INFO] [stderr] Downloaded failure_derive v0.1.5 [INFO] [stderr] Downloaded hex v0.3.2 [INFO] [stderr] Downloaded serde v1.0.90 [INFO] [stderr] Downloaded redox_syscall v0.1.54 [INFO] [stderr] Downloaded cargo_metadata v0.6.4 [INFO] [stderr] Downloaded serde_derive v1.0.90 [INFO] [stderr] Downloaded directories v1.0.2 [INFO] [stderr] Downloaded autocfg v0.1.2 [INFO] [stderr] Downloaded error-chain v0.12.0 [INFO] [stderr] Downloaded num-traits v0.2.6 [INFO] [stderr] Downloaded backtrace v0.3.15 [INFO] [stderr] Downloaded cc v1.0.35 [INFO] [stderr] Downloaded aho-corasick v0.7.3 [INFO] [stderr] Downloaded chrono v0.4.6 [INFO] [stderr] Downloaded syn v0.15.32 [INFO] [stderr] Downloaded env_logger v0.6.1 [INFO] [stderr] Downloaded rand_jitter v0.1.3 [INFO] [stderr] Downloaded humantime v1.2.0 [INFO] [stderr] Downloaded num-integer v0.1.39 [INFO] [stderr] Downloaded regex-syntax v0.6.6 [INFO] [stderr] Downloaded regex v1.1.6 [INFO] [stderr] Downloaded shell-escape v0.1.4 [INFO] [stderr] Downloaded cfg-if v0.1.7 [INFO] [stderr] Downloaded libc v0.2.51 [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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f37aa4afaac31c561b7757c24f25274e9598dd5964b39313d5a8afd8f0489e2c [INFO] running `Command { std: "docker" "start" "-a" "f37aa4afaac31c561b7757c24f25274e9598dd5964b39313d5a8afd8f0489e2c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f37aa4afaac31c561b7757c24f25274e9598dd5964b39313d5a8afd8f0489e2c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f37aa4afaac31c561b7757c24f25274e9598dd5964b39313d5a8afd8f0489e2c", kill_on_drop: false }` [INFO] [stdout] f37aa4afaac31c561b7757c24f25274e9598dd5964b39313d5a8afd8f0489e2c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dfd7fbaedf88243b89874bb5ac7310e92c1a4b8a0c631a5822067d54b75588aa [INFO] running `Command { std: "docker" "start" "-a" "dfd7fbaedf88243b89874bb5ac7310e92c1a4b8a0c631a5822067d54b75588aa", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.51 [INFO] [stderr] Compiling autocfg v0.1.2 [INFO] [stderr] Compiling cc v1.0.35 [INFO] [stderr] Compiling proc-macro2 v0.4.27 [INFO] [stderr] Compiling syn v0.15.32 [INFO] [stderr] Checking rand_core v0.4.0 [INFO] [stderr] Compiling num-traits v0.2.6 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling failure_derive v0.1.5 [INFO] [stderr] Compiling serde v1.0.90 [INFO] [stderr] Compiling cfg-if v0.1.7 [INFO] [stderr] Compiling rustc-demangle v0.1.14 [INFO] [stderr] Compiling memchr v2.2.0 [INFO] [stderr] Compiling ryu v0.2.7 [INFO] [stderr] Checking ucd-util v0.1.3 [INFO] [stderr] Compiling regex v1.1.6 [INFO] [stderr] Checking semver-parser v0.7.0 [INFO] [stderr] Checking rand_core v0.3.1 [INFO] [stderr] Checking lazy_static v1.3.0 [INFO] [stderr] Compiling bitflags v1.0.4 [INFO] [stderr] Compiling backtrace v0.3.15 [INFO] [stderr] Compiling rand_pcg v0.1.2 [INFO] [stderr] Compiling rand_chacha v0.1.1 [INFO] [stderr] Compiling rand v0.6.5 [INFO] [stderr] Checking thread_local v0.3.6 [INFO] [stderr] Checking regex-syntax v0.6.6 [INFO] [stderr] Checking utf8-ranges v1.0.2 [INFO] [stderr] Checking itoa v0.4.3 [INFO] [stderr] Compiling byteorder v1.3.1 [INFO] [stderr] Checking quick-error v1.2.2 [INFO] [stderr] Checking rand_hc v0.1.0 [INFO] [stderr] Checking rand_xorshift v0.1.1 [INFO] [stderr] Checking humantime v1.2.0 [INFO] [stderr] Checking rand_isaac v0.1.1 [INFO] [stderr] Checking rand_jitter v0.1.3 [INFO] [stderr] Checking log v0.4.6 [INFO] [stderr] Checking termcolor v1.0.4 [INFO] [stderr] Checking rustc-workspace-hack v1.0.0 [INFO] [stderr] Checking hex v0.3.2 [INFO] [stderr] Checking aho-corasick v0.7.3 [INFO] [stderr] Checking shell-escape v0.1.4 [INFO] [stderr] Checking atty v0.2.11 [INFO] [stderr] Checking rand_os v0.1.3 [INFO] [stderr] Checking directories v1.0.2 [INFO] [stderr] Compiling time v0.1.42 [INFO] [stderr] Compiling quote v0.6.12 [INFO] [stderr] Compiling backtrace-sys v0.1.28 [INFO] [stderr] Compiling chrono v0.4.6 [INFO] [stderr] Checking error-chain v0.12.0 [INFO] [stderr] Compiling vergen v3.0.4 [INFO] [stderr] Checking env_logger v0.6.1 [INFO] [stderr] Compiling synstructure v0.10.1 [INFO] [stderr] Checking semver v0.9.0 [INFO] [stderr] Checking serde_json v1.0.39 [INFO] [stderr] Checking rustc_version v0.2.3 [INFO] [stderr] Compiling serde_derive v1.0.90 [INFO] [stderr] Compiling failure v0.1.5 [INFO] [stderr] Compiling miri v0.1.0 (https://github.com/rust-lang/miri?rev=96b22259cc0bacfeb7ca7fb9a370cf23e4649c36#96b22259) [INFO] [stderr] Checking cargo_metadata v0.6.4 [INFO] [stdout] error[E0463]: can't find crate for `syntax` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | extern crate syntax; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | 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/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.dfsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.asan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.lsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.msan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.tsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/f609b7e0586f81fefb3523e3e17adf779ac416be/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-nightly_rt.safestack.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_data_structures` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | 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_mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | extern crate rustc_mir; [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_target` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | extern crate rustc_target; [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 imports `crate::OpTy`, `crate::ImmTy`, `crate::Immediate`, `crate::Scalar`, `crate::ScalarMaybeUndef` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:7:14 [INFO] [stdout] | [INFO] [stdout] 7 | PlaceTy, OpTy, ImmTy, Immediate, Scalar, ScalarMaybeUndef, Tag, [INFO] [stdout] | ^^^^ ^^^^^ ^^^^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ no `ScalarMaybeUndef` in the root [INFO] [stdout] | | | | | [INFO] [stdout] | | | | no `Scalar` in the root [INFO] [stdout] | | | no `Immediate` in the root [INFO] [stdout] | | no `ImmTy` in the root [INFO] [stdout] | no `OpTy` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::EvalResult`, `crate::InterpError`, `crate::StackPopCleanup`, `crate::MPlaceTy`, `crate::Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | EvalResult, InterpError, StackPopCleanup, [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^^^^^^ no `StackPopCleanup` in the root [INFO] [stdout] | | | [INFO] [stdout] | | no `InterpError` in the root [INFO] [stdout] | no `EvalResult` in the root [INFO] [stdout] 8 | MPlaceTy, Scalar, Tag, [INFO] [stdout] | ^^^^^^^^ ^^^^^^ no `Scalar` in the root [INFO] [stdout] | | [INFO] [stdout] | no `MPlaceTy` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::EvalResult`, `crate::InterpError`, `crate::MutValueVisitor`, `crate::MemoryKind`, `crate::Allocation`, `crate::AllocationExtra`, `crate::Pointer`, `crate::Immediate`, `crate::ImmTy`, `crate::MPlaceTy` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | EvalResult, InterpError, MiriEvalContext, HelpersEvalContextExt, Evaluator, MutValueVisitor, [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^ no `InterpError` in the root ^^^^^^^^^^^^^^^ no `MutValueVisitor` in the root [INFO] [stdout] | | [INFO] [stdout] | no `EvalResult` in the root [INFO] [stdout] 13 | MemoryKind, MiriMemoryKind, RangeMap, Allocation, AllocationExtra, [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^ no `AllocationExtra` in the root [INFO] [stdout] | | | [INFO] [stdout] | | no `Allocation` in the root [INFO] [stdout] | no `MemoryKind` in the root [INFO] [stdout] 14 | Pointer, Immediate, ImmTy, PlaceTy, MPlaceTy, [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^ ^^^^^ ^^^^^^^^ no `MPlaceTy` in the root [INFO] [stdout] | | | | [INFO] [stdout] | | | no `ImmTy` in the root [INFO] [stdout] | | no `Immediate` in the root [INFO] [stdout] | no `Pointer` in the root [INFO] [stdout] | [INFO] [stdout] = help: consider importing one of these traits instead: [INFO] [stdout] crate::stacked_borrows::fmt::Pointer [INFO] [stdout] std::fmt::Pointer [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:348:28 [INFO] [stdout] | [INFO] [stdout] 348 | return err!(MachineError(format!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:314:36 [INFO] [stdout] | [INFO] [stdout] 314 | ... return err!(MachineError(format!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:226:17 [INFO] [stdout] | [INFO] [stdout] 226 | bug!("There can never be a SharedReadWrite or a Unique on top of a SharedReadOnly"), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:83:21 [INFO] [stdout] | [INFO] [stdout] 83 | None => err!(TlsOutOfBounds), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:72:21 [INFO] [stdout] | [INFO] [stdout] 72 | None => err!(TlsOutOfBounds), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:62:21 [INFO] [stdout] | [INFO] [stdout] 62 | None => err!(TlsOutOfBounds), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:484:28 [INFO] [stdout] | [INFO] [stdout] 484 | name => return err!(Unimplemented(format!("unimplemented intrinsic: {}", name))), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:428:28 [INFO] [stdout] | [INFO] [stdout] 428 | return err!(Intrinsic(format!("Division by 0 in unchecked_rem"))); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:413:28 [INFO] [stdout] | [INFO] [stdout] 413 | return err!(Intrinsic(format!("Division by 0 in unchecked_div"))); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:318:28 [INFO] [stdout] | [INFO] [stdout] 318 | return err!(Intrinsic(format!("Trying to instantiate uninhabited type {}", ty))) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:250:28 [INFO] [stdout] | [INFO] [stdout] 250 | return err!(ValidationFailure(format!("exact_div: {:?} cannot be divided by {:?}", a, b))); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:238:26 [INFO] [stdout] | [INFO] [stdout] 238 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:224:26 [INFO] [stdout] | [INFO] [stdout] 224 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:203:26 [INFO] [stdout] | [INFO] [stdout] 203 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:147:26 [INFO] [stdout] | [INFO] [stdout] 147 | _ => bug!(), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:135:28 [INFO] [stdout] | [INFO] [stdout] 135 | return err!(Unimplemented(format!("Atomic arithmetic operations only work on integer types"))); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:46:28 [INFO] [stdout] | [INFO] [stdout] 46 | return err!(AssumptionNotHeld); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:488:25 [INFO] [stdout] | [INFO] [stdout] 488 | _ => return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:107:16 [INFO] [stdout] | [INFO] [stdout] 107 | return err!(AbiViolation(format!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:88:16 [INFO] [stdout] | [INFO] [stdout] 88 | return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:368:21 [INFO] [stdout] | [INFO] [stdout] 368 | bug!("Found {:?} on top of a SharedReadOnly!", perm); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:205:17 [INFO] [stdout] | [INFO] [stdout] 205 | bug!("we should always short-circuit before coming to a primitive") [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:183:25 [INFO] [stdout] | [INFO] [stdout] 183 | bug!("a union is not an aggregate we should ever visit") [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:353:17 [INFO] [stdout] | [INFO] [stdout] 353 | err!(InvalidPointerMath) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:319:24 [INFO] [stdout] | [INFO] [stdout] 319 | return err!(Unimplemented(msg)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:307:28 [INFO] [stdout] | [INFO] [stdout] 307 | return err!(ReadPointerAsBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:283:28 [INFO] [stdout] | [INFO] [stdout] 283 | return err!(ReadPointerAsBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:228:24 [INFO] [stdout] | [INFO] [stdout] 228 | return err!(InvalidPointerMath); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:133:18 [INFO] [stdout] | [INFO] [stdout] 133 | _ => err!(InvalidPointerMath), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:109:21 [INFO] [stdout] | [INFO] [stdout] 109 | err!(InvalidPointerMath) [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:104:30 [INFO] [stdout] | [INFO] [stdout] 104 | _ => bug!("We already established it has to be one of these operators."), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `bug` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:56:26 [INFO] [stdout] | [INFO] [stdout] 56 | _ => bug!("Type system should not allow comparing Scalar with ScalarPair"), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:871:13 [INFO] [stdout] | [INFO] [stdout] 871 | err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:827:24 [INFO] [stdout] | [INFO] [stdout] 827 | return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:743:28 [INFO] [stdout] | [INFO] [stdout] 743 | return err!(OutOfTls); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:600:28 [INFO] [stdout] | [INFO] [stdout] 600 | return err!(OutOfTls); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:586:51 [INFO] [stdout] | [INFO] [stdout] 586 | Scalar::Bits { .. } => return err!(ReadBytesAsPointer), [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:565:28 [INFO] [stdout] | [INFO] [stdout] 565 | return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:303:24 [INFO] [stdout] | [INFO] [stdout] 303 | return err!(Unimplemented(format!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:290:32 [INFO] [stdout] | [INFO] [stdout] 290 | return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:252:28 [INFO] [stdout] | [INFO] [stdout] 252 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:249:28 [INFO] [stdout] | [INFO] [stdout] 249 | return err!(HeapAllocZeroBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:235:28 [INFO] [stdout] | [INFO] [stdout] 235 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:232:28 [INFO] [stdout] | [INFO] [stdout] 232 | return err!(HeapAllocZeroBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:214:28 [INFO] [stdout] | [INFO] [stdout] 214 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:211:28 [INFO] [stdout] | [INFO] [stdout] 211 | return err!(HeapAllocZeroBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:197:28 [INFO] [stdout] | [INFO] [stdout] 197 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:194:28 [INFO] [stdout] | [INFO] [stdout] 194 | return err!(HeapAllocZeroBytes); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:122:28 [INFO] [stdout] | [INFO] [stdout] 122 | return err!(MachineError(format!( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:119:28 [INFO] [stdout] | [INFO] [stdout] 119 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:78:24 [INFO] [stdout] | [INFO] [stdout] 78 | return err!(Unimplemented( [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find macro `err` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:75:24 [INFO] [stdout] | [INFO] [stdout] 75 | return err!(MachineError("the evaluated program panicked".to_string())); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Ne` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:49:13 [INFO] [stdout] | [INFO] [stdout] 49 | Eq | Ne => { [INFO] [stdout] | ^^ -- variable not in all patterns [INFO] [stdout] | | [INFO] [stdout] | pattern doesn't bind `Ne` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Eq` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:49:18 [INFO] [stdout] | [INFO] [stdout] 49 | Eq | Ne => { [INFO] [stdout] | -- ^^ pattern doesn't bind `Eq` [INFO] [stdout] | | [INFO] [stdout] | variable not in all patterns [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Le` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ -- ^^ ^^ ^^^ pattern doesn't bind `Le` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | pattern doesn't bind `Le` [INFO] [stdout] | | | pattern doesn't bind `Le` [INFO] [stdout] | | variable not in all patterns [INFO] [stdout] | pattern doesn't bind `Le` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Le` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:18 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Gt` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ ^^ -- ^^ ^^^ pattern doesn't bind `Gt` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | pattern doesn't bind `Gt` [INFO] [stdout] | | | variable not in all patterns [INFO] [stdout] | | pattern doesn't bind `Gt` [INFO] [stdout] | pattern doesn't bind `Gt` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Gt` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:23 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Ge` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ ^^ ^^ -- ^^^ pattern doesn't bind `Ge` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | variable not in all patterns [INFO] [stdout] | | | pattern doesn't bind `Ge` [INFO] [stdout] | | pattern doesn't bind `Ge` [INFO] [stdout] | pattern doesn't bind `Ge` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Ge` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:28 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Sub` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ ^^ ^^ ^^ --- variable not in all patterns [INFO] [stdout] | | | | | [INFO] [stdout] | | | | pattern doesn't bind `Sub` [INFO] [stdout] | | | pattern doesn't bind `Sub` [INFO] [stdout] | | pattern doesn't bind `Sub` [INFO] [stdout] | pattern doesn't bind `Sub` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Sub` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Lt` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:18 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | -- ^^ ^^ ^^ ^^^ pattern doesn't bind `Lt` [INFO] [stdout] | | | | | [INFO] [stdout] | | | | pattern doesn't bind `Lt` [INFO] [stdout] | | | pattern doesn't bind `Lt` [INFO] [stdout] | | pattern doesn't bind `Lt` [INFO] [stdout] | variable not in all patterns [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Lt` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:84:13 [INFO] [stdout] | [INFO] [stdout] 84 | Lt | Le | Gt | Ge | Sub if left.is_ptr() && right.is_ptr() => { [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `BitAnd` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:13 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ ------ ^^^ ^^^ pattern doesn't bind `BitAnd` [INFO] [stdout] | | | | [INFO] [stdout] | | | pattern doesn't bind `BitAnd` [INFO] [stdout] | | variable not in all patterns [INFO] [stdout] | pattern doesn't bind `BitAnd` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::BitAnd` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:19 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Sub` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:13 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ ^^^^^^ --- ^^^ pattern doesn't bind `Sub` [INFO] [stdout] | | | | [INFO] [stdout] | | | variable not in all patterns [INFO] [stdout] | | pattern doesn't bind `Sub` [INFO] [stdout] | pattern doesn't bind `Sub` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Sub` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:28 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Rem` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:13 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ ^^^^^^ ^^^ --- variable not in all patterns [INFO] [stdout] | | | | [INFO] [stdout] | | | pattern doesn't bind `Rem` [INFO] [stdout] | | pattern doesn't bind `Rem` [INFO] [stdout] | pattern doesn't bind `Rem` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Rem` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:34 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Add` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:19 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | --- ^^^^^^ ^^^ ^^^ pattern doesn't bind `Add` [INFO] [stdout] | | | | [INFO] [stdout] | | | pattern doesn't bind `Add` [INFO] [stdout] | | pattern doesn't bind `Add` [INFO] [stdout] | variable not in all patterns [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Add` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:113:13 [INFO] [stdout] | [INFO] [stdout] 113 | Add | BitAnd | Sub | Rem if left.is_ptr() && right.is_bits() => { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `BitAnd` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:123:13 [INFO] [stdout] | [INFO] [stdout] 123 | Add | BitAnd if left.is_bits() && right.is_ptr() => { [INFO] [stdout] | ^^^ ------ variable not in all patterns [INFO] [stdout] | | [INFO] [stdout] | pattern doesn't bind `BitAnd` [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::BitAnd` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:123:19 [INFO] [stdout] | [INFO] [stdout] 123 | Add | BitAnd if left.is_bits() && right.is_ptr() => { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0408]: variable `Add` is not bound in all patterns [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:123:19 [INFO] [stdout] | [INFO] [stdout] 123 | Add | BitAnd if left.is_bits() && right.is_ptr() => { [INFO] [stdout] | --- ^^^^^^ pattern doesn't bind `Add` [INFO] [stdout] | | [INFO] [stdout] | variable not in all patterns [INFO] [stdout] | [INFO] [stdout] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `path::to::ModOrType::Add` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:123:13 [INFO] [stdout] | [INFO] [stdout] 123 | Add | BitAnd if left.is_bits() && right.is_ptr() => { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `OpTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:16:17 [INFO] [stdout] | [INFO] [stdout] 16 | args: &[OpTy<'tcx, Tag>], [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `OpTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | args: &[OpTy<'tcx, Tag>], [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:61:10 [INFO] [stdout] | [INFO] [stdout] 61 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:838:59 [INFO] [stdout] | [INFO] [stdout] 838 | fn write_null(&mut self, dest: PlaceTy<'tcx, Tag>) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:844:54 [INFO] [stdout] | [INFO] [stdout] 844 | fn eval_path_scalar(&mut self, path: &[&str]) -> EvalResult<'tcx, Option>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ScalarMaybeUndef` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:844:78 [INFO] [stdout] | [INFO] [stdout] 844 | fn eval_path_scalar(&mut self, path: &[&str]) -> EvalResult<'tcx, Option>> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `GlobalId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:847:23 [INFO] [stdout] | [INFO] [stdout] 847 | let cid = GlobalId { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalError` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:862:22 [INFO] [stdout] | [INFO] [stdout] 862 | ) -> Result, EvalError<'tcx>> { [INFO] [stdout] | ^^^^^^^^^ help: a struct with a similar name exists: `Evaluator` [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:317:1 [INFO] [stdout] | [INFO] [stdout] 317 | pub struct Evaluator<'tcx> { [INFO] [stdout] | -------------------------- similarly named struct `Evaluator` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:10:15 [INFO] [stdout] | [INFO] [stdout] 10 | left: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:11:16 [INFO] [stdout] | [INFO] [stdout] 11 | right: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:12:10 [INFO] [stdout] | [INFO] [stdout] 12 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:12:28 [INFO] [stdout] | [INFO] [stdout] 12 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:17:15 [INFO] [stdout] | [INFO] [stdout] 17 | left: Pointer, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 1 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:20:10 [INFO] [stdout] | [INFO] [stdout] 20 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:20:28 [INFO] [stdout] | [INFO] [stdout] 20 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:24:15 [INFO] [stdout] | [INFO] [stdout] 24 | left: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:25:16 [INFO] [stdout] | [INFO] [stdout] 25 | right: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:26:10 [INFO] [stdout] | [INFO] [stdout] 26 | ) -> EvalResult<'tcx, bool>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:30:14 [INFO] [stdout] | [INFO] [stdout] 30 | ptr: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:33:10 [INFO] [stdout] | [INFO] [stdout] 33 | ) -> EvalResult<'tcx, Scalar>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:33:27 [INFO] [stdout] | [INFO] [stdout] 33 | ) -> EvalResult<'tcx, Scalar>; [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:40:15 [INFO] [stdout] | [INFO] [stdout] 40 | left: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:41:16 [INFO] [stdout] | [INFO] [stdout] 41 | right: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:42:10 [INFO] [stdout] | [INFO] [stdout] 42 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:42:28 [INFO] [stdout] | [INFO] [stdout] 42 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `Offset` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:68:68 [INFO] [stdout] | [INFO] [stdout] 68 | debug_assert!(left.is_ptr() || right.is_ptr() || bin_op == Offset); [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this function [INFO] [stdout] | [INFO] [stdout] 1 + use std::intrinsics::mir::Offset; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:139:15 [INFO] [stdout] | [INFO] [stdout] 139 | left: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:140:16 [INFO] [stdout] | [INFO] [stdout] 140 | right: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:141:10 [INFO] [stdout] | [INFO] [stdout] 141 | ) -> EvalResult<'tcx, bool> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:236:15 [INFO] [stdout] | [INFO] [stdout] 236 | left: Pointer, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 1 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:239:10 [INFO] [stdout] | [INFO] [stdout] 239 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:239:28 [INFO] [stdout] | [INFO] [stdout] 239 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:242:41 [INFO] [stdout] | [INFO] [stdout] 242 | fn map_to_primval((res, over): (Pointer, bool)) -> (Scalar, bool) { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 1 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:242:66 [INFO] [stdout] | [INFO] [stdout] 242 | fn map_to_primval((res, over): (Pointer, bool)) -> (Scalar, bool) { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Pointer` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:272:37 [INFO] [stdout] | [INFO] [stdout] 272 | Scalar::Ptr(Pointer::new_with_tag( [INFO] [stdout] | ^^^^^^^ use of undeclared type `Pointer` [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 1 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:330:14 [INFO] [stdout] | [INFO] [stdout] 330 | ptr: Scalar, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:333:10 [INFO] [stdout] | [INFO] [stdout] 333 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:333:27 [INFO] [stdout] | [INFO] [stdout] 333 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:12:46 [INFO] [stdout] | [INFO] [stdout] 12 | fn resolve_path(&self, path: &[&str]) -> EvalResult<'tcx, ty::Instance<'tcx>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:50:16 [INFO] [stdout] | [INFO] [stdout] 50 | place: MPlaceTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:52:32 [INFO] [stdout] | [INFO] [stdout] 52 | mut action: impl FnMut(Pointer, Size, bool) -> EvalResult<'tcx>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 1 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:52:61 [INFO] [stdout] | [INFO] [stdout] 52 | mut action: impl FnMut(Pointer, Size, bool) -> EvalResult<'tcx>, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:53:10 [INFO] [stdout] | [INFO] [stdout] 53 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:67:56 [INFO] [stdout] | [INFO] [stdout] 67 | let mut unsafe_cell_action = |unsafe_cell_ptr: Scalar, unsafe_cell_size: Size| { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:123:28 [INFO] [stdout] | [INFO] [stdout] 123 | where F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:123:52 [INFO] [stdout] | [INFO] [stdout] 123 | where F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `ValueVisitor` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:130:13 [INFO] [stdout] | [INFO] [stdout] 130 | ValueVisitor<'a, 'mir, 'tcx, Evaluator<'tcx>> [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:134:22 [INFO] [stdout] | [INFO] [stdout] 134 | F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:134:46 [INFO] [stdout] | [INFO] [stdout] 134 | F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:136:22 [INFO] [stdout] | [INFO] [stdout] 136 | type V = MPlaceTy<'tcx, Tag>; [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:144:42 [INFO] [stdout] | [INFO] [stdout] 144 | fn visit_value(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:144:66 [INFO] [stdout] | [INFO] [stdout] 144 | fn visit_value(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:166:24 [INFO] [stdout] | [INFO] [stdout] 166 | place: MPlaceTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:167:44 [INFO] [stdout] | [INFO] [stdout] 167 | fields: impl Iterator>>, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:167:61 [INFO] [stdout] | [INFO] [stdout] 167 | fields: impl Iterator>>, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:168:18 [INFO] [stdout] | [INFO] [stdout] 168 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:177:59 [INFO] [stdout] | [INFO] [stdout] 177 | let mut places = fields.collect::>>>()?; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:177:80 [INFO] [stdout] | [INFO] [stdout] 177 | let mut places = fields.collect::>>>()?; [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:189:42 [INFO] [stdout] | [INFO] [stdout] 189 | fn visit_union(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:189:66 [INFO] [stdout] | [INFO] [stdout] 189 | fn visit_union(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:203:47 [INFO] [stdout] | [INFO] [stdout] 203 | fn visit_primitive(&mut self, _v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:203:71 [INFO] [stdout] | [INFO] [stdout] 203 | fn visit_primitive(&mut self, _v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:77:6 [INFO] [stdout] | [INFO] [stdout] 77 | ) -> EvalResult<'tcx, InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:77:23 [INFO] [stdout] | [INFO] [stdout] 77 | ) -> EvalResult<'tcx, InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>> { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:159:27 [INFO] [stdout] | [INFO] [stdout] 159 | let mut argvs = Vec::>::new(); [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 24 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:227:14 [INFO] [stdout] | [INFO] [stdout] 227 | let res: EvalResult = (|| { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MemoryKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:299:11 [INFO] [stdout] | [INFO] [stdout] 299 | impl Into> for MiriMemoryKind { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MemoryKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:301:22 [INFO] [stdout] | [INFO] [stdout] 301 | fn into(self) -> MemoryKind { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `MayLeak` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:306:6 [INFO] [stdout] | [INFO] [stdout] 306 | impl MayLeak for MiriMemoryKind { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:320:43 [INFO] [stdout] | [INFO] [stdout] 320 | pub(crate) env_vars: HashMap, Pointer>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 24 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:325:29 [INFO] [stdout] | [INFO] [stdout] 325 | pub(crate) argc: Option>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 24 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:326:29 [INFO] [stdout] | [INFO] [stdout] 326 | pub(crate) argv: Option>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 24 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Pointer` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:327:33 [INFO] [stdout] | [INFO] [stdout] 327 | pub(crate) cmd_line: Option>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this trait [INFO] [stdout] | [INFO] [stdout] 24 + use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:360:40 [INFO] [stdout] | [INFO] [stdout] 360 | type MiriEvalContext<'a, 'mir, 'tcx> = InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>; [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Machine` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:378:22 [INFO] [stdout] | [INFO] [stdout] 378 | impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `AllocId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:386:34 [INFO] [stdout] | [INFO] [stdout] 386 | type MemoryMap = MonoHashMap, Allocation)>; [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: you might be missing a type parameter [INFO] [stdout] | [INFO] [stdout] 378 | impl<'a, 'mir, 'tcx, AllocId> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> { [INFO] [stdout] | +++++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MemoryKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:386:44 [INFO] [stdout] | [INFO] [stdout] 386 | type MemoryMap = MonoHashMap, Allocation)>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:386:72 [INFO] [stdout] | [INFO] [stdout] 386 | type MemoryMap = MonoHashMap, Allocation)>; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:391:31 [INFO] [stdout] | [INFO] [stdout] 391 | fn enforce_validity(ecx: &InterpretCx<'a, 'mir, 'tcx, Self>) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:398:19 [INFO] [stdout] | [INFO] [stdout] 398 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `OpTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:400:17 [INFO] [stdout] | [INFO] [stdout] 400 | args: &[OpTy<'tcx, Tag>], [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:403:10 [INFO] [stdout] | [INFO] [stdout] 403 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `OpTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:411:17 [INFO] [stdout] | [INFO] [stdout] 411 | args: &[OpTy<'tcx, Tag>], [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:413:10 [INFO] [stdout] | [INFO] [stdout] 413 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:421:15 [INFO] [stdout] | [INFO] [stdout] 421 | left: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImmTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:422:16 [INFO] [stdout] | [INFO] [stdout] 422 | right: ImmTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:423:10 [INFO] [stdout] | [INFO] [stdout] 423 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:423:28 [INFO] [stdout] | [INFO] [stdout] 423 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:428:19 [INFO] [stdout] | [INFO] [stdout] 428 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:430:10 [INFO] [stdout] | [INFO] [stdout] 430 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:473:10 [INFO] [stdout] | [INFO] [stdout] 473 | ) -> EvalResult<'tcx, Cow<'tcx, Allocation>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:473:37 [INFO] [stdout] | [INFO] [stdout] 473 | ) -> EvalResult<'tcx, Cow<'tcx, Allocation>> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:496:37 [INFO] [stdout] | [INFO] [stdout] 496 | fn before_terminator(_ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:496:75 [INFO] [stdout] | [INFO] [stdout] 496 | fn before_terminator(_ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:503:20 [INFO] [stdout] | [INFO] [stdout] 503 | alloc: &'b Allocation, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:505:18 [INFO] [stdout] | [INFO] [stdout] 505 | ) -> Cow<'b, Allocation> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:511:20 [INFO] [stdout] | [INFO] [stdout] 511 | let alloc: Allocation = Allocation { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Allocation` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:511:56 [INFO] [stdout] | [INFO] [stdout] 511 | let alloc: Allocation = Allocation { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MemoryKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:530:15 [INFO] [stdout] | [INFO] [stdout] 530 | kind: MemoryKind, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:537:16 [INFO] [stdout] | [INFO] [stdout] 537 | _ecx: &InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `MPlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:538:16 [INFO] [stdout] | [INFO] [stdout] 538 | place: MPlaceTy<'tcx, Tag>, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:540:10 [INFO] [stdout] | [INFO] [stdout] 540 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Scalar` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:540:27 [INFO] [stdout] | [INFO] [stdout] 540 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:547:19 [INFO] [stdout] | [INFO] [stdout] 547 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:550:10 [INFO] [stdout] | [INFO] [stdout] 550 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:565:19 [INFO] [stdout] | [INFO] [stdout] 565 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:566:10 [INFO] [stdout] | [INFO] [stdout] 566 | ) -> EvalResult<'tcx, stacked_borrows::CallId> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:572:19 [INFO] [stdout] | [INFO] [stdout] 572 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stdout] | ^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:574:10 [INFO] [stdout] | [INFO] [stdout] 574 | ) -> EvalResult<'tcx> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:472:24 [INFO] [stdout] | [INFO] [stdout] 472 | memory_extra: &Self::MemoryExtra, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `MemoryExtra` implemented for `Evaluator<'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 472 | memory_extra: & as Example>::MemoryExtra, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:504:24 [INFO] [stdout] | [INFO] [stdout] 504 | memory_extra: &Self::MemoryExtra, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `MemoryExtra` implemented for `Evaluator<'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 504 | memory_extra: & as Example>::MemoryExtra, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:529:17 [INFO] [stdout] | [INFO] [stdout] 529 | extra: &Self::MemoryExtra, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `MemoryExtra` implemented for `Evaluator<'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 529 | extra: & as Example>::MemoryExtra, [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:531:11 [INFO] [stdout] | [INFO] [stdout] 531 | ) -> (Self::AllocExtra, Self::PointerTag) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `AllocExtra` implemented for `Evaluator<'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 531 | ) -> ( as Example>::AllocExtra, Self::PointerTag) { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0223]: ambiguous associated type [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:531:29 [INFO] [stdout] | [INFO] [stdout] 531 | ) -> (Self::AllocExtra, Self::PointerTag) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: if there were a trait named `Example` with associated type `PointerTag` implemented for `Evaluator<'tcx>`, you could use the fully-qualified path [INFO] [stdout] | [INFO] [stdout] 531 | ) -> (Self::AllocExtra, as Example>::PointerTag) { [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0392]: lifetime parameter `'tcx` is never used [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:20:20 [INFO] [stdout] | [INFO] [stdout] 20 | pub struct TlsData<'tcx> { [INFO] [stdout] | ^^^^ unused lifetime parameter [INFO] [stdout] | [INFO] [stdout] = help: consider removing `'tcx`, referring to it in a field, or using a marker such as `PhantomData` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:35:31 [INFO] [stdout] | [INFO] [stdout] 35 | this.write_scalar(Scalar::from_uint(n, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:95:39 [INFO] [stdout] | [INFO] [stdout] 95 | this.write_scalar(Scalar::Ptr(ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpError` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:101:66 [INFO] [stdout] | [INFO] [stdout] 101 | let bytes = items.checked_mul(len).ok_or_else(|| InterpError::Overflow(mir::BinOp::Mul))?; [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpError` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:110:39 [INFO] [stdout] | [INFO] [stdout] 110 | this.write_scalar(Scalar::Ptr(ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:135:39 [INFO] [stdout] | [INFO] [stdout] 135 | this.write_scalar(Scalar::Ptr(ptr), ret.into())?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:163:43 [INFO] [stdout] | [INFO] [stdout] 163 | this.write_scalar(Scalar::Ptr(new_ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:185:43 [INFO] [stdout] | [INFO] [stdout] 185 | this.write_scalar(Scalar::Ptr(new_ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:205:35 [INFO] [stdout] | [INFO] [stdout] 205 | this.write_scalar(Scalar::Ptr(ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:225:35 [INFO] [stdout] | [INFO] [stdout] 225 | this.write_scalar(Scalar::Ptr(ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:262:35 [INFO] [stdout] | [INFO] [stdout] 262 | this.write_scalar(Scalar::Ptr(new_ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:287:43 [INFO] [stdout] | [INFO] [stdout] 287 | this.write_scalar(Scalar::from_uint(len, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MPlaceTy` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:327:33 [INFO] [stdout] | [INFO] [stdout] 327 | let ret_place = MPlaceTy::dangling(this.layout_of(this.tcx.mk_unit())?, this).into(); [INFO] [stdout] | ^^^^^^^^ use of undeclared type `MPlaceTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StackPopCleanup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:334:21 [INFO] [stdout] | [INFO] [stdout] 334 | StackPopCleanup::Goto(Some(ret)), [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `StackPopCleanup` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpError` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:339:21 [INFO] [stdout] | [INFO] [stdout] 339 | InterpError::AbiViolation( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpError` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:374:21 [INFO] [stdout] | [INFO] [stdout] 374 | Scalar::from_int(result, Size::from_bits(32)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:415:39 [INFO] [stdout] | [INFO] [stdout] 415 | Some(&var) => Scalar::Ptr(var), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:416:33 [INFO] [stdout] | [INFO] [stdout] 416 | None => Scalar::ptr_null(&*this.tcx), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:444:39 [INFO] [stdout] | [INFO] [stdout] 444 | this.write_scalar(Scalar::from_int(-1, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:487:39 [INFO] [stdout] | [INFO] [stdout] 487 | this.write_scalar(Scalar::from_int(-1, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:525:21 [INFO] [stdout] | [INFO] [stdout] 525 | Scalar::from_int(result, dest.layout.size), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:533:35 [INFO] [stdout] | [INFO] [stdout] 533 | this.write_scalar(Scalar::from_uint(n as u64, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:538:35 [INFO] [stdout] | [INFO] [stdout] 538 | this.write_scalar(Scalar::from_int(0, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:547:49 [INFO] [stdout] | [INFO] [stdout] 547 | (&["libc", "_SC_PAGESIZE"], Scalar::from_int(4096, dest.layout.size)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:548:57 [INFO] [stdout] | [INFO] [stdout] 548 | (&["libc", "_SC_GETPW_R_SIZE_MAX"], Scalar::from_int(-1, dest.layout.size)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:549:57 [INFO] [stdout] | [INFO] [stdout] 549 | (&["libc", "_SC_NPROCESSORS_ONLN"], Scalar::from_int(1, dest.layout.size)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:581:21 [INFO] [stdout] | [INFO] [stdout] 581 | Scalar::Ptr(dtor_ptr) => Some(this.memory().get_fn(dtor_ptr)?), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:582:21 [INFO] [stdout] | [INFO] [stdout] 582 | Scalar::Bits { bits: 0, size } => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:586:21 [INFO] [stdout] | [INFO] [stdout] 586 | Scalar::Bits { .. } => return err!(ReadBytesAsPointer), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpError` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:593:36 [INFO] [stdout] | [INFO] [stdout] 593 | ... .ok_or_else(|| InterpError::AbiViolation("wrong signature used for `pthread_key_create`: first argument must be a raw pointer.".to_... [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpError` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:607:21 [INFO] [stdout] | [INFO] [stdout] 607 | Scalar::from_uint(key, key_layout.size).into(), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:643:34 [INFO] [stdout] | [INFO] [stdout] 643 | let stack_addr = Scalar::from_int(0x80000, args[1].layout.size); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:650:34 [INFO] [stdout] | [INFO] [stdout] 650 | let stack_addr = Scalar::from_int(0x80000, dest.layout.size); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:683:35 [INFO] [stdout] | [INFO] [stdout] 683 | this.write_scalar(Scalar::Ptr(this.machine.argc.unwrap()), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:686:35 [INFO] [stdout] | [INFO] [stdout] 686 | this.write_scalar(Scalar::Ptr(this.machine.argv.unwrap()), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:695:35 [INFO] [stdout] | [INFO] [stdout] 695 | this.write_scalar(Scalar::from_uint(this.machine.last_error, Size::from_bits(32)), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:700:35 [INFO] [stdout] | [INFO] [stdout] 700 | this.write_scalar(Scalar::from_int(1, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:729:25 [INFO] [stdout] | [INFO] [stdout] 729 | Scalar::from_int(1, dword_size).into(), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:745:35 [INFO] [stdout] | [INFO] [stdout] 745 | this.write_scalar(Scalar::from_uint(key, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:758:35 [INFO] [stdout] | [INFO] [stdout] 758 | this.write_scalar(Scalar::from_int(1, dest.layout.size), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:764:35 [INFO] [stdout] | [INFO] [stdout] 764 | this.write_scalar(Scalar::from_int(which, this.pointer_size()), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:791:39 [INFO] [stdout] | [INFO] [stdout] 791 | this.write_scalar(Scalar::from_uint(n, Size::from_bits(32)), written_place.into())?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:795:21 [INFO] [stdout] | [INFO] [stdout] 795 | Scalar::from_int(if written.is_some() { 1 } else { 0 }, dest.layout.size), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:809:35 [INFO] [stdout] | [INFO] [stdout] 809 | this.write_scalar(Scalar::Ptr(this.machine.cmd_line.unwrap()), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:822:35 [INFO] [stdout] | [INFO] [stdout] 822 | this.write_scalar(Scalar::from_bool(true), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:839:46 [INFO] [stdout] | [INFO] [stdout] 839 | self.eval_context_mut().write_scalar(Scalar::from_int(0, dest.layout.size), dest) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Immediate` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:51:22 [INFO] [stdout] | [INFO] [stdout] 51 | (Immediate::Scalar(left), Immediate::Scalar(right)) => [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Immediate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Immediate` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:51:47 [INFO] [stdout] | [INFO] [stdout] 51 | (Immediate::Scalar(left), Immediate::Scalar(right)) => [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Immediate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Immediate` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:53:22 [INFO] [stdout] | [INFO] [stdout] 53 | (Immediate::ScalarPair(left1, left2), Immediate::ScalarPair(right1, right2)) => [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Immediate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Immediate` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:53:59 [INFO] [stdout] | [INFO] [stdout] 53 | (Immediate::ScalarPair(left1, left2), Immediate::ScalarPair(right1, right2)) => [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `Immediate` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:58:28 [INFO] [stdout] | [INFO] [stdout] 58 | return Ok((Scalar::from_bool(if bin_op == Eq { eq } else { !eq }), false)); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:95:47 [INFO] [stdout] | [INFO] [stdout] 95 | ... let left_offset = Scalar::from_uint(left.offset.bytes(), self.memory().pointer_size()); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:96:48 [INFO] [stdout] | [INFO] [stdout] 96 | ... let right_offset = Scalar::from_uint(right.offset.bytes(), self.memory().pointer_size()); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ImmTy` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:100:33 [INFO] [stdout] | [INFO] [stdout] 100 | ... ImmTy::from_scalar(left_offset, layout), [INFO] [stdout] | ^^^^^ use of undeclared type `ImmTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ImmTy` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:101:33 [INFO] [stdout] | [INFO] [stdout] 101 | ... ImmTy::from_scalar(right_offset, layout), [INFO] [stdout] | ^^^^^ use of undeclared type `ImmTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:106:25 [INFO] [stdout] | [INFO] [stdout] 106 | Ok((Scalar::from_bool(res), false)) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:144:14 [INFO] [stdout] | [INFO] [stdout] 144 | (Scalar::Bits { .. }, Scalar::Bits { .. }) => [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:144:35 [INFO] [stdout] | [INFO] [stdout] 144 | (Scalar::Bits { .. }, Scalar::Bits { .. }) => [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:146:14 [INFO] [stdout] | [INFO] [stdout] 146 | (Scalar::Ptr(left), Scalar::Ptr(right)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:146:33 [INFO] [stdout] | [INFO] [stdout] 146 | (Scalar::Ptr(left), Scalar::Ptr(right)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:161:58 [INFO] [stdout] | [INFO] [stdout] 161 | self.memory().check_bounds_ptr(left, InboundsCheck::Live)?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:162:59 [INFO] [stdout] | [INFO] [stdout] 162 | self.memory().check_bounds_ptr(right, InboundsCheck::Live)?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:168:14 [INFO] [stdout] | [INFO] [stdout] 168 | (Scalar::Ptr(ptr), Scalar::Bits { bits, size }) | [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:168:32 [INFO] [stdout] | [INFO] [stdout] 168 | (Scalar::Ptr(ptr), Scalar::Bits { bits, size }) | [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:169:14 [INFO] [stdout] | [INFO] [stdout] 169 | (Scalar::Bits { bits, size }, Scalar::Ptr(ptr)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:169:43 [INFO] [stdout] | [INFO] [stdout] 169 | (Scalar::Bits { bits, size }, Scalar::Ptr(ptr)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:186:60 [INFO] [stdout] | [INFO] [stdout] 186 | if self.memory().check_bounds_ptr(ptr, InboundsCheck::MaybeDead).is_ok() { [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:192:55 [INFO] [stdout] | [INFO] [stdout] 192 | .get_size_and_align(ptr.alloc_id, InboundsCheck::MaybeDead) [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:243:14 [INFO] [stdout] | [INFO] [stdout] 243 | (Scalar::Ptr(res), over) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:272:25 [INFO] [stdout] | [INFO] [stdout] 272 | Scalar::Ptr(Pointer::new_with_tag( [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:281:22 [INFO] [stdout] | [INFO] [stdout] 281 | (Scalar::Bits { bits: (left.offset.bytes() as u128) & right, size: ptr_size }, false) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:295:22 [INFO] [stdout] | [INFO] [stdout] 295 | (Scalar::Bits { bits: 0, size: ptr_size }, false) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:300:25 [INFO] [stdout] | [INFO] [stdout] 300 | Scalar::Bits { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpError` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:338:28 [INFO] [stdout] | [INFO] [stdout] 338 | .ok_or_else(|| InterpError::Overflow(mir::BinOp::Mul))?; [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpError` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:340:16 [INFO] [stdout] | [INFO] [stdout] 340 | if let Scalar::Ptr(ptr) = ptr { [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:343:49 [INFO] [stdout] | [INFO] [stdout] 343 | self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InboundsCheck` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:345:49 [INFO] [stdout] | [INFO] [stdout] 345 | self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?; [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `InboundsCheck` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:346:16 [INFO] [stdout] | [INFO] [stdout] 346 | Ok(Scalar::Ptr(ptr)) [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpError` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:42:17 [INFO] [stdout] | [INFO] [stdout] 42 | InterpError::PathNotFound(path).into() [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpError` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InterpretCx` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:78:19 [INFO] [stdout] | [INFO] [stdout] 78 | let mut ecx = InterpretCx::new( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InterpretCx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StackPopCleanup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:124:9 [INFO] [stdout] | [INFO] [stdout] 124 | StackPopCleanup::None { cleanup: true }, [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `StackPopCleanup` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:132:22 [INFO] [stdout] | [INFO] [stdout] 132 | ecx.write_scalar(Scalar::Ptr(main_ptr), dest)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:136:16 [INFO] [stdout] | [INFO] [stdout] 136 | let argc = Scalar::from_uint(config.args.len() as u128, dest.layout.size); [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:171:26 [INFO] [stdout] | [INFO] [stdout] 171 | ecx.write_scalar(Scalar::Ptr(arg), place.into())?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:201:17 [INFO] [stdout] | [INFO] [stdout] 201 | Scalar::from_uint(c, char_size).into(), [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `MemoryKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:302:9 [INFO] [stdout] | [INFO] [stdout] 302 | MemoryKind::Machine(self) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `MemoryKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StackPopCleanup` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:444:13 [INFO] [stdout] | [INFO] [stdout] 444 | StackPopCleanup::None { cleanup: true }, [INFO] [stdout] | ^^^^^^^^^^^^^^^ use of undeclared type `StackPopCleanup` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:454:26 [INFO] [stdout] | [INFO] [stdout] 454 | ecx.write_scalar(Scalar::from_uint(size, arg.layout.size), arg)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:459:26 [INFO] [stdout] | [INFO] [stdout] 459 | ecx.write_scalar(Scalar::from_uint(align, arg.layout.size), arg)?; [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Allocation` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:486:17 [INFO] [stdout] | [INFO] [stdout] 486 | Allocation::from_bytes(&data, tcx.data_layout.pointer_align.abi, extra) [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `Allocation` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Relocations` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:513:26 [INFO] [stdout] | [INFO] [stdout] 513 | relocations: Relocations::from_presorted( [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `Relocations` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `struct_error` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:256:31 [INFO] [stdout] | [INFO] [stdout] 256 | let mut err = struct_error(ecx.tcx.tcx.at(span), msg.as_str()); [INFO] [stdout] | ^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 280 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0223, E0392, E0405, E0408, E0412, E0422, E0425, E0432, E0433... [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0223`. [INFO] [stdout] [INFO] [stderr] error: could not compile `miri` (lib) due to 281 previous errors [INFO] running `Command { std: "docker" "inspect" "dfd7fbaedf88243b89874bb5ac7310e92c1a4b8a0c631a5822067d54b75588aa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dfd7fbaedf88243b89874bb5ac7310e92c1a4b8a0c631a5822067d54b75588aa", kill_on_drop: false }` [INFO] [stdout] dfd7fbaedf88243b89874bb5ac7310e92c1a4b8a0c631a5822067d54b75588aa