[INFO] updating cached repository https://github.com/fschutt/miri-repl-test [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 6ea6de9e090bbf9f40c72d6edc1ec75d24b83939 [INFO] checking fschutt/miri-repl-test against master#2748a9fd93dd1a00a4521f4f16de5befbf77f6cd for pr-62262-1 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffschutt%2Fmiri-repl-test" "/workspace/builds/worker-0/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-0/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/fschutt/miri-repl-test on toolchain 2748a9fd93dd1a00a4521f4f16de5befbf77f6cd [INFO] running `"/workspace/cargo-home/bin/cargo" "+2748a9fd93dd1a00a4521f4f16de5befbf77f6cd" "read-manifest" "--manifest-path" "Cargo.toml"` [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-0/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 `"/workspace/cargo-home/bin/cargo" "+2748a9fd93dd1a00a4521f4f16de5befbf77f6cd" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+2748a9fd93dd1a00a4521f4f16de5befbf77f6cd" "check" "--frozen" "--all" "--all-targets"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ed370499d6f528e6a8b03765a3e66504d0c0b51baf40c5b61c8a68ada16bea94 [INFO] running `"docker" "start" "-a" "ed370499d6f528e6a8b03765a3e66504d0c0b51baf40c5b61c8a68ada16bea94"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling syn v0.15.32 [INFO] [stderr] Compiling byteorder v1.3.1 [INFO] [stderr] Checking rustc-workspace-hack v1.0.0 [INFO] [stderr] Checking shell-escape v0.1.4 [INFO] [stderr] Compiling num-traits v0.2.6 [INFO] [stderr] Compiling time v0.1.42 [INFO] [stderr] Checking directories v1.0.2 [INFO] [stderr] Checking semver v0.9.0 [INFO] [stderr] Checking regex v1.1.6 [INFO] [stderr] Checking error-chain v0.12.0 [INFO] [stderr] Checking rustc_version v0.2.3 [INFO] [stderr] Compiling num-integer v0.1.39 [INFO] [stderr] Compiling chrono v0.4.6 [INFO] [stderr] Checking env_logger v0.6.1 [INFO] [stderr] Compiling vergen v3.0.4 [INFO] [stderr] Compiling synstructure v0.10.1 [INFO] [stderr] Compiling failure_derive v0.1.5 [INFO] [stderr] Compiling serde_derive v1.0.90 [INFO] [stderr] Compiling failure v0.1.5 [INFO] [stderr] Compiling miri v0.1.0 (https://github.com/rust-lang/miri?rev=96b22259cc0bacfeb7ca7fb9a370cf23e4649c36#96b22259) [INFO] [stderr] Checking cargo_metadata v0.6.4 [INFO] [stderr] error[E0432]: unresolved import `rustc::mir::interpret::EvalResult` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:2:29 [INFO] [stderr] | [INFO] [stderr] 2 | use rustc::mir::interpret::{EvalResult, PointerArithmetic}; [INFO] [stderr] | ^^^^^^^^^^ no `EvalResult` in `mir::interpret` [INFO] [stderr] [INFO] [stderr] error[E0432]: unresolved import `crate::EvalResult` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:7:5 [INFO] [stderr] | [INFO] [stderr] 7 | EvalResult, InterpError, StackPopCleanup, [INFO] [stderr] | ^^^^^^^^^^ no `EvalResult` in the root [INFO] [stderr] [INFO] [stderr] error[E0432]: unresolved import `crate::EvalResult` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:12:5 [INFO] [stderr] | [INFO] [stderr] 12 | EvalResult, InterpError, MiriEvalContext, HelpersEvalContextExt, Evaluator, MutValueVisitor, [INFO] [stderr] | ^^^^^^^^^^ no `EvalResult` in the root [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:75:24 [INFO] [stderr] | [INFO] [stderr] 75 | return err!(MachineError("the evaluated program panicked".to_string())); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:78:24 [INFO] [stderr] | [INFO] [stderr] 78 | return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:119:28 [INFO] [stderr] | [INFO] [stderr] 119 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:122:28 [INFO] [stderr] | [INFO] [stderr] 122 | return err!(MachineError(format!( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:194:28 [INFO] [stderr] | [INFO] [stderr] 194 | return err!(HeapAllocZeroBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:197:28 [INFO] [stderr] | [INFO] [stderr] 197 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:211:28 [INFO] [stderr] | [INFO] [stderr] 211 | return err!(HeapAllocZeroBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:214:28 [INFO] [stderr] | [INFO] [stderr] 214 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:232:28 [INFO] [stderr] | [INFO] [stderr] 232 | return err!(HeapAllocZeroBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:235:28 [INFO] [stderr] | [INFO] [stderr] 235 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:249:28 [INFO] [stderr] | [INFO] [stderr] 249 | return err!(HeapAllocZeroBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:252:28 [INFO] [stderr] | [INFO] [stderr] 252 | return err!(HeapAllocNonPowerOfTwoAlignment(align)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:290:32 [INFO] [stderr] | [INFO] [stderr] 290 | return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:303:24 [INFO] [stderr] | [INFO] [stderr] 303 | return err!(Unimplemented(format!( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:565:28 [INFO] [stderr] | [INFO] [stderr] 565 | return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:586:51 [INFO] [stderr] | [INFO] [stderr] 586 | Scalar::Bits { .. } => return err!(ReadBytesAsPointer), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:600:28 [INFO] [stderr] | [INFO] [stderr] 600 | return err!(OutOfTls); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:743:28 [INFO] [stderr] | [INFO] [stderr] 743 | return err!(OutOfTls); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:827:24 [INFO] [stderr] | [INFO] [stderr] 827 | return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:871:13 [INFO] [stderr] | [INFO] [stderr] 871 | err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:109:21 [INFO] [stderr] | [INFO] [stderr] 109 | err!(InvalidPointerMath) [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:133:18 [INFO] [stderr] | [INFO] [stderr] 133 | _ => err!(InvalidPointerMath), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:228:24 [INFO] [stderr] | [INFO] [stderr] 228 | return err!(InvalidPointerMath); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:283:28 [INFO] [stderr] | [INFO] [stderr] 283 | return err!(ReadPointerAsBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:307:28 [INFO] [stderr] | [INFO] [stderr] 307 | return err!(ReadPointerAsBytes); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:319:24 [INFO] [stderr] | [INFO] [stderr] 319 | return err!(Unimplemented(msg)); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:353:17 [INFO] [stderr] | [INFO] [stderr] 353 | err!(InvalidPointerMath) [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:46:28 [INFO] [stderr] | [INFO] [stderr] 46 | return err!(AssumptionNotHeld); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:135:28 [INFO] [stderr] | [INFO] [stderr] 135 | return err!(Unimplemented(format!("Atomic arithmetic operations only work on integer types"))); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:250:28 [INFO] [stderr] | [INFO] [stderr] 250 | return err!(ValidationFailure(format!("exact_div: {:?} cannot be divided by {:?}", a, b))); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:318:28 [INFO] [stderr] | [INFO] [stderr] 318 | return err!(Intrinsic(format!("Trying to instantiate uninhabited type {}", ty))) [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:413:28 [INFO] [stderr] | [INFO] [stderr] 413 | return err!(Intrinsic(format!("Division by 0 in unchecked_div"))); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:428:28 [INFO] [stderr] | [INFO] [stderr] 428 | return err!(Intrinsic(format!("Division by 0 in unchecked_rem"))); [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/intrinsic.rs:484:28 [INFO] [stderr] | [INFO] [stderr] 484 | name => return err!(Unimplemented(format!("unimplemented intrinsic: {}", name))), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:62:21 [INFO] [stderr] | [INFO] [stderr] 62 | None => err!(TlsOutOfBounds), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:72:21 [INFO] [stderr] | [INFO] [stderr] 72 | None => err!(TlsOutOfBounds), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/tls.rs:83:21 [INFO] [stderr] | [INFO] [stderr] 83 | None => err!(TlsOutOfBounds), [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:314:36 [INFO] [stderr] | [INFO] [stderr] 314 | ... return err!(MachineError(format!( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:348:28 [INFO] [stderr] | [INFO] [stderr] 348 | return err!(MachineError(format!( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:88:16 [INFO] [stderr] | [INFO] [stderr] 88 | return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:107:16 [INFO] [stderr] | [INFO] [stderr] 107 | return err!(AbiViolation(format!( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error: cannot find macro `err` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:488:25 [INFO] [stderr] | [INFO] [stderr] 488 | _ => return err!(Unimplemented( [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:161:58 [INFO] [stderr] | [INFO] [stderr] 161 | self.memory().check_bounds_ptr(left, InboundsCheck::Live)?; [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:162:59 [INFO] [stderr] | [INFO] [stderr] 162 | self.memory().check_bounds_ptr(right, InboundsCheck::Live)?; [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:186:60 [INFO] [stderr] | [INFO] [stderr] 186 | if self.memory().check_bounds_ptr(ptr, InboundsCheck::MaybeDead).is_ok() { [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:192:55 [INFO] [stderr] | [INFO] [stderr] 192 | .get_size_and_align(ptr.alloc_id, InboundsCheck::MaybeDead) [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:343:49 [INFO] [stderr] | [INFO] [stderr] 343 | self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?; [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InboundsCheck` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:345:49 [INFO] [stderr] | [INFO] [stderr] 345 | self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?; [INFO] [stderr] | ^^^^^^^^^^^^^ use of undeclared type or module `InboundsCheck` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: use of undeclared type or module `InterpretCx` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:78:19 [INFO] [stderr] | [INFO] [stderr] 78 | let mut ecx = InterpretCx::new( [INFO] [stderr] | ^^^^^^^^^^^ use of undeclared type or module `InterpretCx` [INFO] [stderr] [INFO] [stderr] error[E0433]: failed to resolve: could not find `Kind` in `subst` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:102:42 [INFO] [stderr] | [INFO] [stderr] 102 | ::std::iter::once(ty::subst::Kind::from(main_ret_ty))) [INFO] [stderr] | ^^^^ could not find `Kind` in `subst` [INFO] [stderr] [INFO] [stderr] error[E0407]: method `ptr_op` is not a member of trait `Machine` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:418:5 [INFO] [stderr] | [INFO] [stderr] 418 | / fn ptr_op( [INFO] [stderr] 419 | | ecx: &rustc_mir::interpret::InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] 420 | | bin_op: mir::BinOp, [INFO] [stderr] 421 | | left: ImmTy<'tcx, Tag>, [INFO] [stderr] ... | [INFO] [stderr] 424 | | ecx.ptr_op(bin_op, left, right) [INFO] [stderr] 425 | | } [INFO] [stderr] | |_____^ not a member of trait `Machine` [INFO] [stderr] [INFO] [stderr] error[E0407]: method `adjust_static_allocation` is not a member of trait `Machine` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:502:5 [INFO] [stderr] | [INFO] [stderr] 502 | / fn adjust_static_allocation<'b>( [INFO] [stderr] 503 | | alloc: &'b Allocation, [INFO] [stderr] 504 | | memory_extra: &Self::MemoryExtra, [INFO] [stderr] 505 | | ) -> Cow<'b, Allocation> { [INFO] [stderr] ... | [INFO] [stderr] 523 | | Cow::Owned(alloc) [INFO] [stderr] 524 | | } [INFO] [stderr] | |_____^ not a member of trait `Machine` [INFO] [stderr] [INFO] [stderr] error[E0407]: method `new_allocation` is not a member of trait `Machine` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:527:5 [INFO] [stderr] | [INFO] [stderr] 527 | / fn new_allocation( [INFO] [stderr] 528 | | size: Size, [INFO] [stderr] 529 | | extra: &Self::MemoryExtra, [INFO] [stderr] 530 | | kind: MemoryKind, [INFO] [stderr] 531 | | ) -> (Self::AllocExtra, Self::PointerTag) { [INFO] [stderr] 532 | | Stacks::new_allocation(size, extra, kind) [INFO] [stderr] 533 | | } [INFO] [stderr] | |_____^ not a member of trait `Machine` [INFO] [stderr] [INFO] [stderr] error[E0407]: method `tag_dereference` is not a member of trait `Machine` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:536:5 [INFO] [stderr] | [INFO] [stderr] 536 | / fn tag_dereference( [INFO] [stderr] 537 | | _ecx: &InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] 538 | | place: MPlaceTy<'tcx, Tag>, [INFO] [stderr] 539 | | _mutability: Option, [INFO] [stderr] ... | [INFO] [stderr] 542 | | Ok(place.ptr) [INFO] [stderr] 543 | | } [INFO] [stderr] | |_____^ not a member of trait `Machine` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:19:10 [INFO] [stderr] | [INFO] [stderr] 19 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Mir` in module `mir` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:19:45 [INFO] [stderr] | [INFO] [stderr] 19 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stderr] | ^^^ not found in `mir` [INFO] [stderr] help: there is an enum variant `rustc::session::config::BorrowckMode::Mir` and 1 other; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 19 | ) -> EvalResult<'tcx, Option<&'mir rustc::session::config::BorrowckMode>> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 19 | ) -> EvalResult<'tcx, Option<&'mir rustc::session::config::OutputType>> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:61:10 [INFO] [stderr] | [INFO] [stderr] 61 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:838:59 [INFO] [stderr] | [INFO] [stderr] 838 | fn write_null(&mut self, dest: PlaceTy<'tcx, Tag>) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:844:54 [INFO] [stderr] | [INFO] [stderr] 844 | fn eval_path_scalar(&mut self, path: &[&str]) -> EvalResult<'tcx, Option>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalError` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/fn_call.rs:862:22 [INFO] [stderr] | [INFO] [stderr] 862 | ) -> Result, EvalError<'tcx>> { [INFO] [stderr] | ^^^^^^^^^ help: a struct with a similar name exists: `Evaluator` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:12:10 [INFO] [stderr] | [INFO] [stderr] 12 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:20:10 [INFO] [stderr] | [INFO] [stderr] 20 | ) -> EvalResult<'tcx, (Scalar, bool)>; [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:26:10 [INFO] [stderr] | [INFO] [stderr] 26 | ) -> EvalResult<'tcx, bool>; [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:33:10 [INFO] [stderr] | [INFO] [stderr] 33 | ) -> EvalResult<'tcx, Scalar>; [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:42:10 [INFO] [stderr] | [INFO] [stderr] 42 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:141:10 [INFO] [stderr] | [INFO] [stderr] 141 | ) -> EvalResult<'tcx, bool> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:239:10 [INFO] [stderr] | [INFO] [stderr] 239 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/operator.rs:333:10 [INFO] [stderr] | [INFO] [stderr] 333 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:12:46 [INFO] [stderr] | [INFO] [stderr] 12 | fn resolve_path(&self, path: &[&str]) -> EvalResult<'tcx, ty::Instance<'tcx>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:52:61 [INFO] [stderr] | [INFO] [stderr] 52 | mut action: impl FnMut(Pointer, Size, bool) -> EvalResult<'tcx>, [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:53:10 [INFO] [stderr] | [INFO] [stderr] 53 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:123:52 [INFO] [stderr] | [INFO] [stderr] 123 | where F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:134:46 [INFO] [stderr] | [INFO] [stderr] 134 | F: FnMut(MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:144:66 [INFO] [stderr] | [INFO] [stderr] 144 | fn visit_value(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:167:44 [INFO] [stderr] | [INFO] [stderr] 167 | fields: impl Iterator>>, [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:168:18 [INFO] [stderr] | [INFO] [stderr] 168 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:177:59 [INFO] [stderr] | [INFO] [stderr] 177 | let mut places = fields.collect::>>>()?; [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:189:66 [INFO] [stderr] | [INFO] [stderr] 189 | fn visit_union(&mut self, v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:203:71 [INFO] [stderr] | [INFO] [stderr] 203 | fn visit_primitive(&mut self, _v: MPlaceTy<'tcx, Tag>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 1 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:77:6 [INFO] [stderr] | [INFO] [stderr] 77 | ) -> EvalResult<'tcx, InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:77:23 [INFO] [stderr] | [INFO] [stderr] 77 | ) -> EvalResult<'tcx, InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>> { [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:227:14 [INFO] [stderr] | [INFO] [stderr] 227 | let res: EvalResult = (|| { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:360:40 [INFO] [stderr] | [INFO] [stderr] 360 | type MiriEvalContext<'a, 'mir, 'tcx> = InterpretCx<'a, 'mir, 'tcx, Evaluator<'tcx>>; [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:391:31 [INFO] [stderr] | [INFO] [stderr] 391 | fn enforce_validity(ecx: &InterpretCx<'a, 'mir, 'tcx, Self>) -> bool { [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:398:19 [INFO] [stderr] | [INFO] [stderr] 398 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:403:10 [INFO] [stderr] | [INFO] [stderr] 403 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `Mir` in module `mir` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:403:45 [INFO] [stderr] | [INFO] [stderr] 403 | ) -> EvalResult<'tcx, Option<&'mir mir::Mir<'tcx>>> { [INFO] [stderr] | ^^^ not found in `mir` [INFO] [stderr] help: there is an enum variant `rustc::session::config::BorrowckMode::Mir` and 1 other; try using the variant's enum [INFO] [stderr] | [INFO] [stderr] 403 | ) -> EvalResult<'tcx, Option<&'mir rustc::session::config::BorrowckMode>> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 403 | ) -> EvalResult<'tcx, Option<&'mir rustc::session::config::OutputType>> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in module `rustc_mir::interpret` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:409:41 [INFO] [stderr] | [INFO] [stderr] 409 | ecx: &mut rustc_mir::interpret::InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:413:10 [INFO] [stderr] | [INFO] [stderr] 413 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in module `rustc_mir::interpret` [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:419:37 [INFO] [stderr] | [INFO] [stderr] 419 | ecx: &rustc_mir::interpret::InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:423:10 [INFO] [stderr] | [INFO] [stderr] 423 | ) -> EvalResult<'tcx, (Scalar, bool)> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:428:19 [INFO] [stderr] | [INFO] [stderr] 428 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:430:10 [INFO] [stderr] | [INFO] [stderr] 430 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:473:10 [INFO] [stderr] | [INFO] [stderr] 473 | ) -> EvalResult<'tcx, Cow<'tcx, Allocation>> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:496:37 [INFO] [stderr] | [INFO] [stderr] 496 | fn before_terminator(_ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:496:75 [INFO] [stderr] | [INFO] [stderr] 496 | fn before_terminator(_ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>) -> EvalResult<'tcx> [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:537:16 [INFO] [stderr] | [INFO] [stderr] 537 | _ecx: &InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:540:10 [INFO] [stderr] | [INFO] [stderr] 540 | ) -> EvalResult<'tcx, Scalar> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:547:19 [INFO] [stderr] | [INFO] [stderr] 547 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:550:10 [INFO] [stderr] | [INFO] [stderr] 550 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:565:19 [INFO] [stderr] | [INFO] [stderr] 565 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:566:10 [INFO] [stderr] | [INFO] [stderr] 566 | ) -> EvalResult<'tcx, stacked_borrows::CallId> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `InterpretCx` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:572:19 [INFO] [stderr] | [INFO] [stderr] 572 | ecx: &mut InterpretCx<'a, 'mir, 'tcx, Self>, [INFO] [stderr] | ^^^^^^^^^^^ help: a struct with a similar name exists: `InterpCx` [INFO] [stderr] [INFO] [stderr] error[E0412]: cannot find type `EvalResult` in this scope [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:574:10 [INFO] [stderr] | [INFO] [stderr] 574 | ) -> EvalResult<'tcx> { [INFO] [stderr] | ^^^^^^^^^^ not found in this scope [INFO] [stderr] help: possible candidate is found in another module, you can import it into scope [INFO] [stderr] | [INFO] [stderr] 24 | use rustc::middle::stability::EvalResult; [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 1, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:74:21 [INFO] [stderr] | [INFO] [stderr] 74 | tcx: TyCtxt<'a, 'tcx, 'tcx>, [INFO] [stderr] | ^^^^ ^^^^ unexpected lifetime argument [INFO] [stderr] | | [INFO] [stderr] | unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 1, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:214:21 [INFO] [stderr] | [INFO] [stderr] 214 | tcx: TyCtxt<'a, 'tcx, 'tcx>, [INFO] [stderr] | ^^^^ ^^^^ unexpected lifetime argument [INFO] [stderr] | | [INFO] [stderr] | unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 2, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:378:40 [INFO] [stderr] | [INFO] [stderr] 378 | impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> { [INFO] [stderr] | ^^^^ unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 1, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/lib.rs:471:27 [INFO] [stderr] | [INFO] [stderr] 471 | tcx: TyCtxtAt<'a, 'tcx, 'tcx>, [INFO] [stderr] | ^^^^ ^^^^ unexpected lifetime argument [INFO] [stderr] | | [INFO] [stderr] | unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 2, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/helpers.rs:130:36 [INFO] [stderr] | [INFO] [stderr] 130 | ValueVisitor<'a, 'mir, 'tcx, Evaluator<'tcx>> [INFO] [stderr] | ^^^^ unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error[E0107]: wrong number of lifetime arguments: expected 2, found 3 [INFO] [stderr] --> /opt/rustwide/cargo-home/git/checkouts/miri-8f8b361f28c5a248/96b2225/src/stacked_borrows.rs:699:39 [INFO] [stderr] | [INFO] [stderr] 699 | MutValueVisitor<'a, 'mir, 'tcx, Evaluator<'tcx>> [INFO] [stderr] | ^^^^ unexpected lifetime argument [INFO] [stderr] [INFO] [stderr] error: aborting due to 113 previous errors [INFO] [stderr] [INFO] [stderr] Some errors have detailed explanations: E0107, E0407, E0412, E0432, E0433. [INFO] [stderr] For more information about an error, try `rustc --explain E0107`. [INFO] [stderr] error: could not compile `miri`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "ed370499d6f528e6a8b03765a3e66504d0c0b51baf40c5b61c8a68ada16bea94"` [INFO] running `"docker" "rm" "-f" "ed370499d6f528e6a8b03765a3e66504d0c0b51baf40c5b61c8a68ada16bea94"` [INFO] [stdout] ed370499d6f528e6a8b03765a3e66504d0c0b51baf40c5b61c8a68ada16bea94