[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] testing fschutt/miri-repl-test against beta-2022-04-10 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffschutt%2Fmiri-repl-test" "/workspace/builds/worker-5/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/fschutt/miri-repl-test on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "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-5/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: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2aa9ad1f0933a7486e812e54a87efbfe86013325ef26607548a37a5d6a6254f4 [INFO] running `Command { std: "docker" "start" "-a" "2aa9ad1f0933a7486e812e54a87efbfe86013325ef26607548a37a5d6a6254f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2aa9ad1f0933a7486e812e54a87efbfe86013325ef26607548a37a5d6a6254f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2aa9ad1f0933a7486e812e54a87efbfe86013325ef26607548a37a5d6a6254f4", kill_on_drop: false }` [INFO] [stdout] 2aa9ad1f0933a7486e812e54a87efbfe86013325ef26607548a37a5d6a6254f4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cf6e64170c472c7cf7d6a5c083ddb4d71e5c5a44c4d465bca70a747249c30964 [INFO] running `Command { std: "docker" "start" "-a" "cf6e64170c472c7cf7d6a5c083ddb4d71e5c5a44c4d465bca70a747249c30964", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.51 [INFO] [stderr] Compiling syn v0.15.32 [INFO] [stderr] Compiling cc v1.0.35 [INFO] [stderr] Compiling num-traits v0.2.6 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling rustc-demangle v0.1.14 [INFO] [stderr] Compiling serde v1.0.90 [INFO] [stderr] Compiling ryu v0.2.7 [INFO] [stderr] Compiling bitflags v1.0.4 [INFO] [stderr] Compiling regex v1.1.6 [INFO] [stderr] Compiling itoa v0.4.3 [INFO] [stderr] Compiling byteorder v1.3.1 [INFO] [stderr] Compiling termcolor v1.0.4 [INFO] [stderr] Compiling rustc-workspace-hack v1.0.0 [INFO] [stderr] Compiling shell-escape v0.1.4 [INFO] [stderr] Compiling backtrace v0.3.15 [INFO] [stderr] Compiling regex-syntax v0.6.6 [INFO] [stderr] Compiling humantime v1.2.0 [INFO] [stderr] Compiling log v0.4.6 [INFO] [stderr] Compiling quote v0.6.12 [INFO] [stderr] Compiling aho-corasick v0.7.3 [INFO] [stderr] Compiling backtrace-sys v0.1.28 [INFO] [stderr] Compiling time v0.1.42 [INFO] [stderr] Compiling rand_os v0.1.3 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling directories v1.0.2 [INFO] [stderr] Compiling rand v0.6.5 [INFO] [stderr] Compiling chrono v0.4.6 [INFO] [stderr] Compiling error-chain v0.12.0 [INFO] [stderr] Compiling vergen v3.0.4 [INFO] [stderr] Compiling synstructure v0.10.1 [INFO] [stderr] Compiling env_logger v0.6.1 [INFO] [stderr] Compiling failure_derive v0.1.5 [INFO] [stderr] Compiling serde_derive v1.0.90 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling serde_json v1.0.39 [INFO] [stderr] Compiling rustc_version v0.2.3 [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] Compiling 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] = help: please recompile that crate using --crate-type lib [INFO] [stdout] = note: the following crate versions were found: [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-04-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.lsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-04-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.msan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-04-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.asan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/beta-2022-04-10-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-beta_rt.tsan.a [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::PlaceTy`, `crate::OpTy`, `crate::ImmTy`, `crate::Immediate`, `crate::Scalar`, `crate::ScalarMaybeUndef`, `crate::Tag`, `crate::OperatorEvalContextExt` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | PlaceTy, OpTy, ImmTy, Immediate, Scalar, ScalarMaybeUndef, Tag, [INFO] [stdout] | ^^^^^^^ ^^^^ ^^^^^ ^^^^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ ^^^ [INFO] [stdout] | | | | | | | [INFO] [stdout] | | | | | | no `ScalarMaybeUndef` in the root [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] | no `PlaceTy` in the root [INFO] [stdout] 8 | OperatorEvalContextExt [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::EvalResult`, `crate::InterpError`, `crate::StackPopCleanup`, `crate::MPlaceTy`, `crate::Scalar`, `crate::Tag` [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] | ^^^^^^^^ ^^^^^^ ^^^ [INFO] [stdout] | | | [INFO] [stdout] | | no `Scalar` in the root [INFO] [stdout] | no `MPlaceTy` in the root [INFO] [stdout] | help: a similar name exists in the module: `PlaceTy` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `crate::AllocMap` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/mono_hash_map.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | use crate::AllocMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^ no `AllocMap` in the root [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved imports `crate::EvalResult`, `crate::InterpError`, `crate::MiriEvalContext`, `crate::HelpersEvalContextExt`, `crate::Evaluator`, `crate::MutValueVisitor`, `crate::MemoryKind`, `crate::MiriMemoryKind`, `crate::RangeMap`, `crate::Allocation`, `crate::AllocationExtra`, `crate::Pointer`, `crate::Immediate`, `crate::ImmTy`, `crate::PlaceTy`, `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 `MutValueVisitor` in the root [INFO] [stdout] | | | [INFO] [stdout] | | no `InterpError` in the root [INFO] [stdout] | no `EvalResult` in the root [INFO] [stdout] 13 | MemoryKind, MiriMemoryKind, RangeMap, Allocation, AllocationExtra, [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^^^ [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] | ^^^^^^^ ^^^^^^^^^ ^^^^^ ^^^^^^^ ^^^^^^^^ [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[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:15:19 [INFO] [stdout] | [INFO] [stdout] 15 | instance: ty::Instance<'tcx>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:18:21 [INFO] [stdout] | [INFO] [stdout] 18 | ret: Option, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:19:40 [INFO] [stdout] | [INFO] [stdout] 19 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:60:21 [INFO] [stdout] | [INFO] [stdout] 60 | ret: Option, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `attr` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:64:31 [INFO] [stdout] | [INFO] [stdout] 64 | let link_name = match attr::first_attr_value_str_by_name(&attrs, "link_name") { [INFO] [stdout] | ^^^^ use of undeclared crate or module `attr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:94:58 [INFO] [stdout] | [INFO] [stdout] 94 | let ptr = this.memory_mut().allocate(Size::from_bytes(size), align, MiriMemoryKind::C.into()); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:101:88 [INFO] [stdout] | [INFO] [stdout] 101 | let bytes = items.checked_mul(len).ok_or_else(|| InterpError::Overflow(mir::BinOp::Mul))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:106:32 [INFO] [stdout] | [INFO] [stdout] 106 | let size = Size::from_bytes(bytes); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:131:25 [INFO] [stdout] | [INFO] [stdout] 131 | Size::from_bytes(size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:132:25 [INFO] [stdout] | [INFO] [stdout] 132 | Align::from_bytes(align).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:159:29 [INFO] [stdout] | [INFO] [stdout] 159 | ... Size::from_bytes(new_size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:168:36 [INFO] [stdout] | [INFO] [stdout] 168 | let old_size = Size::from_bytes(memory.get(old_ptr.alloc_id)?.bytes.len() as u64); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:181:29 [INFO] [stdout] | [INFO] [stdout] 181 | ... Size::from_bytes(new_size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:201:25 [INFO] [stdout] | [INFO] [stdout] 201 | Size::from_bytes(size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:202:25 [INFO] [stdout] | [INFO] [stdout] 202 | Align::from_bytes(align).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:218:25 [INFO] [stdout] | [INFO] [stdout] 218 | Size::from_bytes(size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:219:25 [INFO] [stdout] | [INFO] [stdout] 219 | Align::from_bytes(align).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:224:48 [INFO] [stdout] | [INFO] [stdout] 224 | .write_repeat(tcx, ptr, 0, Size::from_bytes(size))?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:239:27 [INFO] [stdout] | [INFO] [stdout] 239 | Some((Size::from_bytes(old_size), Align::from_bytes(align).unwrap())), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:239:55 [INFO] [stdout] | [INFO] [stdout] 239 | Some((Size::from_bytes(old_size), Align::from_bytes(align).unwrap())), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:256:21 [INFO] [stdout] | [INFO] [stdout] 256 | Size::from_bytes(old_size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:257:21 [INFO] [stdout] | [INFO] [stdout] 257 | Align::from_bytes(align).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:258:21 [INFO] [stdout] | [INFO] [stdout] 258 | Size::from_bytes(new_size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:259:21 [INFO] [stdout] | [INFO] [stdout] 259 | Align::from_bytes(align).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:344:49 [INFO] [stdout] | [INFO] [stdout] 344 | let arg_dest = this.eval_place(&mir::Place::Base(mir::PlaceBase::Local(arg_local)))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:344:66 [INFO] [stdout] | [INFO] [stdout] 344 | let arg_dest = this.eval_place(&mir::Place::Base(mir::PlaceBase::Local(arg_local)))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:359:25 [INFO] [stdout] | [INFO] [stdout] 359 | let n = Size::from_bytes(this.read_scalar(args[2])?.to_usize(this)?); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:374:46 [INFO] [stdout] | [INFO] [stdout] 374 | Scalar::from_int(result, Size::from_bits(32)), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:383:66 [INFO] [stdout] | [INFO] [stdout] 383 | if let Some(idx) = this.memory().read_bytes(ptr, Size::from_bytes(num))? [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:386:50 [INFO] [stdout] | [INFO] [stdout] 386 | let new_ptr = ptr.ptr_offset(Size::from_bytes(num - idx as u64 - 1), this)?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:399:38 [INFO] [stdout] | [INFO] [stdout] 399 | .read_bytes(ptr, Size::from_bytes(num))? [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:403:50 [INFO] [stdout] | [INFO] [stdout] 403 | let new_ptr = ptr.ptr_offset(Size::from_bytes(idx as u64), this)?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:465:25 [INFO] [stdout] | [INFO] [stdout] 465 | Size::from_bytes((value.len() + 1) as u64), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:466:25 [INFO] [stdout] | [INFO] [stdout] 466 | Align::from_bytes(1).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:473:29 [INFO] [stdout] | [INFO] [stdout] 473 | ... Size::from_bytes(value.len() as u64), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:500:66 [INFO] [stdout] | [INFO] [stdout] 500 | let buf_cont = this.memory().read_bytes(buf, Size::from_bytes(n))?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:695:78 [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 `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:723:34 [INFO] [stdout] | [INFO] [stdout] 723 | let dword_size = Size::from_bytes(4); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:777:66 [INFO] [stdout] | [INFO] [stdout] 777 | let buf_cont = this.memory().read_bytes(buf, Size::from_bytes(u64::from(n)))?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:791:60 [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 `Size` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:9:17 [INFO] [stdout] | [INFO] [stdout] 9 | bin_op: mir::BinOp, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:16:17 [INFO] [stdout] | [INFO] [stdout] 16 | bin_op: mir::BinOp, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | bin_op: mir::BinOp, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Eq` [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] | ^^ [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] help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Ne` [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] | ^^ [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[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: `?::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 `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: `?::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 `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: `?::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 `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: `?::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 `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: `?::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[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[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: `?::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: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: `?::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 `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: `?::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 `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: `?::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 `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: `?::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[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: `?::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[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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:235:17 [INFO] [stdout] | [INFO] [stdout] 235 | bin_op: mir::BinOp, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:254:56 [INFO] [stdout] | [INFO] [stdout] 254 | map_to_primval(left.overflowing_offset(Size::from_bytes(right as u64), self)), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:274:29 [INFO] [stdout] | [INFO] [stdout] 274 | ... Size::from_bytes(offset), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:338:50 [INFO] [stdout] | [INFO] [stdout] 338 | .ok_or_else(|| InterpError::Overflow(mir::BinOp::Mul))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:15:19 [INFO] [stdout] | [INFO] [stdout] 15 | instance: ty::Instance<'tcx>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:94:46 [INFO] [stdout] | [INFO] [stdout] 94 | let (eq, _) = this.binary_op(mir::BinOp::Eq, old, expect_old)?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:141:30 [INFO] [stdout] | [INFO] [stdout] 141 | "or" => (mir::BinOp::BitOr, false), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:142:31 [INFO] [stdout] | [INFO] [stdout] 142 | "xor" => (mir::BinOp::BitXor, false), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:143:31 [INFO] [stdout] | [INFO] [stdout] 143 | "and" => (mir::BinOp::BitAnd, false), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:144:32 [INFO] [stdout] | [INFO] [stdout] 144 | "xadd" => (mir::BinOp::Add, false), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:145:32 [INFO] [stdout] | [INFO] [stdout] 145 | "xsub" => (mir::BinOp::Sub, false), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:146:32 [INFO] [stdout] | [INFO] [stdout] 146 | "nand" => (mir::BinOp::BitAnd, true), [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:152:35 [INFO] [stdout] | [INFO] [stdout] 152 | this.unary_op(mir::UnOp::Not, ImmTy::from_scalar(val, old.layout))? [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:176:21 [INFO] [stdout] | [INFO] [stdout] 176 | Size::from_bytes(count * elem_size), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:233:36 [INFO] [stdout] | [INFO] [stdout] 233 | "fadd_fast" => mir::BinOp::Add, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:234:36 [INFO] [stdout] | [INFO] [stdout] 234 | "fsub_fast" => mir::BinOp::Sub, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:235:36 [INFO] [stdout] | [INFO] [stdout] 235 | "fmul_fast" => mir::BinOp::Mul, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:236:36 [INFO] [stdout] | [INFO] [stdout] 236 | "fdiv_fast" => mir::BinOp::Div, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:237:36 [INFO] [stdout] | [INFO] [stdout] 237 | "frem_fast" => mir::BinOp::Rem, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:249:35 [INFO] [stdout] | [INFO] [stdout] 249 | if this.binary_op(mir::BinOp::Rem, a, b)?.0.to_bits(dest.layout.size)? != 0 { [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:252:44 [INFO] [stdout] | [INFO] [stdout] 252 | this.binop_ignore_overflow(mir::BinOp::Div, a, b, dest)?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:272:25 [INFO] [stdout] | [INFO] [stdout] 272 | layout::Abi::Scalar(ref s) => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:276:25 [INFO] [stdout] | [INFO] [stdout] 276 | layout::Abi::ScalarPair(ref s1, ref s2) => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:416:21 [INFO] [stdout] | [INFO] [stdout] 416 | mir::BinOp::Div, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:431:21 [INFO] [stdout] | [INFO] [stdout] 431 | mir::BinOp::Rem, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:447:25 [INFO] [stdout] | [INFO] [stdout] 447 | layout::Abi::Scalar(..) => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:451:25 [INFO] [stdout] | [INFO] [stdout] 451 | layout::Abi::ScalarPair(..) => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:12:63 [INFO] [stdout] | [INFO] [stdout] 12 | fn resolve_path(&self, path: &[&str]) -> EvalResult<'tcx, ty::Instance<'tcx>> { [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:30:45 [INFO] [stdout] | [INFO] [stdout] 30 | ... return Some(ty::Instance::mono(this.tcx.tcx, item.def.def_id())); [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:68:36 [INFO] [stdout] | [INFO] [stdout] 68 | if unsafe_cell_size != Size::ZERO { [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:81:31 [INFO] [stdout] | [INFO] [stdout] 81 | if frozen_size != Size::ZERO { [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:85:36 [INFO] [stdout] | [INFO] [stdout] 85 | if unsafe_cell_size != Size::ZERO { [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:105:44 [INFO] [stdout] | [INFO] [stdout] 105 | if unsafe_cell_size != Size::ZERO { [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:116:71 [INFO] [stdout] | [INFO] [stdout] 116 | unsafe_cell_action(place.ptr.ptr_wrapping_offset(size, this), Size::ZERO)?; [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:148:21 [INFO] [stdout] | [INFO] [stdout] 148 | ty::Adt(adt, _) => Some(adt.did) == self.ecx.tcx.lang_items().unsafe_cell_type(), [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:170:21 [INFO] [stdout] | [INFO] [stdout] 170 | layout::FieldPlacement::Array { .. } => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:175:21 [INFO] [stdout] | [INFO] [stdout] 175 | layout::FieldPlacement::Arbitrary { .. } => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `layout` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:181:21 [INFO] [stdout] | [INFO] [stdout] 181 | layout::FieldPlacement::Union { .. } => { [INFO] [stdout] | ^^^^^^ use of undeclared crate or module `layout` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:16:29 [INFO] [stdout] | [INFO] [stdout] 16 | pub(crate) dtor: Option>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:40:22 [INFO] [stdout] | [INFO] [stdout] 40 | dtor: Option>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:109:18 [INFO] [stdout] | [INFO] [stdout] 109 | ) -> Option<(ty::Instance<'tcx>, Scalar, TlsKey)> { [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:154:41 [INFO] [stdout] | [INFO] [stdout] 154 | let dest = this.eval_place(&mir::Place::Base(mir::PlaceBase::Local(arg_local)))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:154:58 [INFO] [stdout] | [INFO] [stdout] 154 | let dest = this.eval_place(&mir::Place::Base(mir::PlaceBase::Local(arg_local)))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:616:20 [INFO] [stdout] | [INFO] [stdout] 616 | if size == Size::ZERO { [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:661:24 [INFO] [stdout] | [INFO] [stdout] 661 | fn qualify(ty: ty::Ty<'_>, kind: RetagKind) -> Option<(RefKind, bool)> { [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:664:17 [INFO] [stdout] | [INFO] [stdout] 664 | ty::Ref(_, _, MutMutable) => [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:665:52 [INFO] [stdout] | [INFO] [stdout] 665 | Some((RefKind::Unique, kind == RetagKind::FnEntry)), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `RetagKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:666:17 [INFO] [stdout] | [INFO] [stdout] 666 | ty::Ref(_, _, MutImmutable) => [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:667:52 [INFO] [stdout] | [INFO] [stdout] 667 | Some((RefKind::Shared, kind == RetagKind::FnEntry)), [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `RetagKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:669:17 [INFO] [stdout] | [INFO] [stdout] 669 | ty::RawPtr(tym) if kind == RetagKind::Raw => [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:669:44 [INFO] [stdout] | [INFO] [stdout] 669 | ty::RawPtr(tym) if kind == RetagKind::Raw => [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `RetagKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:673:17 [INFO] [stdout] | [INFO] [stdout] 673 | ty::Adt(..) if ty.is_box() => Some((RefKind::Unique, false)), [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:684:75 [INFO] [stdout] | [INFO] [stdout] 684 | let val = this.retag_reference(val, mutbl, protector, kind == RetagKind::TwoPhase)?; [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `RetagKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `RetagKind` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:721:38 [INFO] [stdout] | [INFO] [stdout] 721 | self.kind == RetagKind::TwoPhase [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `RetagKind` [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 crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:80:9 [INFO] [stdout] | [INFO] [stdout] 80 | ty::ParamEnv::reveal_all(), [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:84:25 [INFO] [stdout] | [INFO] [stdout] 84 | let main_instance = ty::Instance::mono(ecx.tcx.tcx, main_id); [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:97:26 [INFO] [stdout] | [INFO] [stdout] 97 | let start_instance = ty::Instance::resolve( [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | ty::ParamEnv::reveal_all(), [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:102:31 [INFO] [stdout] | [INFO] [stdout] 102 | ::std::iter::once(ty::subst::Kind::from(main_ret_ty))) [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:131:32 [INFO] [stdout] | [INFO] [stdout] 131 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:131:49 [INFO] [stdout] | [INFO] [stdout] 131 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:135:32 [INFO] [stdout] | [INFO] [stdout] 135 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:135:49 [INFO] [stdout] | [INFO] [stdout] 135 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:147:32 [INFO] [stdout] | [INFO] [stdout] 147 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:147:49 [INFO] [stdout] | [INFO] [stdout] 147 | let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:188:13 [INFO] [stdout] | [INFO] [stdout] 188 | Size::from_bytes(cmd_utf16.len() as u64 * 2), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Align` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:189:13 [INFO] [stdout] | [INFO] [stdout] 189 | Align::from_bytes(2).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Align` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:194:25 [INFO] [stdout] | [INFO] [stdout] 194 | let char_size = Size::from_bytes(2); [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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 crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:399:19 [INFO] [stdout] | [INFO] [stdout] 399 | instance: ty::Instance<'tcx>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:402:21 [INFO] [stdout] | [INFO] [stdout] 402 | ret: Option, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:403:40 [INFO] [stdout] | [INFO] [stdout] 403 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:410:19 [INFO] [stdout] | [INFO] [stdout] 410 | instance: ty::Instance<'tcx>, [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:420:17 [INFO] [stdout] | [INFO] [stdout] 420 | bin_op: mir::BinOp, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `ty` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:434:22 [INFO] [stdout] | [INFO] [stdout] 434 | let malloc = ty::Instance::mono(ecx.tcx.tcx, malloc); [INFO] [stdout] | ^^ use of undeclared crate or module `ty` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:452:35 [INFO] [stdout] | [INFO] [stdout] 452 | let arg = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:452:52 [INFO] [stdout] | [INFO] [stdout] 452 | let arg = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:457:35 [INFO] [stdout] | [INFO] [stdout] 457 | let arg = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:457:52 [INFO] [stdout] | [INFO] [stdout] 457 | let arg = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?; [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 crate or module `attr` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:475:31 [INFO] [stdout] | [INFO] [stdout] 475 | let link_name = match attr::first_attr_value_str_by_name(&attrs, "link_name") { [INFO] [stdout] | ^^^^ use of undeclared crate or module `attr` [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 `Size` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:507:13 [INFO] [stdout] | [INFO] [stdout] 507 | Size::from_bytes(alloc.bytes.len() as u64), [INFO] [stdout] | ^^^^ use of undeclared type `Size` [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[E0433]: failed to resolve: use of undeclared crate or module `hir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:539:29 [INFO] [stdout] | [INFO] [stdout] 539 | _mutability: Option, [INFO] [stdout] | ^^^ use of undeclared crate or module `hir` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:548:15 [INFO] [stdout] | [INFO] [stdout] 548 | kind: mir::RetagKind, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:17:22 [INFO] [stdout] | [INFO] [stdout] 17 | dest: Option>, [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 `DefId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:57:17 [INFO] [stdout] | [INFO] [stdout] 57 | def_id: DefId, [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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:59:22 [INFO] [stdout] | [INFO] [stdout] 59 | dest: Option>, [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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:838:36 [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: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 one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::fmt::Pointer; [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 `Ty` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:31:21 [INFO] [stdout] | [INFO] [stdout] 31 | pointee_ty: Ty<'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/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] [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 one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::fmt::Pointer; [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 one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::fmt::Pointer; [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] | ^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::fmt::Pointer; [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 `Ty` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:331:21 [INFO] [stdout] | [INFO] [stdout] 331 | pointee_ty: Ty<'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/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/intrinsic.rs:18:10 [INFO] [stdout] | [INFO] [stdout] 18 | ) -> 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: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[E0422]: cannot find struct, variant or union type `DefId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:19:29 [INFO] [stdout] | [INFO] [stdout] 19 | let krate = DefId { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `CRATE_DEF_INDEX` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:21:28 [INFO] [stdout] | [INFO] [stdout] 21 | index: CRATE_DEF_INDEX, [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 `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:51:15 [INFO] [stdout] | [INFO] [stdout] 51 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [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 one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] 1 | use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:52:46 [INFO] [stdout] | [INFO] [stdout] 52 | mut action: impl FnMut(Pointer, Size, bool) -> EvalResult<'tcx>, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [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 `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:67:87 [INFO] [stdout] | [INFO] [stdout] 67 | let mut unsafe_cell_action = |unsafe_cell_ptr: Scalar, unsafe_cell_size: Size| { [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [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[E0405]: cannot find trait `HasDataLayout` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:41:19 [INFO] [stdout] | [INFO] [stdout] 41 | cx: &impl HasDataLayout, [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `HasDataLayout` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:108:19 [INFO] [stdout] | [INFO] [stdout] 108 | cx: &impl HasDataLayout, [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/range_map.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn new(size: Size, init: T) -> RangeMap { [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/range_map.rs:70:39 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter<'a>(&'a self, offset: Size, len: Size) -> impl Iterator + 'a { [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/range_map.rs:70:50 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter<'a>(&'a self, offset: Size, len: Size) -> impl Iterator + 'a { [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/range_map.rs:126:17 [INFO] [stdout] | [INFO] [stdout] 126 | offset: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/range_map.rs:127:14 [INFO] [stdout] | [INFO] [stdout] 127 | len: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `FxHashMap` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/mono_hash_map.rs:18:49 [INFO] [stdout] | [INFO] [stdout] 18 | pub struct MonoHashMap(RefCell>>); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:451:15 [INFO] [stdout] | [INFO] [stdout] 451 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:469:15 [INFO] [stdout] | [INFO] [stdout] 469 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:484:15 [INFO] [stdout] | [INFO] [stdout] 484 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:514:15 [INFO] [stdout] | [INFO] [stdout] 514 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:527:15 [INFO] [stdout] | [INFO] [stdout] 527 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:540:15 [INFO] [stdout] | [INFO] [stdout] 540 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:557:15 [INFO] [stdout] | [INFO] [stdout] 557 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `RetagKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:654:15 [INFO] [stdout] | [INFO] [stdout] 119 | pub enum RefKind { [INFO] [stdout] | ---------------- similarly named enum `RefKind` defined here [INFO] [stdout] ... [INFO] [stdout] 654 | kind: RetagKind, [INFO] [stdout] | ^^^^^^^^^ help: an enum with a similar name exists: `RefKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `RetagKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:661:42 [INFO] [stdout] | [INFO] [stdout] 119 | pub enum RefKind { [INFO] [stdout] | ---------------- similarly named enum `RefKind` defined here [INFO] [stdout] ... [INFO] [stdout] 661 | fn qualify(ty: ty::Ty<'_>, kind: RetagKind) -> Option<(RefKind, bool)> { [INFO] [stdout] | ^^^^^^^^^ help: an enum with a similar name exists: `RefKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `MutMutable` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:670:64 [INFO] [stdout] | [INFO] [stdout] 670 | Some((RefKind::Raw { mutable: tym.mutbl == MutMutable }, false)), [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `RetagKind` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:696:19 [INFO] [stdout] | [INFO] [stdout] 119 | pub enum RefKind { [INFO] [stdout] | ---------------- similarly named enum `RefKind` defined here [INFO] [stdout] ... [INFO] [stdout] 696 | kind: RetagKind, [INFO] [stdout] | ^^^^^^^^^ help: an enum with a similar name exists: `RefKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:74:10 [INFO] [stdout] | [INFO] [stdout] 74 | tcx: TyCtxt<'a, 'tcx, 'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:75:14 [INFO] [stdout] | [INFO] [stdout] 75 | main_id: DefId, [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[E0425]: cannot find value `DUMMY_SP` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:121:9 [INFO] [stdout] | [INFO] [stdout] 121 | DUMMY_SP, [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 one of these items [INFO] [stdout] | [INFO] [stdout] 24 | use core::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] 24 | use std::fmt::Pointer; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:214:10 [INFO] [stdout] | [INFO] [stdout] 214 | tcx: TyCtxt<'a, 'tcx, 'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:215:14 [INFO] [stdout] | [INFO] [stdout] 215 | main_id: DefId, [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:227:14 [INFO] [stdout] | [INFO] [stdout] 227 | let res: EvalResult = (|| { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [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[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 one of these items [INFO] [stdout] | [INFO] [stdout] 24 | use core::fmt::Pointer; [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 one of these items [INFO] [stdout] | [INFO] [stdout] 24 | use core::fmt::Pointer; [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 one of these items [INFO] [stdout] | [INFO] [stdout] 24 | use core::fmt::Pointer; [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 one of these items [INFO] [stdout] | [INFO] [stdout] 24 | use core::fmt::Pointer; [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] 378 | impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, AllocId` [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 `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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:401:22 [INFO] [stdout] | [INFO] [stdout] 401 | dest: Option>, [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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:412:15 [INFO] [stdout] | [INFO] [stdout] 412 | dest: PlaceTy<'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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:429:15 [INFO] [stdout] | [INFO] [stdout] 429 | dest: PlaceTy<'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: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 `DefId` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:470:17 [INFO] [stdout] | [INFO] [stdout] 470 | def_id: DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxtAt` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:471:14 [INFO] [stdout] | [INFO] [stdout] 471 | tcx: TyCtxtAt<'a, 'tcx, '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 `Size` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:528:15 [INFO] [stdout] | [INFO] [stdout] 528 | size: Size, [INFO] [stdout] | ^^^^ help: a trait with a similar name exists: `Sized` [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 `PlaceTy` in this scope [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:549:16 [INFO] [stdout] | [INFO] [stdout] 549 | place: PlaceTy<'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: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[E0554]: `#![feature]` may not be used on the beta release channel [INFO] [stdout] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(rustc_private)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 444 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0405, E0408, E0412, E0422, E0425, E0432, E0433, E0463, E0554. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0405`. [INFO] [stdout] [INFO] [stderr] error: could not compile `miri` due to 445 previous errors [INFO] running `Command { std: "docker" "inspect" "cf6e64170c472c7cf7d6a5c083ddb4d71e5c5a44c4d465bca70a747249c30964", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf6e64170c472c7cf7d6a5c083ddb4d71e5c5a44c4d465bca70a747249c30964", kill_on_drop: false }` [INFO] [stdout] cf6e64170c472c7cf7d6a5c083ddb4d71e5c5a44c4d465bca70a747249c30964