Preparing... Cloning seer-git build files... Generating seer-git information... Checking seer-git dependencies... Resolving dependencies... Checking inter-conflicts... Building seer-git... ==> Making package: seer-git 0.0.3.393-1 (Mon 28 Mar 2022 08:50:57 BST) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Updating seer git repo... Fetching origin ==> Validating source files with sha256sums... seer ... Skipped ==> Removing existing $srcdir/ directory... ==> Extracting sources... -> Creating working copy of seer git repo... Cloning into 'seer'... done. ==> Starting pkgver()... ==> Removing existing $pkgdir/ directory... ==> Starting build()... Compiling libc v0.2.42 Compiling unicode-xid v0.0.4 Compiling num-traits v0.2.4 Compiling lazy_static v1.0.1 Compiling quote v0.3.15 Compiling cfg-if v0.1.3 Compiling void v1.0.2 Compiling regex v1.0.0 Compiling ucd-util v0.1.1 Compiling dtoa v0.4.2 Compiling serde v0.9.15 Compiling quick-error v1.2.2 Compiling utf8-ranges v1.0.0 Compiling itoa v0.3.4 Compiling z3-sys v0.3.0 Compiling termcolor v0.3.6 Compiling byteorder v1.2.3 Compiling log v0.4.2 Compiling unreachable v1.0.0 Compiling log_settings v0.1.2 Compiling humantime v1.1.1 Compiling synom v0.11.3 Compiling thread_local v0.3.5 Compiling regex-syntax v0.6.1 Compiling log v0.3.9 Compiling syn v0.11.11 Compiling memchr v2.0.1 Compiling atty v0.2.10 Compiling seer-z3 v0.1.2 Compiling aho-corasick v0.6.4 Compiling serde_codegen_internals v0.14.2 Compiling num-traits v0.1.43 Compiling serde_derive v0.9.15 Compiling serde_json v0.9.10 Compiling env_logger v0.5.10 Compiling cargo_metadata v0.1.2 Compiling seer v0.0.3 (/mnt/MEDIA/Builds/seer-git/src/seer) error[E0462]: found staticlib `rustc` instead of rlib or dylib --> src/lib.rs:13:1 | 13 | extern crate rustc; | ^^^^^^^^^^^^^^^^^^^ | = help: please recompile that crate using --crate-type lib = note: the following crate versions were found: crate `rustc`: /usr/lib64/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.tsan.a crate `rustc`: /usr/lib64/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.asan.a crate `rustc`: /usr/lib64/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.lsan.a crate `rustc`: /usr/lib64/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.msan.a error[E0463]: can't find crate for `rustc_apfloat` --> src/lib.rs:14:1 | 14 | extern crate rustc_apfloat; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `rustc_data_structures` --> src/lib.rs:15:1 | 15 | extern crate rustc_data_structures; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `rustc_driver` --> src/lib.rs:16:1 | 16 | extern crate rustc_driver; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `rustc_errors` --> src/lib.rs:17:1 | 17 | extern crate rustc_errors; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `rustc_target` --> src/lib.rs:18:1 | 18 | extern crate rustc_target; | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `rustc_codegen_utils` --> src/lib.rs:19:1 | 19 | extern crate rustc_codegen_utils; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate | = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` error[E0463]: can't find crate for `syntax` --> src/lib.rs:20:1 | 20 | extern crate syntax; | ^^^^^^^^^^^^^^^^^^^^ can't find crate error: cannot find macro `bug` in this scope --> src/eval_context.rs:853:48 | 853 | layout::Variants::Single { .. } => bug!(), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:994:32 | 994 | Value::ByRef(_) => bug!("follow_by_ref_value can't result in `ByRef`"), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1001:37 | 1001 | Value::ByValPair(..) => bug!("value_to_primval can't work with fat pointers"), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1250:22 | 1250 | _ => bug!("unsized primval ptr read from {:?}", pointee_ty), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1407:18 | 1407 | _ => bug!("invalid unsizing {:?} -> {:?}", src_ty, dest_ty), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1448:26 | 1448 | _ => bug!("expected pointer, got {:?}", src), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1472:18 | 1472 | _ => bug!("unsize_into: invalid conversion: {:?} -> {:?}", src_ty, dest_ty), | ^^^ error: cannot find macro `bug` in this scope --> src/format_executor.rs:205:18 | 205 | _ => bug!("string buffer pointer was not a pointer: {:?}", primval_ptr) | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:78:18 | 78 | _ => bug!("to_ptr_and_extra: expected Place::Ptr, got {:?}", self), | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:101:26 | 101 | _ => bug!("elem_ty_and_len of a TySlice given non-slice place: {:?}", self), | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:105:18 | 105 | _ => bug!("elem_ty_and_len expected array or slice, got {:?}", ty), | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:176:34 | 176 | Value::ByVal(val) => bug!("field access on non aggregate {:?}, {:?}", val, base_ty), | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:329:37 | 329 | PlaceExtra::None => bug!("expected fat pointer"), | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:331:21 | 331 | bug!("Rust doesn't support unsized fields in enum variants") | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/drop.rs:24:18 | 24 | _ => bug!("force_allocation broken"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:92:40 | 92 | Value::ByRef(_) => bug!("just read the value, can't be byref"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:93:45 | 93 | Value::ByValPair(..) => bug!("atomic_xchg doesn't work with nonprimitives"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:107:40 | 107 | Value::ByRef(_) => bug!("just read the value, can't be byref"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:108:45 | 108 | Value::ByValPair(..) => bug!("atomic_cxchg doesn't work with nonprimitives"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:127:40 | 127 | Value::ByRef(_) => bug!("just read the value, can't be byref"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:128:45 | 128 | Value::ByValPair(..) => bug!("atomic_xadd_relaxed doesn't work with nonprimitives"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:137:26 | 137 | _ => bug!(), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:203:26 | 203 | _ => bug!(), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:226:26 | 226 | _ => bug!(), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:241:26 | 241 | _ => bug!(), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:290:42 | 290 | Place::Ptr { .. } => bug!("init intrinsic tried to write to fat ptr target"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:457:42 | 457 | Place::Ptr { .. } => bug!("uninit intrinsic tried to write to fat ptr target"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:531:30 | 531 | _ => bug!("We already checked that we know this type"), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:573:22 | 573 | _ => bug!("size_of_val::<{:?}>", ty), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:621:26 | 621 | _ => bug!("not a numeric intrinsic: {}", name), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:371:26 | 371 | _ => bug!("bad ABI for ClosureOnceShim: {:?}", sig.abi), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:461:45 | 461 | ... bug!("failed to unpack arguments from tuple {:?}", other) | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:496:26 | 496 | _ => bug!("virtual call first arg cannot be a constant"), | ^^^ error: cannot find macro `bug` in this scope --> src/value.rs:372:18 | 372 | _ => bug!("can't make uint with size {}", size), | ^^^ error: cannot find macro `bug` in this scope --> src/value.rs:383:18 | 383 | _ => bug!("can't make int with size {}", size), | ^^^ error: cannot find macro `bug` in this scope --> src/value.rs:101:18 | 101 | _ => bug!("expected ptr and vtable, got {:?}", self), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:539:47 | 539 | ... Err(e) => bug!("failed to get source for span {:?}: {:?}", span, e), | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:609:34 | 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), | ^^^ ... 620 | "cttz" => integer_intrinsic!(trailing_zeros), | ---------------------------------- in this macro invocation | = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:609:34 | 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), | ^^^ ... 619 | "ctpop" => integer_intrinsic!(count_ones), | ------------------------------ in this macro invocation | = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:609:34 | 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), | ^^^ ... 618 | "ctlz" => integer_intrinsic!(leading_zeros), | --------------------------------- in this macro invocation | = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/terminator/intrinsic.rs:609:34 | 609 | _ => bug!("invalid `{}` argument: {:?}", name, bytes), | ^^^ ... 617 | "bswap" => integer_intrinsic!(swap_bytes), | ------------------------------ in this macro invocation | = note: this error originates in the macro `integer_intrinsic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/terminator/drop.rs:40:26 | 40 | _ => bug!("expected fat ptr, got {:?}", arg), | ^^^ error: cannot find macro `bug` in this scope --> src/memory.rs:1202:18 | 1202 | _ => bug!("bad integer size: {}", size), | ^^^ error: cannot find macro `bug` in this scope --> src/memory.rs:1131:30 | 1131 | _ => bug!("unexpected PrimVal::Bytes size"), | ^^^ error: cannot find macro `bug` in this scope --> src/memory.rs:1088:26 | 1088 | _ => bug!("unexpected PrimVal::Bytes size"), | ^^^ error: cannot find macro `bug` in this scope --> src/memory.rs:606:39 | 606 | ... (Some(_), Some(_)) => bug!("miri invariant broken: an allocation id exists that points to both a function and a memory location"), | ^^^ error: cannot find macro `span_bug` in this scope --> src/traits.rs:45:13 | 45 | span_bug!(span, "Uninferred types/regions in `{:?}`", result); | ^^^^^^^^ error: cannot find macro `span_bug` in this scope --> src/traits.rs:34:13 | 34 | span_bug!(span, "Encountered errors `{:?}` resolving bounds after type-checking", | ^^^^^^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:474:29 | 474 | ... bug!( | ^^^ error: cannot find macro `bug` in this scope --> src/terminator/mod.rs:133:42 | 133 | ... ref other => bug!("instance def ty: {:?}", other), | ^^^ error: cannot find macro `bug` in this scope --> src/step.rs:258:21 | 258 | bug!("static found but isn't a static: {:?}", def); | ^^^ error: cannot find macro `bug` in this scope --> src/step.rs:251:21 | 251 | bug!("static def id doesn't point to item"); | ^^^ error: cannot find macro `bug` in this scope --> src/step.rs:248:25 | 248 | bug!("static def id doesn't point to static"); | ^^^ error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 300 | (Rem, k) if k.is_int() => return int_arithmetic!(k, overflowing_rem, l, r), | ----------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 299 | (Div, k) if k.is_int() => return int_arithmetic!(k, overflowing_div, l, r), | ----------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 298 | (Mul, k) if k.is_int() => return int_arithmetic!(k, overflowing_mul, l, r), | ----------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 297 | (Sub, k) if k.is_int() => return int_arithmetic!(k, overflowing_sub, l, r), | ----------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 296 | (Add, k) if k.is_int() => return int_arithmetic!(k, overflowing_add, l, r), | ----------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:268:30 | 268 | _ => bug!("invalid float op: `{:?}`", bin_op), | ^^^ ... 275 | FloatTy::F64 => float_math!(Double), | ------------------- in this macro invocation | = note: this error originates in the macro `float_math` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:268:30 | 268 | _ => bug!("invalid float op: `{:?}`", bin_op), | ^^^ ... 274 | FloatTy::F32 => float_math!(Single), | ------------------- in this macro invocation | = note: this error originates in the macro `float_math` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:242:22 | 242 | _ => bug!("it has already been checked that this is a shift op"), | ^^^ error: cannot find macro `bug` in this scope --> src/operator.rs:117:18 | 117 | _ => bug!("int_shift should only be called on int primvals"), | ^^^ ... 241 | Shr => int_shift!(left_kind, overflowing_shr, l, r as u32), | --------------------------------------------------- in this macro invocation | = note: this error originates in the macro `int_shift` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:117:18 | 117 | _ => bug!("int_shift should only be called on int primvals"), | ^^^ ... 240 | Shl => int_shift!(left_kind, overflowing_shl, l, r as u32), | --------------------------------------------------- in this macro invocation | = note: this error originates in the macro `int_shift` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/operator.rs:208:34 | 208 | ... _ => bug!("We already established it has to be one of these operators."), | ^^^ error: cannot find macro `bug` in this scope --> src/operator.rs:97:18 | 97 | _ => bug!("int_arithmetic should only be called on int primvals"), | ^^^ ... 206 | return int_arithmetic!(left_kind, overflowing_sub, left_offset, right_offset); | ---------------------------------------------------------------------- in this macro invocation | = note: this error originates in the macro `int_arithmetic` (in Nightly builds, run with -Z macro-backtrace for more info) error: cannot find macro `bug` in this scope --> src/memory.rs:773:13 | 773 | bug!("tried to mark an allocation ({:?}) as static twice", alloc_id); | ^^^ error: cannot find macro `bug` in this scope --> src/place.rs:455:26 | 455 | _ => bug!("can only deref pointer types"), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:1228:13 | 1228 | bug!("primitive read failed for type: {:?}", ty); | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:678:38 | 678 | ref other => bug!("reify fn pointer on {:?}", other), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:668:38 | 668 | ref other => bug!("fn to unsafe fn cast on {:?}", other), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:660:38 | 660 | ref other => bug!("reify fn pointer on {:?}", other), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:635:60 | 635 | ... (Value::ByVal(_), true) => bug!("expected fat ptr"), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:580:25 | 580 | bug!("attempted to take a reference to an enum downcast place"), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:548:26 | 548 | _ => bug!("tried to assign array-repeat to non-array type {:?}", dest_ty), | ^^^ error: cannot find macro `bug` in this scope --> src/eval_context.rs:457:17 | 457 | bug!("StackPopCleanup::MarkStatic on: {:?}", frame.return_place); | ^^^ error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/cast.rs:66:51 | 66 | fn cast_from_signed_int(&self, val: i128, ty: ty::Ty<'tcx>) -> EvalResult<'tcx, PrimVal> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:72:13 | 72 | IntTy::I8 => v as i8 as u128, | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:73:13 | 73 | IntTy::I16 => v as i16 as u128, | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:74:13 | 74 | IntTy::I32 => v as i32 as u128, | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:75:13 | 75 | IntTy::I64 => v as i64 as u128, | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:76:13 | 76 | IntTy::I128 => v as u128, | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:77:13 | 77 | IntTy::Isize => { | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:85:13 | 85 | UintTy::U8 => v as u8 as u128, | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:86:13 | 86 | UintTy::U16 => v as u16 as u128, | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:87:13 | 87 | UintTy::U32 => v as u32 as u128, | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:88:13 | 88 | UintTy::U64 => v as u64 as u128, | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:89:13 | 89 | UintTy::U128 => v, | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:90:13 | 90 | UintTy::Usize => { | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/cast.rs:100:13 | 100 | ty: ty::Ty<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/cast.rs:110:21 | 110 | TyFloat(FloatTy::F32) if negative => Ok(PrimVal::Bytes(Single::from_i128(v as i128).value.to_bits())), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared type `Single` --> src/cast.rs:110:68 | 110 | TyFloat(FloatTy::F32) if negative => Ok(PrimVal::Bytes(Single::from_i128(v as i128).value.to_bits())), | ^^^^^^ use of undeclared type `Single` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/cast.rs:111:21 | 111 | TyFloat(FloatTy::F64) if negative => Ok(PrimVal::Bytes(Double::from_i128(v as i128).value.to_bits())), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared type `Double` --> src/cast.rs:111:68 | 111 | TyFloat(FloatTy::F64) if negative => Ok(PrimVal::Bytes(Double::from_i128(v as i128).value.to_bits())), | ^^^^^^ use of undeclared type `Double` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/cast.rs:112:21 | 112 | TyFloat(FloatTy::F32) => Ok(PrimVal::Bytes(Single::from_u128(v as u128).value.to_bits())), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared type `Single` --> src/cast.rs:112:56 | 112 | TyFloat(FloatTy::F32) => Ok(PrimVal::Bytes(Single::from_u128(v as u128).value.to_bits())), | ^^^^^^ use of undeclared type `Single` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/cast.rs:113:21 | 113 | TyFloat(FloatTy::F64) => Ok(PrimVal::Bytes(Double::from_u128(v as u128).value.to_bits())), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared type `Double` --> src/cast.rs:113:56 | 113 | TyFloat(FloatTy::F64) => Ok(PrimVal::Bytes(Double::from_u128(v as u128).value.to_bits())), | ^^^^^^ use of undeclared type `Double` error[E0433]: failed to resolve: use of undeclared type `IntTy` --> src/cast.rs:130:19 | 130 | TyInt(IntTy::Isize) | | ^^^^^ use of undeclared type `IntTy` error[E0433]: failed to resolve: use of undeclared type `UintTy` --> src/cast.rs:131:20 | 131 | TyUint(UintTy::Usize) => Ok(PrimVal::Ptr(ptr)), | ^^^^^^ use of undeclared type `UintTy` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:82:19 | 82 | operator: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:92:19 | 92 | operator: mir::UnOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:98:19 | 98 | Compare { op: mir::BinOp, kind: PrimValKind, lhs: PrimVal, rhs: PrimVal, }, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:134:19 | 134 | operator: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:147:19 | 147 | operator: mir::UnOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:168:28 | 168 | pub fn new_compare(op: mir::BinOp, kind: PrimValKind, lhs: PrimVal, rhs: PrimVal) -> Self { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:229:17 | 229 | bin_op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:239:14 | 239 | (mir::BinOp::Eq, _) | | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:240:14 | 240 | (mir::BinOp::Ne, _) | | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:241:14 | 241 | (mir::BinOp::Lt, _) | | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:242:14 | 242 | (mir::BinOp::Le, _) | | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:243:14 | 243 | (mir::BinOp::Gt, _) | | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:244:14 | 244 | (mir::BinOp::Ge, _) => (1, VarType::Bool, PrimValKind::Bool), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:271:16 | 271 | un_op: mir::UnOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:555:21 | 555 | mir::BinOp::Eq => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:559:21 | 559 | mir::BinOp::Ne => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:563:21 | 563 | mir::BinOp::Gt => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:571:21 | 571 | mir::BinOp::Lt => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:676:19 | 676 | operator: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:683:14 | 683 | (mir::BinOp::Eq, _) => left._eq(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:684:14 | 684 | (mir::BinOp::Ne, _) => left._eq(&right).not(), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:686:14 | 686 | (mir::BinOp::Lt, kind) if kind.is_signed_int() => left.bvslt(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:687:14 | 687 | (mir::BinOp::Lt, _) => left.bvult(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:689:14 | 689 | (mir::BinOp::Le, kind) if kind.is_signed_int() => left.bvsle(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:690:14 | 690 | (mir::BinOp::Le, _) => left.bvule(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:692:14 | 692 | (mir::BinOp::Gt, kind) if kind.is_signed_int() => left.bvsgt(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:693:14 | 693 | (mir::BinOp::Gt, _) => left.bvugt(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:695:14 | 695 | (mir::BinOp::Ge, kind) if kind.is_signed_int() => left.bvsge(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:696:14 | 696 | (mir::BinOp::Ge, _) => left.bvuge(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:698:14 | 698 | (mir::BinOp::Add, _) => left.bvadd(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:699:14 | 699 | (mir::BinOp::Sub, _) => left.bvsub(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:701:14 | 701 | (mir::BinOp::BitXor, PrimValKind::Bool) => left.xor(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:702:14 | 702 | (mir::BinOp::BitXor, _) => left.bvxor(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:704:14 | 704 | (mir::BinOp::BitAnd, PrimValKind::Bool) => left.and(&[&right]), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:705:14 | 705 | (mir::BinOp::BitAnd, _) => left.bvand(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:707:14 | 707 | (mir::BinOp::BitOr, PrimValKind::Bool) => left.or(&[&right]), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:708:14 | 708 | (mir::BinOp::BitOr, _) => left.bvor(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:710:14 | 710 | (mir::BinOp::Mul, _) => left.bvmul(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:711:14 | 711 | (mir::BinOp::Shl, _) => left.bvshl(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:713:14 | 713 | (mir::BinOp::Shr, kind) if kind.is_signed_int() => left.bvashr(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:714:14 | 714 | (mir::BinOp::Shr, _) => left.bvlshr(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:716:14 | 716 | (mir::BinOp::Div, kind) if kind.is_signed_int() => left.bvsdiv(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:717:14 | 717 | (mir::BinOp::Div, _) => left.bvudiv(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:719:14 | 719 | (mir::BinOp::Rem, kind) if kind.is_signed_int() => left.bvsrem(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:720:14 | 720 | (mir::BinOp::Rem, _) => left.bvurem(&right), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:732:19 | 732 | operator: mir::UnOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:737:13 | 737 | mir::UnOp::Not => val.not(), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/constraints.rs:738:13 | 738 | mir::UnOp::Neg => val.bvneg(), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:28:19 | 28 | InvalidBoolOp(mir::BinOp), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:34:14 | 34 | Overflow(mir::BinOp), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/error.rs:57:12 | 57 | Layout(layout::LayoutError<'tcx>), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:106:33 | 106 | EvalError::Overflow(mir::BinOp::Add) => "attempt to add with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:107:33 | 107 | EvalError::Overflow(mir::BinOp::Sub) => "attempt to subtract with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:108:33 | 108 | EvalError::Overflow(mir::BinOp::Mul) => "attempt to multiply with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:109:33 | 109 | EvalError::Overflow(mir::BinOp::Div) => "attempt to divide with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:110:33 | 110 | EvalError::Overflow(mir::BinOp::Rem) => "attempt to calculate the remainder with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:111:33 | 111 | EvalError::Overflow(mir::BinOp::Shr) => "attempt to shift right with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:112:33 | 112 | EvalError::Overflow(mir::BinOp::Shl) => "attempt to shift left with overflow", | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:221:19 | 221 | InvalidBoolOp(mir::BinOp), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/error.rs:227:14 | 227 | Overflow(mir::BinOp), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `codemap` --> src/eval_context.rs:45:29 | 45 | pub(crate) codemap: &'a codemap::CodeMap, | ^^^^^^^ use of undeclared crate or module `codemap` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:70:20 | 70 | pub mir: &'tcx mir::Mir<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:73:19 | 73 | pub instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `codemap` --> src/eval_context.rs:76:15 | 76 | pub span: codemap::Span, | ^^^^^^^ use of undeclared crate or module `codemap` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:101:16 | 101 | pub block: mir::BasicBlock, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:132:10 | 132 | Goto(mir::BasicBlock), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:175:31 | 175 | fn data_layout(&self) -> &layout::TargetDataLayout { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:183:31 | 183 | fn data_layout(&self) -> &layout::TargetDataLayout { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:188:16 | 188 | impl<'a, 'tcx> layout::HasTyCtxt<'tcx> for &'a EvalContext<'a, 'tcx> { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:195:24 | 195 | impl<'c, 'b, 'a, 'tcx> layout::HasTyCtxt<'tcx> | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `codemap` --> src/eval_context.rs:224:82 | 224 | pub fn new(tcx: TyCtxt<'a, 'tcx, 'tcx>, limits: ResourceLimits, codemap: &'a codemap::CodeMap) -> Self { | ^^^^^^^ use of undeclared crate or module `codemap` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:283:53 | 283 | fn rustc_primval_to_primval(&mut self, primval: mir::interpret::Scalar) -> EvalResult<'tcx, PrimVal> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:286:13 | 286 | mir::interpret::Scalar::Bits { defined: 0, bits: _} => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:289:13 | 289 | mir::interpret::Scalar::Bits { defined: _, bits: b} => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:292:13 | 292 | mir::interpret::Scalar::Ptr(ptr) => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared type `ConstValue` --> src/eval_context.rs:301:13 | 301 | ConstValue::Unevaluated(def_id, substs) => { | ^^^^^^^^^^ use of undeclared type `ConstValue` error[E0433]: failed to resolve: use of undeclared type `ConstValue` --> src/eval_context.rs:309:13 | 309 | ConstValue::ByRef(..) => { | ^^^^^^^^^^ use of undeclared type `ConstValue` error[E0433]: failed to resolve: use of undeclared type `ConstValue` --> src/eval_context.rs:312:13 | 312 | ConstValue::Scalar(prim_val) => { | ^^^^^^^^^^ use of undeclared type `ConstValue` error[E0433]: failed to resolve: use of undeclared type `ConstValue` --> src/eval_context.rs:315:13 | 315 | ConstValue::ScalarPair(p1, p2) => { | ^^^^^^^^^^ use of undeclared type `ConstValue` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:322:97 | 322 | pub(super) fn resolve(&self, def_id: DefId, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, ty::Instance<'tcx>> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:335:44 | 335 | ty.is_sized(self.tcx.at(DUMMY_SP), ty::ParamEnv::empty()) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:338:38 | 338 | pub fn load_mir(&self, instance: ty::InstanceDef<'tcx>) -> EvalResult<'tcx, &'tcx mir::Mir<'tcx>> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:338:87 | 338 | pub fn load_mir(&self, instance: ty::InstanceDef<'tcx>) -> EvalResult<'tcx, &'tcx mir::Mir<'tcx>> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:341:13 | 341 | ... ty::InstanceDef::Item(def_id) => self.tcx.maybe_optimized_mir(def_id).ok_or_else(|| EvalError::NoMirFor(self.tcx.item_path_str(def_... | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:350:44 | 350 | self.tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), substituted) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:400:19 | 400 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `codemap` --> src/eval_context.rs:401:15 | 401 | span: codemap::Span, | ^^^^^^^ use of undeclared crate or module `codemap` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:402:20 | 402 | mir: &'tcx mir::Mir<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:415:20 | 415 | block: mir::START_BLOCK, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:485:18 | 485 | rvalue: &mir::Rvalue<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:486:17 | 486 | place: &mir::Place<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:521:21 | 521 | mir::AggregateKind::Adt(adt_def, variant_index, _, active_field_index) => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:539:70 | 539 | let (field_dest, _) = self.place_field(dest, mir::Field::new(field_index), layout)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:547:21 | 547 | ty::TyArray(elem_ty, n) => (elem_ty, n.unwrap_usize(self.tcx)), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:586:23 | 586 | NullaryOp(mir::NullOp::Box, ty) => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:601:23 | 601 | NullaryOp(mir::NullOp::SizeOf, ty) => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:655:25 | 655 | ty::TyFnDef(def_id, substs) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:664:25 | 664 | ty::TyFnPtr(_) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:672:25 | 672 | ty::TyClosure(def_id, substs) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:674:59 | 674 | ... self.tcx, def_id, substs, ty::ClosureKind::FnOnce); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:696:24 | 696 | if let ty::TyAdt(adt_def, _) = ty.sty { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:722:13 | 722 | ty::TyRawPtr(ty::TypeAndMut {ty, .. }) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:722:26 | 722 | ty::TyRawPtr(ty::TypeAndMut {ty, .. }) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:723:13 | 723 | ty::TyRef(_, ty, _) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:724:24 | 724 | if let ty::TyForeign(def_id) = ty.sty { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:732:13 | 732 | ty::TyAdt(def, _) if def.is_box() => !self.type_is_sized(ty.boxed_ty()), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:798:37 | 798 | Err(EvalError::Overflow(mir::BinOp::Mul)) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:802:59 | 802 | pub(super) fn eval_operand_to_primval(&mut self, op: &mir::Operand<'tcx>) -> EvalResult<'tcx, PrimVal> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:808:48 | 808 | pub(super) fn eval_operand(&mut self, op: &mir::Operand<'tcx>) -> EvalResult<'tcx, Value> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:816:21 | 816 | let mir::Constant { ref literal, .. } = **constant; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared type `Literal` --> src/eval_context.rs:818:21 | 818 | Literal::Value { ref value } => self.const_to_value(&value.val)?, | ^^^^^^^ use of undeclared type `Literal` error[E0433]: failed to resolve: use of undeclared type `Literal` --> src/eval_context.rs:819:21 | 819 | Literal::Promoted { index } => { | ^^^^^^^ use of undeclared type `Literal` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:840:13 | 840 | layout::Variants::Single { index } => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:843:13 | 843 | layout::Variants::Tagged { .. } | | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:844:13 | 844 | layout::Variants::NicheFilling { .. } => {}, | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:847:60 | 847 | let (discr_place, discr) = self.place_field(place, mir::Field::new(0), layout)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:853:13 | 853 | layout::Variants::Single { .. } => bug!(), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:854:13 | 854 | layout::Variants::Tagged { .. } => raw_discr_primval.to_bytes()?, | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:855:13 | 855 | layout::Variants::NicheFilling { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:891:13 | 891 | layout::Variants::Single { index } => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:896:32 | 896 | ... layout::Abi::Uninhabited); | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:899:13 | 899 | layout::Variants::Tagged { .. } => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:903:66 | 903 | let (discr_dest, discr) = self.place_field(dest, mir::Field::new(0), layout)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:906:13 | 906 | layout::Variants::NicheFilling { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:914:48 | 914 | self.place_field(dest, mir::Field::new(0), layout)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:925:47 | 925 | pub(super) fn operand_ty(&self, operand: &mir::Operand<'tcx>) -> Ty<'tcx> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1151:13 | 1151 | ty::TyBool => PrimValKind::Bool, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1152:13 | 1152 | ty::TyChar => PrimValKind::Char, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1154:13 | 1154 | ty::TyInt(int_ty) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1167:13 | 1167 | ty::TyUint(uint_ty) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1180:13 | 1180 | ty::TyFloat(FloatTy::F32) => PrimValKind::F32, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/eval_context.rs:1180:25 | 1180 | ty::TyFloat(FloatTy::F32) => PrimValKind::F32, | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1181:13 | 1181 | ty::TyFloat(FloatTy::F64) => PrimValKind::F64, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/eval_context.rs:1181:25 | 1181 | ty::TyFloat(FloatTy::F64) => PrimValKind::F64, | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1183:13 | 1183 | ty::TyFnPtr(_) => PrimValKind::FnPtr, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1185:13 | 1185 | ty::TyRawPtr(ty::TypeAndMut { ty, .. }) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1185:26 | 1185 | ty::TyRawPtr(ty::TypeAndMut { ty, .. }) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1186:13 | 1186 | ty::TyRef(_, ty, _) if self.type_is_sized(ty) => PrimValKind::Ptr, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1188:13 | 1188 | ty::TyAdt(ref def, _) if def.is_box() => PrimValKind::Ptr, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1190:13 | 1190 | ty::TyAdt(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:1192:21 | 1192 | layout::Abi::Scalar(ref scalar) => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1215:13 | 1215 | ty::TyBool if val.is_concrete() && val.to_bytes()? > 1 => Err(EvalError::InvalidBool), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1217:13 | 1217 | ty::TyChar if val.is_concrete() && ::std::char::from_u32(val.to_bytes()? as u32).is_none() | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1240:17 | 1240 | ty::TyDynamic(..) => self.memory.read_ptr(extra)?, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1241:17 | 1241 | ty::TySlice(..) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1242:17 | 1242 | ty::TyStr => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1264:13 | 1264 | ty::TyBool => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1271:13 | 1271 | ty::TyChar => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1283:13 | 1283 | ty::TyInt(int_ty) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1306:13 | 1306 | ty::TyUint(uint_ty) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1324:13 | 1324 | ty::TyFloat(FloatTy::F32) => PrimVal::from_f32(self.memory.read_f32(ptr)?), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/eval_context.rs:1324:25 | 1324 | ty::TyFloat(FloatTy::F32) => PrimVal::from_f32(self.memory.read_f32(ptr)?), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1325:13 | 1325 | ty::TyFloat(FloatTy::F64) => PrimVal::from_f64(self.memory.read_f64(ptr)?), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/eval_context.rs:1325:25 | 1325 | ty::TyFloat(FloatTy::F64) => PrimVal::from_f64(self.memory.read_f64(ptr)?), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1327:13 | 1327 | ty::TyFnPtr(_) => self.memory.read_ptr(ptr)?, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1328:13 | 1328 | ty::TyRef(_, ty, _) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1329:13 | 1329 | ty::TyRawPtr(ty::TypeAndMut {ty, ..}) => return self.read_ptr(ptr, ty).map(Some), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1329:26 | 1329 | ty::TyRawPtr(ty::TypeAndMut {ty, ..}) => return self.read_ptr(ptr, ty).map(Some), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1331:13 | 1331 | ty::TyAdt(def, _) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:1336:24 | 1336 | if let layout::Abi::Scalar(ref scalar) = self.type_layout(ty)?.abi { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:1338:28 | 1338 | if let layout::Int(_, s) = scalar.value { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:1366:39 | 1366 | pub(super) fn mir(&self) -> &'tcx mir::Mir<'tcx> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1387:15 | 1387 | (&ty::TyArray(_, length), &ty::TySlice(_)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1387:40 | 1387 | (&ty::TyArray(_, length), &ty::TySlice(_)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1392:15 | 1392 | (&ty::TyDynamic(..), &ty::TyDynamic(..)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1392:35 | 1392 | (&ty::TyDynamic(..), &ty::TyDynamic(..)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1398:18 | 1398 | (_, &ty::TyDynamic(ref data, _)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1419:15 | 1419 | (&ty::TyRef(_, s, _), &ty::TyRef(_, d, _)) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1419:36 | 1419 | (&ty::TyRef(_, s, _), &ty::TyRef(_, d, _)) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1420:15 | 1420 | (&ty::TyRef(_, s, _), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1420:36 | 1420 | (&ty::TyRef(_, s, _), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1420:49 | 1420 | (&ty::TyRef(_, s, _), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1421:15 | 1421 | (&ty::TyRawPtr(ty::TypeAndMut {ty: s, ..}), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) => | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1421:28 | 1421 | (&ty::TyRawPtr(ty::TypeAndMut {ty: s, ..}), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) => | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1421:58 | 1421 | (&ty::TyRawPtr(ty::TypeAndMut {ty: s, ..}), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) => | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1421:71 | 1421 | (&ty::TyRawPtr(ty::TypeAndMut {ty: s, ..}), &ty::TyRawPtr(ty::TypeAndMut {ty: d, ..})) => | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1423:15 | 1423 | (&ty::TyAdt(def_a, substs_a), &ty::TyAdt(def_b, substs_b)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1423:44 | 1423 | (&ty::TyAdt(def_a, substs_a), &ty::TyAdt(def_b, substs_b)) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:1527:16 | 1527 | local: mir::Local, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:1544:36 | 1544 | pub fn get_local(&self, local: mir::Local) -> EvalResult<'tcx, Value> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:1549:36 | 1549 | fn set_local(&mut self, local: mir::Local, value: Value) { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/eval_context.rs:1561:21 | 1561 | impl IntegerExt for layout::Integer { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/eval_context.rs:1565:19 | 1565 | I8 => Size::from_bits(8), | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/eval_context.rs:1566:20 | 1566 | I16 => Size::from_bits(16), | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/eval_context.rs:1567:20 | 1567 | I32 => Size::from_bits(32), | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/eval_context.rs:1568:20 | 1568 | I64 => Size::from_bits(64), | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/eval_context.rs:1569:21 | 1569 | I128 => Size::from_bits(128), | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1575:77 | 1575 | pub fn monomorphize_field_ty<'a, 'tcx:'a >(tcx: TyCtxt<'a, 'tcx, 'tcx>, f: &ty::FieldDef, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1577:35 | 1577 | tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), substituted) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/eval_context.rs:1594:48 | 1594 | impl<'b, 'tcx: 'b> IntoValTyPair<'tcx> for &'b mir::Operand<'tcx> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1640:48 | 1640 | self.tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), &ty) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/eval_context.rs:1648:6 | 1648 | ) -> ty::Instance<'tcx> | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `Kind` --> src/eval_context.rs:1651:38 | 1651 | let substs = tcx.intern_substs(&[Kind::from(ty)]); | ^^^^ use of undeclared type `Kind` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/executor.rs:32:21 | 32 | goto_block: mir::BasicBlock, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/executor.rs:97:24 | 97 | let instance = ty::Instance::mono(tcx, def_id); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `DefPathData` --> src/executor.rs:227:70 | 227 | if tcx.def_key(instance.def_id()).disambiguated_data.data == DefPathData::ClosureExpr { | ^^^^^^^^^^^ use of undeclared type `DefPathData` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/format_executor.rs:70:96 | 70 | ...ntext<'a, 'tcx>, ty: Ty<'tcx>, field_substs: &ty::subst::Substs<'tcx>, name: &str) -> Option<(Ty<'tcx>, u64)> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/format_executor.rs:92:40 | 92 | let substs_u8 = tcx.mk_substs([ty::subst::Kind::from(tcx.types.u8)].iter()); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/format_executor.rs:126:42 | 126 | let substs = self.tcx.mk_substs([ty::subst::Kind::from(ty)].iter()); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/format_executor.rs:127:24 | 127 | let instance = ty::Instance::new(self.entry_def_id, substs); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ast` --> src/format_executor.rs:228:25 | 228 | display_fn: Option<(ast::NodeId, Span)>, | ^^^ use of undeclared crate or module `ast` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/format_executor.rs:242:39 | 242 | fn visit_item(&mut self, i: &'tcx hir::Item){ | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/format_executor.rs:244:13 | 244 | hir::ItemKind::Fn(..) => { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/format_executor.rs:253:55 | 253 | fn visit_trait_item(&mut self, _trait_item: &'tcx hir::TraitItem) { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/format_executor.rs:256:53 | 256 | fn visit_impl_item(&mut self, _impl_item: &'tcx hir::ImplItem) { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:23:16 | 23 | local: mir::Local, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:43:26 | 43 | pub(super) instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:46:33 | 46 | pub(super) promoted: Option, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:91:13 | 91 | ty::TyArray(elem, n) => (elem, n.unwrap_usize(tcx)), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:93:13 | 93 | ty::TySlice(elem) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:124:46 | 124 | pub fn try_read_place(&mut self, place: &mir::Place<'tcx>) -> EvalResult<'tcx, Option> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:128:19 | 128 | Local(mir::RETURN_PLACE) => Err(EvalError::ReadFromReturnPointer), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:133:32 | 133 | let instance = ty::Instance::mono(self.tcx, static_.def_id); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:145:16 | 145 | field: mir::Field, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:184:52 | 184 | fn try_read_place_projection(&mut self, proj: &mir::PlaceProjection<'tcx>) -> EvalResult<'tcx, Option> { | ^^^ use of undeclared crate or module `mir` error[E0408]: variable `Deref` is not bound in all patterns --> src/place.rs:194:13 | 194 | Downcast(..) | | ^^^^^^^^^^^^ pattern doesn't bind `Deref` 195 | Subslice { .. } | | ^^^^^^^^^^^^^^^ pattern doesn't bind `Deref` 196 | // reading index 0 or index 1 from a ByVal or ByVal pair could be optimized 197 | ConstantIndex { .. } | Index(_) | | ^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^ pattern doesn't bind `Deref` | | | pattern doesn't bind `Deref` 198 | // No way to optimize this projection any better than the normal place path 199 | Deref => Ok(None), | ----- variable not in all patterns | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Deref` --> src/place.rs:199:13 | 199 | Deref => Ok(None), | ^^^^^ error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:203:58 | 203 | pub(super) fn eval_and_read_place(&mut self, place: &mir::Place<'tcx>) -> EvalResult<'tcx, Value> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:244:53 | 244 | pub(super) fn eval_place(&mut self, mir_place: &mir::Place<'tcx>) -> EvalResult<'tcx, Place<'tcx>> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:247:19 | 247 | Local(mir::RETURN_PLACE) => self.frame().return_place, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:251:32 | 251 | let instance = ty::Instance::mono(self.tcx, static_.def_id); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:272:16 | 272 | field: mir::Field, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:344:13 | 344 | ty::TyDynamic(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:351:13 | 351 | ty::TyStr | ty::TySlice(_) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:351:25 | 351 | ty::TyStr | ty::TySlice(_) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:399:21 | 399 | mir::BinOp::Mul, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:405:21 | 405 | mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:435:21 | 435 | proj_elem: &mir::ProjectionElem<'tcx, mir::Local, Ty<'tcx>>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:435:47 | 435 | proj_elem: &mir::ProjectionElem<'tcx, mir::Local, Ty<'tcx>>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:452:21 | 452 | ty::TyRawPtr(ty::TypeAndMut {ty, ..}) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:452:34 | 452 | ty::TyRawPtr(ty::TypeAndMut {ty, ..}) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:453:21 | 453 | ty::TyRef(_, ty, _) => ty, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/place.rs:454:21 | 454 | ty::TyAdt(def, _) if def.is_box() => base_ty.boxed_ty(), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/place.rs:519:43 | 519 | pub(super) fn place_ty(&self, place: &mir::Place<'tcx>) -> Ty<'tcx> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/memory.rs:178:32 | 178 | rustc_allocations: HashMap, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:197:33 | 197 | functions: HashMap>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:200:35 | 200 | function_alloc_cache: HashMap, AllocId>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:253:49 | 253 | pub fn create_fn_alloc(&mut self, instance: ty::Instance<'tcx>) -> MemoryPointer { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:303:50 | 303 | pub fn get_rustc_allocation(&mut self, tcx: &ty::TyCtxt<'a, 'tcx, 'tcx>, ptr: mir::interpret::Pointer) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/memory.rs:303:83 | 303 | pub fn get_rustc_allocation(&mut self, tcx: &ty::TyCtxt<'a, 'tcx, 'tcx>, ptr: mir::interpret::Pointer) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared type `AllocType` --> src/memory.rs:311:22 | 311 | Some(AllocType::Static(_)) => unimplemented!(), | ^^^^^^^^^ use of undeclared type `AllocType` error[E0433]: failed to resolve: use of undeclared type `AllocType` --> src/memory.rs:312:22 | 312 | Some(AllocType::Function(_)) => unimplemented!(), | ^^^^^^^^^ use of undeclared type `AllocType` error[E0433]: failed to resolve: use of undeclared type `AllocType` --> src/memory.rs:313:22 | 313 | Some(AllocType::Memory(alloc)) => { | ^^^^^^^^^ use of undeclared type `AllocType` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:420:33 | 420 | pub fn endianness(&self) -> layout::Endian { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/memory.rs:510:21 | 510 | mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:564:66 | 564 | pub fn get_fn(&self, ptr: MemoryPointer) -> EvalResult<'tcx, ty::Instance<'tcx>> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/memory.rs:755:98 | 755 | pub fn write_fresh_symbolic_var(&mut self, ptr: MemoryPointer, size: u64, label: String, ty: ty::Ty<'tcx>) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/memory.rs:883:25 | 883 | mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:950:34 | 950 | let src_idx = if let layout::Endian::Big = self.endianness() { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1096:21 | 1096 | layout::Endian::Little => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1101:21 | 1101 | layout::Endian::Big => { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/memory.rs:1140:29 | 1140 | ... mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1301:38 | 1301 | fn write_target_uint(endianness: layout::Endian, mut target: &mut [u8], data: u128) -> Result<(), io::Error> { | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1304:13 | 1304 | layout::Endian::Little => target.write_uint128::(data, len), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1305:13 | 1305 | layout::Endian::Big => target.write_uint128::(data, len), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1309:37 | 1309 | fn write_target_int(endianness: layout::Endian, mut target: &mut [u8], data: i128) | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1314:13 | 1314 | layout::Endian::Little => target.write_int128::(data, len), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1315:13 | 1315 | layout::Endian::Big => target.write_int128::(data, len), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1320:33 | 1320 | fn read_target_uint(endianness: layout::Endian, sbytes: &[SByte]) | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1332:9 | 1332 | layout::Endian::Little => source.read_uint128::(source.len()), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1333:9 | 1333 | layout::Endian::Big => source.read_uint128::(source.len()), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1337:32 | 1337 | fn read_target_int(endianness: layout::Endian, sbytes: &[SByte]) | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1349:9 | 1349 | layout::Endian::Little => source.read_int128::(source.len()), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1350:9 | 1350 | layout::Endian::Big => source.read_int128::(source.len()), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1354:32 | 1354 | fn read_target_f32(endianness: layout::Endian, sbytes: &[SByte]) | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1366:9 | 1366 | layout::Endian::Little => source.read_f32::(), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1367:9 | 1367 | layout::Endian::Big => source.read_f32::(), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1371:32 | 1371 | fn read_target_f64(endianness: layout::Endian, sbytes: &[SByte]) | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1383:9 | 1383 | layout::Endian::Little => source.read_f64::(), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `layout` --> src/memory.rs:1384:9 | 1384 | layout::Endian::Big => source.read_f64::(), | ^^^^^^ use of undeclared crate or module `layout` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:26:13 | 26 | op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:27:16 | 27 | left: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:28:17 | 28 | right: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:41:13 | 41 | op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:42:16 | 42 | left: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:43:17 | 43 | right: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:56:13 | 56 | op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:57:16 | 57 | left: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:58:17 | 58 | right: &mir::Operand<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:127:17 | 127 | bin_op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0408]: variable `Ge` is not bound in all patterns --> src/operator.rs:187:17 | 187 | Lt | Le | Gt | Ge | Sub | ^^ ^^ ^^ -- ^^^ pattern doesn't bind `Ge` | | | | | | | | | variable not in all patterns | | | pattern doesn't bind `Ge` | | pattern doesn't bind `Ge` | pattern doesn't bind `Ge` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Ge` --> src/operator.rs:187:32 | 187 | Lt | Le | Gt | Ge | Sub | ^^ error[E0408]: variable `Gt` is not bound in all patterns --> src/operator.rs:187:17 | 187 | Lt | Le | Gt | Ge | Sub | ^^ ^^ -- ^^ ^^^ pattern doesn't bind `Gt` | | | | | | | | | pattern doesn't bind `Gt` | | | variable not in all patterns | | pattern doesn't bind `Gt` | pattern doesn't bind `Gt` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Gt` --> src/operator.rs:187:27 | 187 | Lt | Le | Gt | Ge | Sub | ^^ error[E0408]: variable `Le` is not bound in all patterns --> src/operator.rs:187:17 | 187 | Lt | Le | Gt | Ge | Sub | ^^ -- ^^ ^^ ^^^ pattern doesn't bind `Le` | | | | | | | | | pattern doesn't bind `Le` | | | pattern doesn't bind `Le` | | variable not in all patterns | pattern doesn't bind `Le` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Le` --> src/operator.rs:187:22 | 187 | Lt | Le | Gt | Ge | Sub | ^^ error[E0408]: variable `Lt` is not bound in all patterns --> src/operator.rs:187:22 | 187 | Lt | Le | Gt | Ge | Sub | -- ^^ ^^ ^^ ^^^ pattern doesn't bind `Lt` | | | | | | | | | pattern doesn't bind `Lt` | | | pattern doesn't bind `Lt` | | pattern doesn't bind `Lt` | variable not in all patterns | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Lt` --> src/operator.rs:187:17 | 187 | Lt | Le | Gt | Ge | Sub | ^^ error[E0408]: variable `Sub` is not bound in all patterns --> src/operator.rs:187:17 | 187 | Lt | Le | Gt | Ge | Sub | ^^ ^^ ^^ ^^ --- variable not in all patterns | | | | | | | | | pattern doesn't bind `Sub` | | | pattern doesn't bind `Sub` | | pattern doesn't bind `Sub` | pattern doesn't bind `Sub` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Sub` --> src/operator.rs:187:37 | 187 | Lt | Le | Gt | Ge | Sub | ^^^ error[E0408]: variable `Add` is not bound in all patterns --> src/operator.rs:217:23 | 217 | Add | BitAnd | Sub | --- ^^^^^^ ^^^ pattern doesn't bind `Add` | | | | | pattern doesn't bind `Add` | variable not in all patterns | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Add` --> src/operator.rs:217:17 | 217 | Add | BitAnd | Sub | ^^^ error[E0408]: variable `BitAnd` is not bound in all patterns --> src/operator.rs:217:17 | 217 | Add | BitAnd | Sub | ^^^ ------ ^^^ pattern doesn't bind `BitAnd` | | | | | variable not in all patterns | pattern doesn't bind `BitAnd` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::BitAnd` --> src/operator.rs:217:23 | 217 | Add | BitAnd | Sub | ^^^^^^ error[E0408]: variable `Sub` is not bound in all patterns --> src/operator.rs:217:17 | 217 | Add | BitAnd | Sub | ^^^ ^^^^^^ --- variable not in all patterns | | | | | pattern doesn't bind `Sub` | pattern doesn't bind `Sub` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Sub` --> src/operator.rs:217:32 | 217 | Add | BitAnd | Sub | ^^^ error[E0408]: variable `Add` is not bound in all patterns --> src/operator.rs:223:23 | 223 | Add | BitAnd | --- ^^^^^^ pattern doesn't bind `Add` | | | variable not in all patterns | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::Add` --> src/operator.rs:223:17 | 223 | Add | BitAnd | ^^^ error[E0408]: variable `BitAnd` is not bound in all patterns --> src/operator.rs:223:17 | 223 | Add | BitAnd | ^^^ ------ variable not in all patterns | | | pattern doesn't bind `BitAnd` | help: if you meant to match on a variant or a `const` item, consider making the path in the pattern qualified: `?::BitAnd` --> src/operator.rs:223:23 | 223 | Add | BitAnd | ^^^^^^ error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/operator.rs:251:16 | 251 | if let ty::TyFloat(fty) = left_ty.sty { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/operator.rs:274:17 | 274 | FloatTy::F32 => float_math!(Single), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared type `FloatTy` --> src/operator.rs:275:17 | 275 | FloatTy::F64 => float_math!(Double), | ^^^^^^^ use of undeclared type `FloatTy` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:313:17 | 313 | bin_op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:361:17 | 361 | bin_op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:369:22 | 369 | if bin_op == mir::BinOp::Shl || bin_op == mir::BinOp::Shr { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:369:51 | 369 | if bin_op == mir::BinOp::Shl || bin_op == mir::BinOp::Shr { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:374:25 | 374 | mir::BinOp::Shl => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:381:25 | 381 | mir::BinOp::Shr => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:421:13 | 421 | mir::BinOp::Add => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:425:70 | 425 | self.memory.constraints.add_binop_constraint(mir::BinOp::Lt, res, left, left_kind) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:451:90 | 451 | let left_positive = self.memory.constraints.add_binop_constraint(mir::BinOp::Ge, left, zero, left_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:452:91 | 452 | let right_positive = self.memory.constraints.add_binop_constraint(mir::BinOp::Ge, right, zero, right_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:453:89 | 453 | let res_positive = self.memory.constraints.add_binop_constraint(mir::BinOp::Ge, res, zero, left_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:454:88 | 454 | let res_negative = self.memory.constraints.add_unop_constraint(mir::UnOp::Not, res_positive, Bool); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:464:13 | 464 | mir::BinOp::Sub => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:468:70 | 468 | self.memory.constraints.add_binop_constraint(mir::BinOp::Gt, res, left, left_kind) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:475:90 | 475 | let left_positive = self.memory.constraints.add_binop_constraint(mir::BinOp::Ge, left, zero, left_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:476:91 | 476 | let right_negative = self.memory.constraints.add_binop_constraint(mir::BinOp::Lt, right, zero, right_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:477:89 | 477 | let res_positive = self.memory.constraints.add_binop_constraint(mir::BinOp::Ge, res, zero, left_kind); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:478:88 | 478 | let res_negative = self.memory.constraints.add_unop_constraint(mir::UnOp::Not, res_positive, Bool); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:494:17 | 494 | bin_op: mir::BinOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/operator.rs:517:16 | 517 | un_op: mir::UnOp, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:58:44 | 58 | }.visit_statement(block, stmt, mir::Location { block, statement_index: stmt_id }); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:75:47 | 75 | }.visit_terminator(block, terminator, mir::Location { block, statement_index: stmt_id }); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:85:36 | 85 | fn statement(&mut self, stmt: &mir::Statement<'tcx>) -> EvalResult<'tcx> { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:129:32 | 129 | terminator: &mir::Terminator<'tcx>) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:148:16 | 148 | mir: &'tcx mir::Mir<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/step.rs:149:15 | 149 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `subst` --> src/step.rs:157:23 | 157 | substs: &'tcx subst::Substs<'tcx>, | ^^^^^ use of undeclared crate or module `subst` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/step.rs:172:21 | 172 | ty::ParamEnv::empty(), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/step.rs:175:24 | 175 | let name = ty::tls::with(|tcx| tcx.item_path_str(def_id)); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:199:45 | 199 | fn visit_constant(&mut self, constant: &mir::Constant<'tcx>, location: mir::Location) { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:199:76 | 199 | fn visit_constant(&mut self, constant: &mir::Constant<'tcx>, location: mir::Location) { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:203:13 | 203 | mir::Literal::Value { value: &ty::Const { val: ConstValue::Unevaluated(def_id, substs), .. } } => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/step.rs:203:43 | 203 | mir::Literal::Value { value: &ty::Const { val: ConstValue::Unevaluated(def_id, substs), .. } } => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `ConstValue` --> src/step.rs:203:60 | 203 | mir::Literal::Value { value: &ty::Const { val: ConstValue::Unevaluated(def_id, substs), .. } } => { | ^^^^^^^^^^ use of undeclared type `ConstValue` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:206:13 | 206 | mir::Literal::Value { .. } => {} | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:207:13 | 207 | mir::Literal::Promoted { index } => { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:233:17 | 233 | place: &mir::Place<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:235:19 | 235 | location: mir::Location | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/step.rs:238:16 | 238 | if let mir::Place::Static(ref static_) = *place { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/step.rs:243:24 | 243 | if let hir::map::Node::NodeItem(&hir::Item { ref node, .. }) = node_item { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/step.rs:243:50 | 243 | if let hir::map::Node::NodeItem(&hir::Item { ref node, .. }) = node_item { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/step.rs:244:28 | 244 | if let hir::ItemKind::Static(_, m, _) = *node { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/step.rs:245:69 | 245 | self.global_item(def_id, substs, span, m == hir::MutImmutable); | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `hir` --> src/step.rs:255:24 | 255 | if let hir::def::Def::Static(_, mutable) = def { | ^^^ use of undeclared crate or module `hir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/drop.rs:12:70 | 12 | pub(crate) fn drop_place(&mut self, lval: Place<'tcx>, instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/drop.rs:28:61 | 28 | pub(crate) fn drop(&mut self, arg: Value, mut instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/drop.rs:31:16 | 31 | if let ty::InstanceDef::DropGlue(_, None) = instance.def { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/drop.rs:37:13 | 37 | ty::TyDynamic(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:15:19 | 15 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:16:17 | 16 | args: &[mir::Operand<'tcx>], | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:19:22 | 19 | dest_layout: ty::layout::TyLayout<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:20:17 | 20 | target: mir::BasicBlock, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:41:46 | 41 | self.intrinsic_with_overflow(mir::BinOp::Add, &args[0], &args[1], dest, dest_ty)?, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:44:46 | 44 | self.intrinsic_with_overflow(mir::BinOp::Sub, &args[0], &args[1], dest, dest_ty)?, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:47:46 | 47 | self.intrinsic_with_overflow(mir::BinOp::Mul, &args[0], &args[1], dest, dest_ty)?, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:110:47 | 110 | let (val, _) = self.binary_op(mir::BinOp::Eq, old, ty, expect_old, ty)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:132:29 | 132 | "or" => mir::BinOp::BitOr, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:133:30 | 133 | "xor" => mir::BinOp::BitXor, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:134:30 | 134 | "and" => mir::BinOp::BitAnd, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:135:31 | 135 | "xadd" => mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:136:31 | 136 | "xsub" => mir::BinOp::Sub, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:236:36 | 236 | "fadd_fast" => mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:237:36 | 237 | "fsub_fast" => mir::BinOp::Sub, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:238:36 | 238 | "fmul_fast" => mir::BinOp::Mul, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:239:36 | 239 | "fdiv_fast" => mir::BinOp::Div, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:240:36 | 240 | "frem_fast" => mir::BinOp::Rem, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:256:45 | 256 | let result = self.binary_op(mir::BinOp::Div, a, ty, b, ty)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:318:27 | 318 | let env = ty::ParamEnv::empty(); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:337:25 | 337 | mir::BinOp::Mul, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:342:25 | 342 | mir::BinOp::Add, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:352:44 | 352 | self.intrinsic_overflowing(mir::BinOp::Sub, &args[0], &args[1], dest, dest_ty)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:356:44 | 356 | self.intrinsic_overflowing(mir::BinOp::Mul, &args[0], &args[1], dest, dest_ty)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/intrinsic.rs:360:44 | 360 | self.intrinsic_overflowing(mir::BinOp::Add, &args[0], &args[1], dest, dest_ty)?; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:493:13 | 493 | ty: ty::Ty<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:501:17 | 501 | ty::TyAdt(..) | ty::TyTuple(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:501:33 | 501 | ty::TyAdt(..) | ty::TyTuple(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:521:25 | 521 | ty::TyAdt(def, substs) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:526:25 | 526 | ty::TyTuple(ref types) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:527:43 | 527 | ... let field_ty: ty::Ty<'tcx> = types.last().unwrap(); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:528:79 | 528 | ... let field_ty = self.tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), field_ty); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:561:17 | 561 | ty::TyDynamic(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:567:17 | 567 | ty::TySlice(_) | ty::TyStr => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:567:34 | 567 | ty::TySlice(_) | ty::TyStr => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:582:13 | 582 | f: &ty::FieldDef, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:583:10 | 583 | ) -> ty::Ty<'tcx> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/intrinsic.rs:584:44 | 584 | self.tcx.normalize_erasing_regions(ty::ParamEnv::reveal_all(), &f.ty(self.tcx, param_substs)) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:24:49 | 24 | pub(super) fn goto_block(&mut self, target: mir::BasicBlock) { | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:33:22 | 33 | terminator: &mir::Terminator<'tcx>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:75:29 | 75 | ... mir::BinOp::Eq, discr_kind, discr_prim, prim); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:77:53 | 77 | ... Constraint::new_compare(mir::BinOp::Ne, discr_kind, discr_prim, prim)); | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:113:21 | 113 | ty::TyFnPtr(sig) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:119:29 | 119 | ... ty::TyFnDef(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:122:37 | 122 | ... ty::ParamEnv::reveal_all(), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:126:37 | 126 | ... ty::ParamEnv::reveal_all(), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:137:21 | 137 | ty::TyFnDef(def_id, substs) => (self.resolve(def_id, substs)?, func_ty.fn_sig(self.tcx)), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:189:29 | 189 | ... mir::BinOp::Eq, PrimValKind::Bool, cond_val, expected_val)]; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:193:29 | 193 | ... mir::BinOp::Ne, PrimValKind::Bool, cond_val, expected_val)]; | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:250:14 | 250 | sig: ty::FnSig<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:251:19 | 251 | real_sig: ty::FnSig<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:254:17 | 254 | ty: ty::Ty<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:255:22 | 255 | real_ty: ty::Ty<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `TypeVariants` --> src/terminator/mod.rs:262:19 | 262 | (&TypeVariants::TyRawPtr(_), &TypeVariants::TyRawPtr(_)) => true, | ^^^^^^^^^^^^ use of undeclared type `TypeVariants` error[E0433]: failed to resolve: use of undeclared type `TypeVariants` --> src/terminator/mod.rs:262:47 | 262 | (&TypeVariants::TyRawPtr(_), &TypeVariants::TyRawPtr(_)) => true, | ^^^^^^^^^^^^ use of undeclared type `TypeVariants` error[E0433]: failed to resolve: use of undeclared type `TypeVariants` --> src/terminator/mod.rs:263:19 | 263 | (&TypeVariants::TyRef(_, _, _), &TypeVariants::TyRef(_, _, _)) => | ^^^^^^^^^^^^ use of undeclared type `TypeVariants` error[E0433]: failed to resolve: use of undeclared type `TypeVariants` --> src/terminator/mod.rs:263:50 | 263 | (&TypeVariants::TyRef(_, _, _), &TypeVariants::TyRef(_, _, _)) => | ^^^^^^^^^^^^ use of undeclared type `TypeVariants` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:285:14 | 285 | (Abi::Rust, Abi::RustCall) // check the ABIs. This makes the test here non-symmetric. | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:285:25 | 285 | (Abi::Rust, Abi::RustCall) // check the ABIs. This makes the test here non-symmetric. | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `TypeVariants` --> src/terminator/mod.rs:293:25 | 293 | TypeVariants::TyTuple(tys) if sig.inputs().len() == tys.len() => | ^^^^^^^^^^^^ use of undeclared type `TypeVariants` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:311:19 | 311 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:312:43 | 312 | destination: Option<(Place<'tcx>, mir::BasicBlock)>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:313:25 | 313 | arg_operands: &[mir::Operand<'tcx>], | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:315:14 | 315 | sig: ty::FnSig<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:319:13 | 319 | ty::InstanceDef::Intrinsic(..) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:333:13 | 333 | ty::InstanceDef::ClosureOnceShim{..} => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:352:21 | 352 | Abi::RustCall => { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:361:21 | 361 | Abi::Rust => { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:366:88 | 366 | ... let dest = self.eval_place(&mir::Place::Local(local).field(mir::Field::new(i), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:375:13 | 375 | ty::InstanceDef::CloneShim(..) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:376:13 | 376 | ty::InstanceDef::FnPtrShim(..) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:377:13 | 377 | ty::InstanceDef::DropGlue(..) | | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:378:13 | 378 | ty::InstanceDef::Item(_) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:380:21 | 380 | Abi::C => { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:385:21 | 385 | Abi::Rust | Abi::RustCall => {}, | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:385:33 | 385 | Abi::Rust | Abi::RustCall => {}, | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:410:21 | 410 | Abi::Rust => { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:416:21 | 416 | Abi::RustCall => { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:427:32 | 427 | if let ty::TyTuple(..) = args[1].ty.sty { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:485:13 | 485 | ty::InstanceDef::Virtual(_, idx) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:494:21 | 494 | mir::Operand::Copy(ref mut lval) => *lval = lval.clone().field(mir::Field::new(0), ty), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:494:84 | 494 | mir::Operand::Copy(ref mut lval) => *lval = lval.clone().field(mir::Field::new(0), ty), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:495:21 | 495 | mir::Operand::Move(ref mut lval) => *lval = lval.clone().field(mir::Field::new(0), ty), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:495:84 | 495 | mir::Operand::Move(ref mut lval) => *lval = lval.clone().field(mir::Field::new(0), ty), | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:513:19 | 513 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:514:43 | 514 | destination: Option<(Place<'tcx>, mir::BasicBlock)>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:515:25 | 515 | arg_operands: &[mir::Operand<'tcx>], | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:517:14 | 517 | sig: ty::FnSig<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:524:13 | 524 | ty::InstanceDef::Item(def_id) => { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:664:19 | 664 | instance: ty::Instance<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:665:43 | 665 | destination: Option<(Place<'tcx>, mir::BasicBlock)>, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:666:25 | 666 | arg_operands: &[mir::Operand<'tcx>], | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/terminator/mod.rs:667:14 | 667 | sig: ty::FnSig<'tcx>, | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `Abi` --> src/terminator/mod.rs:670:23 | 670 | if sig.abi == Abi::C { | ^^^ use of undeclared type `Abi` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:872:17 | 872 | args: &[mir::Operand<'tcx>], | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:875:17 | 875 | target: mir::BasicBlock, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `attr` --> src/terminator/mod.rs:878:31 | 878 | let link_name = match attr::first_attr_value_str_by_name(&attrs, "link_name") { | ^^^^ use of undeclared crate or module `attr` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:948:33 | 948 | ... mir::BinOp::Eq, PrimValKind::U8, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:953:33 | 953 | ... mir::BinOp::Lt, PrimValKind::U8, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:958:33 | 958 | ... mir::BinOp::Gt, PrimValKind::U8, | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:24:14 | 24 | where T: ty::TypeFoldable<'tcx> + ty::Lift<'gcx> | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:24:39 | 24 | where T: ty::TypeFoldable<'tcx> + ty::Lift<'gcx> | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:21:70 | 21 | ... fulfill_cx: &mut traits::FulfillmentContext<'tcx>, | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:53:56 | 53 | pub(crate) fn fulfill_obligation(&self, trait_ref: ty::PolyTraitRef<'tcx>) -> traits::Vtable<'tcx, ()> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:53:83 | 53 | pub(crate) fn fulfill_obligation(&self, trait_ref: ty::PolyTraitRef<'tcx>) -> traits::Vtable<'tcx, ()> { | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:57:29 | 57 | let mut selcx = traits::SelectionContext::new(&infcx); | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:59:30 | 59 | let obligation = traits::Obligation::new( | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:60:17 | 60 | traits::ObligationCause::misc(DUMMY_SP, ast::DUMMY_NODE_ID), | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `ast` --> src/traits.rs:60:57 | 60 | traits::ObligationCause::misc(DUMMY_SP, ast::DUMMY_NODE_ID), | ^^^ use of undeclared crate or module `ast` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:61:17 | 61 | ty::ParamEnv::empty(), | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:68:34 | 68 | let mut fulfill_cx = traits::FulfillmentContext::new(); | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:82:59 | 82 | pub fn get_vtable(&mut self, ty: Ty<'tcx>, trait_ref: ty::PolyTraitRef<'tcx>) -> EvalResult<'tcx, MemoryPointer> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:112:100 | 112 | pub fn read_drop_type_from_vtable(&mut self, vtable: MemoryPointer) -> EvalResult<'tcx, Option>> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared type `Size` --> src/traits.rs:132:13 | 132 | Ok((Size::from_bytes(size), Align::from_bytes(align, align).unwrap())) | ^^^^ use of undeclared type `Size` error[E0433]: failed to resolve: use of undeclared type `Align` --> src/traits.rs:132:37 | 132 | Ok((Size::from_bytes(size), Align::from_bytes(align, align).unwrap())) | ^^^^^ use of undeclared type `Align` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:139:10 | 139 | ) -> ty::Instance<'tcx> { | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:141:29 | 141 | let trait_ref = ty::Binder::bind(ty::TraitRef::new(trait_id, substs)); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:141:46 | 141 | let trait_ref = ty::Binder::bind(ty::TraitRef::new(trait_id, substs)); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `traits` --> src/traits.rs:143:20 | 143 | if let traits::VtableImpl(vtable_impl) = vtable { | ^^^^^^ use of undeclared crate or module `traits` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:146:47 | 146 | .find(|item| item.kind == ty::AssociatedKind::Const && item.ident.as_interned_str().as_str() == name); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:148:28 | 148 | return ty::Instance::new(assoc_const.def_id, vtable_impl.substs); | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `ty` --> src/traits.rs:152:9 | 152 | ty::Instance::new(def_id, substs) | ^^ use of undeclared crate or module `ty` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/value.rs:305:33 | 305 | Err(EvalError::Overflow(mir::BinOp::Add)) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/value.rs:314:33 | 314 | Err(EvalError::Overflow(mir::BinOp::Add)) | ^^^ use of undeclared crate or module `mir` error[E0433]: failed to resolve: use of undeclared crate or module `config` --> src/driver.rs:18:17 | 18 | sopts: &config::Options, | ^^^^^^ use of undeclared crate or module `config` error[E0433]: failed to resolve: use of undeclared crate or module `ast` --> src/driver.rs:19:15 | 19 | cfg: &ast::CrateConfig, | ^^^ use of undeclared crate or module `ast` error[E0433]: failed to resolve: use of undeclared crate or module `config` --> src/driver.rs:28:17 | 28 | sopts: &config::Options, | ^^^^^^ use of undeclared crate or module `config` error[E0433]: failed to resolve: use of undeclared crate or module `ast` --> src/driver.rs:29:15 | 29 | cfg: &ast::CrateConfig, | ^^^ use of undeclared crate or module `ast` error[E0433]: failed to resolve: use of undeclared type `Compilation` --> src/driver.rs:53:39 | 53 | control.after_analysis.stop = Compilation::Stop; | ^^^^^^^^^^^ use of undeclared type `Compilation` error[E0433]: failed to resolve: use of undeclared type `NestedMetaItemKind` --> src/driver.rs:100:24 | 100 | if let NestedMetaItemKind::MetaItem(ref inner) = item.node { | ^^^^^^^^^^^^^^^^^^ use of undeclared type `NestedMetaItemKind` error[E0433]: failed to resolve: use of undeclared type `MetaItemKind` --> src/driver.rs:101:28 | 101 | if let MetaItemKind::NameValue(ref value) = inner.node { | ^^^^^^^^^^^^ use of undeclared type `MetaItemKind` error[E0412]: cannot find type `Ty` in this scope --> src/cast.rs:16:17 | 16 | src_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/cast.rs:17:18 | 17 | dest_ty: Ty<'tcx> | ^^ not found in this scope error[E0412]: cannot find type `IntTy` in this scope --> src/cast.rs:70:39 | 70 | fn int_to_int(&self, v: i128, ty: IntTy) -> u128 { | ^^^^^ not found in this scope error[E0412]: cannot find type `UintTy` in this scope --> src/cast.rs:83:40 | 83 | fn int_to_uint(&self, v: u128, ty: UintTy) -> u128 { | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyInt` in this scope --> src/cast.rs:107:13 | 107 | TyInt(ty) => Ok(PrimVal::Bytes(self.int_to_int(v as i128, ty))), | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyUint` in this scope --> src/cast.rs:108:13 | 108 | TyUint(ty) => Ok(PrimVal::Bytes(self.int_to_uint(v, ty))), | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyFloat` in this scope --> src/cast.rs:110:13 | 110 | TyFloat(FloatTy::F32) if negative => Ok(PrimVal::Bytes(Single::from_i128(v as i128).value.to_bits())), | ^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyFloat` in this scope --> src/cast.rs:111:13 | 111 | TyFloat(FloatTy::F64) if negative => Ok(PrimVal::Bytes(Double::from_i128(v as i128).value.to_bits())), | ^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyFloat` in this scope --> src/cast.rs:112:13 | 112 | TyFloat(FloatTy::F32) => Ok(PrimVal::Bytes(Single::from_u128(v as u128).value.to_bits())), | ^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyFloat` in this scope --> src/cast.rs:113:13 | 113 | TyFloat(FloatTy::F64) => Ok(PrimVal::Bytes(Double::from_u128(v as u128).value.to_bits())), | ^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyRawPtr` in this scope --> src/cast.rs:119:13 | 119 | TyRawPtr(_) => Ok(PrimVal::Bytes(self.memory.truncate_to_ptr(v).0 as u128)), | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/cast.rs:125:53 | 125 | fn cast_from_ptr(&self, ptr: MemoryPointer, ty: Ty<'tcx>) -> EvalResult<'tcx, PrimVal> { | ^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyRawPtr` in this scope --> src/cast.rs:129:13 | 129 | TyRawPtr(_) | | ^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyInt` in this scope --> src/cast.rs:130:13 | 130 | TyInt(IntTy::Isize) | | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyUint` in this scope --> src/cast.rs:131:13 | 131 | TyUint(UintTy::Usize) => Ok(PrimVal::Ptr(ptr)), | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyInt` in this scope --> src/cast.rs:132:13 | 132 | TyInt(_) | TyUint(_) => return Err(EvalError::ReadPointerAsBytes), | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `TyUint` in this scope --> src/cast.rs:132:24 | 132 | TyInt(_) | TyUint(_) => return Err(EvalError::ReadPointerAsBytes), | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/constraints.rs:43:16 | 43 | ty: Option>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/constraints.rs:205:72 | 205 | pub fn fresh_symbolic_var(&mut self, label: String, size: u32, ty: Ty<'tcx>) -> Vec { | ^^ not found in this scope error[E0412]: cannot find type `FnSig` in this scope --> src/error.rs:10:31 | 10 | FunctionPointerTyMismatch(FnSig<'tcx>, FnSig<'tcx>), | ^^^^^ not found in this scope error[E0412]: cannot find type `FnSig` in this scope --> src/error.rs:10:44 | 10 | FunctionPointerTyMismatch(FnSig<'tcx>, FnSig<'tcx>), | ^^^^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/error.rs:32:27 | 32 | ArrayIndexOutOfBounds(Span, u64, u64), | ^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/error.rs:54:22 | 54 | TypeNotPrimitive(Ty<'tcx>), | ^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/error.rs:225:27 | 225 | ArrayIndexOutOfBounds(Span, u64, u64), | ^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:21:21 | 21 | pub(crate) tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:156:13 | 156 | pub ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:163:13 | 163 | pub ty: Ty<'tcx>, | ^^ not found in this scope error[E0405]: cannot find trait `HasDataLayout` in this scope --> src/eval_context.rs:173:16 | 173 | impl<'a, 'tcx> HasDataLayout for &'a EvalContext<'a, 'tcx> { | ^^^^^^^^^^^^^ not found in this scope error[E0405]: cannot find trait `HasDataLayout` in this scope --> src/eval_context.rs:180:24 | 180 | impl<'c, 'b, 'a, 'tcx> HasDataLayout | ^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:190:29 | 190 | fn tcx<'b>(&'b self) -> TyCtxt<'b, 'tcx, 'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:198:29 | 198 | fn tcx<'d>(&'d self) -> TyCtxt<'d, 'tcx, 'tcx> { | ^^^^^^ not found in this scope error[E0405]: cannot find trait `LayoutOf` in this scope --> src/eval_context.rs:203:16 | 203 | impl<'a, 'tcx> LayoutOf for &'a EvalContext<'a, 'tcx> { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:204:15 | 204 | type Ty = Ty<'tcx>; | ^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/eval_context.rs:205:38 | 205 | type TyLayout = EvalResult<'tcx, TyLayout<'tcx>>; | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:207:28 | 207 | fn layout_of(self, ty: Ty<'tcx>) -> Self::TyLayout { | ^^ not found in this scope error[E0405]: cannot find trait `LayoutOf` in this scope --> src/eval_context.rs:213:24 | 213 | impl<'c, 'b, 'a, 'tcx> LayoutOf for &'c &'b mut EvalContext<'a, 'tcx> { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:214:15 | 214 | type Ty = Ty<'tcx>; | ^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/eval_context.rs:215:38 | 215 | type TyLayout = EvalResult<'tcx, TyLayout<'tcx>>; | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:218:28 | 218 | fn layout_of(self, ty: Ty<'tcx>) -> Self::TyLayout { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:224:21 | 224 | pub fn new(tcx: TyCtxt<'a, 'tcx, 'tcx>, limits: ResourceLimits, codemap: &'a codemap::CodeMap) -> Self { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:237:37 | 237 | pub fn alloc_ptr(&mut self, ty: Ty<'tcx>) -> EvalResult<'tcx, MemoryPointer> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:244:13 | 244 | ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:245:23 | 245 | substs: &'tcx Substs<'tcx> | ^^^^^^ not found in this scope error[E0412]: cannot find type `ConstValue` in this scope --> src/eval_context.rs:299:57 | 299 | pub(super) fn const_to_value(&mut self, const_val: &ConstValue<'tcx>) -> EvalResult<'tcx, Value> { | ^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/eval_context.rs:322:42 | 322 | pub(super) fn resolve(&self, def_id: DefId, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, ty::Instance<'tcx>> { | ^^^^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:322:63 | 322 | pub(super) fn resolve(&self, def_id: DefId, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, ty::Instance<'tcx>> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:332:44 | 332 | pub(super) fn type_is_sized(&self, ty: Ty<'tcx>) -> bool { | ^^ not found in this scope error[E0425]: cannot find value `DUMMY_SP` in this scope --> src/eval_context.rs:335:33 | 335 | ty.is_sized(self.tcx.at(DUMMY_SP), ty::ParamEnv::empty()) | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:346:36 | 346 | pub fn monomorphize(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:346:60 | 346 | pub fn monomorphize(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:346:77 | 346 | pub fn monomorphize(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0405]: cannot find trait `TypeFoldable` in this scope --> src/eval_context.rs:354:19 | 354 | where T : TypeFoldable<'tcx> | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Binder` in this scope --> src/eval_context.rs:353:46 | 353 | pub fn erase_lifetimes(&self, value: &Binder) -> T | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:360:40 | 360 | pub(super) fn type_size(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, Option> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:364:41 | 364 | pub(super) fn type_align(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, u64> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:370:13 | 370 | ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:371:23 | 371 | substs: &'tcx Substs<'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:381:46 | 381 | pub fn type_align_with_substs(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, u64> { | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:381:70 | 381 | pub fn type_align_with_substs(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, u64> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:387:42 | 387 | pub(super) fn type_layout(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, TyLayout<'tcx>> { | ^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/eval_context.rs:387:72 | 387 | pub(super) fn type_layout(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, TyLayout<'tcx>> { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:391:43 | 391 | fn type_layout_with_substs(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, TyLayout<'tcx>> { | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:391:67 | 391 | fn type_layout_with_substs(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, TyLayout<'tcx>> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/eval_context.rs:391:101 | 391 | fn type_layout_with_substs(&self, ty: Ty<'tcx>, substs: &'tcx Substs<'tcx>) -> EvalResult<'tcx, TyLayout<'tcx>> { | ^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Use` in this scope --> src/eval_context.rs:493:13 | 493 | Use(ref operand) => { | ^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `BinaryOp` in this scope --> src/eval_context.rs:498:13 | 498 | BinaryOp(bin_op, ref left, ref right) => { | ^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `CheckedBinaryOp` in this scope --> src/eval_context.rs:503:13 | 503 | CheckedBinaryOp(bin_op, ref left, ref right) => { | ^^^^^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `UnaryOp` in this scope --> src/eval_context.rs:507:13 | 507 | UnaryOp(un_op, ref operand) => { | ^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Aggregate` in this scope --> src/eval_context.rs:515:13 | 515 | Aggregate(..) if self.type_size(dest_ty)? == Some(0) => {} | ^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Aggregate` in this scope --> src/eval_context.rs:517:13 | 517 | Aggregate(ref kind, ref operands) => { | ^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Repeat` in this scope --> src/eval_context.rs:545:13 | 545 | Repeat(ref operand, _) => { | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Len` in this scope --> src/eval_context.rs:564:13 | 564 | Len(ref place) => { | ^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Ref` in this scope --> src/eval_context.rs:571:13 | 571 | Ref(_, _, ref place) => { | ^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `NullaryOp` in this scope --> src/eval_context.rs:586:13 | 586 | NullaryOp(mir::NullOp::Box, ty) => { | ^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `NullaryOp` in this scope --> src/eval_context.rs:601:13 | 601 | NullaryOp(mir::NullOp::SizeOf, ty) => { | ^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Cast` in this scope --> src/eval_context.rs:610:13 | 610 | Cast(kind, ref operand, cast_ty) => { | ^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Discriminant` in this scope --> src/eval_context.rs:683:13 | 683 | Discriminant(ref place) => { | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:720:35 | 720 | fn type_is_fat_ptr(&self, ty: Ty<'tcx>) -> bool { | ^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/eval_context.rs:737:45 | 737 | pub fn layout_is_packed(&self, _layout: TyLayout<'tcx>) -> bool { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:751:13 | 751 | ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:761:36 | 761 | fn get_field_offset(&self, ty: Ty<'tcx>, field_index: usize) -> EvalResult<'tcx, Size> { | ^^ not found in this scope error[E0412]: cannot find type `Size` in this scope --> src/eval_context.rs:761:86 | 761 | fn get_field_offset(&self, ty: Ty<'tcx>, field_index: usize) -> EvalResult<'tcx, Size> { | ^^^^ | help: a trait with a similar name exists | 761 | fn get_field_offset(&self, ty: Ty<'tcx>, field_index: usize) -> EvalResult<'tcx, Sized> { | ~~~~~ help: you might be missing a type parameter | 223 | impl<'a, 'tcx, Size> EvalContext<'a, 'tcx> { | ++++++ error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:765:39 | 765 | pub fn get_field_count(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, u64> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:769:76 | 769 | pub(super) fn wrapping_pointer_offset(&self, ptr: PrimVal, pointee_ty: Ty<'tcx>, offset: i64) -> EvalResult<'tcx, PrimVal> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:776:67 | 776 | pub(super) fn pointer_offset(&self, ptr: PrimVal, pointee_ty: Ty<'tcx>, offset: i64) -> EvalResult<'tcx, PrimVal> { | ^^ not found in this scope error[E0532]: expected tuple struct or tuple variant, found trait `Copy` --> src/eval_context.rs:811:13 | 811 | Copy(ref place) => self.eval_and_read_place(place), | ^^^^ not a tuple struct or tuple variant error[E0531]: cannot find tuple struct or tuple variant `Move` in this scope --> src/eval_context.rs:812:13 | 812 | Move(ref place) => self.eval_and_read_place(place), | ^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Constant` in this scope --> src/eval_context.rs:814:13 | 814 | Constant(ref constant) => { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:836:13 | 836 | ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:884:18 | 884 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:925:70 | 925 | pub(super) fn operand_ty(&self, operand: &mir::Operand<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:929:57 | 929 | fn copy(&mut self, src: PrimVal, dest: PrimVal, ty: Ty<'tcx>) -> EvalResult<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:985:68 | 985 | pub(super) fn follow_by_ref_value(&mut self, value: Value, ty: Ty<'tcx>) -> EvalResult<'tcx, Value> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:992:65 | 992 | pub(super) fn value_to_primval(&mut self, value: Value, ty: Ty<'tcx>) -> EvalResult<'tcx, PrimVal> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1009:18 | 1009 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1057:18 | 1057 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1100:18 | 1100 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1117:13 | 1117 | ty: Ty<'tcx> | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1147:42 | 1147 | pub fn ty_to_primval_kind(&self, ty: Ty<'tcx>) -> EvalResult<'tcx, PrimValKind> { | ^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Int` in this scope --> src/eval_context.rs:1195:29 | 1195 | ... Int(i, false) => PrimValKind::from_uint_size(i.size().bytes()), | ^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Int` in this scope --> src/eval_context.rs:1196:29 | 1196 | ... Int(i, true) => PrimValKind::from_int_size(i.size().bytes()), | ^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Float` in this scope --> src/eval_context.rs:1197:29 | 1197 | ... Float(::rustc_target::abi::FloatTy::F32) => PrimValKind::F32, | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Float` in this scope --> src/eval_context.rs:1198:29 | 1198 | ... Float(::rustc_target::abi::FloatTy::F64) => PrimValKind::F64, | ^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1213:52 | 1213 | fn ensure_valid_value(&self, val: PrimVal, ty: Ty<'tcx>) -> EvalResult<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1224:65 | 1224 | pub(super) fn read_value(&mut self, ptr: MemoryPointer, ty: Ty<'tcx>) -> EvalResult<'tcx, Value> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1232:71 | 1232 | pub(crate) fn read_ptr(&mut self, ptr: MemoryPointer, pointee_ty: Ty<'tcx>) -> EvalResult<'tcx, Value> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1256:58 | 1256 | fn try_read_value(&mut self, ptr: MemoryPointer, ty: Ty<'tcx>) -> EvalResult<'tcx, Option> { | ^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:1370:42 | 1370 | pub(super) fn substs(&self) -> &'tcx Substs<'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1377:17 | 1377 | src_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1379:18 | 1379 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1380:14 | 1380 | sty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1381:14 | 1381 | dty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1414:17 | 1414 | src_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1416:18 | 1416 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Size` in this scope --> src/eval_context.rs:1558:22 | 1558 | fn size(self) -> Size; | ^^^^ help: a trait with a similar name exists: `Sized` error[E0412]: cannot find type `Size` in this scope --> src/eval_context.rs:1562:22 | 1562 | fn size(self) -> Size { | ^^^^ help: a trait with a similar name exists: `Sized` error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1575:49 | 1575 | pub fn monomorphize_field_ty<'a, 'tcx:'a >(tcx: TyCtxt<'a, 'tcx, 'tcx>, f: &ty::FieldDef, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:1575:105 | 1575 | pub fn monomorphize_field_ty<'a, 'tcx:'a >(tcx: TyCtxt<'a, 'tcx, 'tcx>, f: &ty::FieldDef, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1575:122 | 1575 | pub fn monomorphize_field_ty<'a, 'tcx:'a >(tcx: TyCtxt<'a, 'tcx, 'tcx>, f: &ty::FieldDef, substs: &'tcx Substs<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1580:40 | 1580 | pub fn is_inhabited<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, ty: Ty<'tcx>) -> bool { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1580:68 | 1580 | pub fn is_inhabited<'a, 'tcx: 'a>(tcx: TyCtxt<'a, 'tcx, 'tcx>, ty: Ty<'tcx>) -> bool { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1585:96 | 1585 | fn into_val_ty_pair<'a>(self, ecx: &mut EvalContext<'a, 'tcx>) -> EvalResult<'tcx, (Value, Ty<'tcx>)> where 'tcx: 'a; | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1588:44 | 1588 | impl<'tcx> IntoValTyPair<'tcx> for (Value, Ty<'tcx>) { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1589:94 | 1589 | fn into_val_ty_pair<'a>(self, _: &mut EvalContext<'a, 'tcx>) -> EvalResult<'tcx, (Value, Ty<'tcx>)> where 'tcx: 'a { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1595:96 | 1595 | fn into_val_ty_pair<'a>(self, ecx: &mut EvalContext<'a, 'tcx>) -> EvalResult<'tcx, (Value, Ty<'tcx>)> where 'tcx: 'a { | ^^ not found in this scope error[E0405]: cannot find trait `TypeFoldable` in this scope --> src/eval_context.rs:1608:14 | 1608 | where T: TypeFoldable<'tcx> | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1604:45 | 1604 | pub fn apply_param_substs<'a, 'tcx, T>(tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/eval_context.rs:1605:55 | 1605 | ... param_substs: &Substs<'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1618:10 | 1618 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0405]: cannot find trait `TypeFoldable` in this scope --> src/eval_context.rs:1622:16 | 1622 | fn fold>(&mut self, value: &T) -> T { | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1632:29 | 1632 | fn tcx<'c>(&'c self) -> TyCtxt<'c, 'tcx, 'tcx> { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1636:31 | 1636 | fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1636:44 | 1636 | fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/eval_context.rs:1646:10 | 1646 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/eval_context.rs:1647:9 | 1647 | ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/executor.rs:19:10 | 19 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/executor.rs:33:50 | 33 | set_place: Option<(Place<'tcx>, PrimVal, Ty<'tcx>)>, | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/executor.rs:80:14 | 80 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/executor.rs:81:17 | 81 | def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `CodeMap` in this scope --> src/executor.rs:84:22 | 84 | codemap: &'a CodeMap | ^^^^^^^ not found in this scope error[E0425]: cannot find value `DUMMY_SP` in this scope --> src/executor.rs:108:13 | 108 | DUMMY_SP, | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/executor.rs:217:16 | 217 | fn report(tcx: TyCtxt, ecx: &EvalContext, e: EvalError) { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:21:43 | 21 | fn debug_repr(&self, data: &[u8], ty: Ty<'tcx>) -> EvalResult<'tcx, String>; | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/format_executor.rs:30:14 | 30 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `CodeMap` in this scope --> src/format_executor.rs:32:22 | 32 | codemap: &'a CodeMap, | ^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:48:43 | 48 | fn debug_repr(&self, data: &[u8], ty: Ty<'tcx>) -> EvalResult<'tcx, String> { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/format_executor.rs:57:10 | 57 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/format_executor.rs:58:19 | 58 | entry_def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:70:71 | 70 | fn field_ty_and_offset<'a, 'tcx: 'a>(ecx: &EvalContext<'a, 'tcx>, ty: Ty<'tcx>, field_substs: &ty::subst::Substs<'tcx>, name: &str) -> Op... | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:70:144 | 70 | ...sts: &ty::subst::Substs<'tcx>, name: &str) -> Option<(Ty<'tcx>, u64)> { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/format_executor.rs:83:14 | 83 | tcx: TyCtxt<'a, 'tcx, 'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/format_executor.rs:84:23 | 84 | entry_def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `CodeMap` in this scope --> src/format_executor.rs:86:22 | 86 | codemap: &'a CodeMap, | ^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:124:40 | 124 | fn prepare(&self, data: &[u8], ty: Ty<'tcx>) -> EvalResult<'tcx, EvalContext<'a, 'tcx>> { | ^^ not found in this scope error[E0425]: cannot find value `DUMMY_SP` in this scope --> src/format_executor.rs:133:13 | 133 | DUMMY_SP, | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/format_executor.rs:211:43 | 211 | fn debug_repr(&self, data: &[u8], ty: Ty<'tcx>) -> EvalResult<'tcx, String> { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/format_executor.rs:220:26 | 220 | fn find_fn_by_name(tcx: &TyCtxt, name: &str) -> Option { | ^^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/format_executor.rs:220:56 | 220 | fn find_fn_by_name(tcx: &TyCtxt, name: &str) -> Option { | - ^^^^^ not found in this scope | | | help: you might be missing a type parameter: `` error[E0412]: cannot find type `Span` in this scope --> src/format_executor.rs:228:38 | 227 | struct FunctionVisitor<'a> { | - help: you might be missing a type parameter: `, Span` 228 | display_fn: Option<(ast::NodeId, Span)>, | ^^^^ not found in this scope error[E0405]: cannot find trait `ItemLikeVisitor` in this scope --> src/format_executor.rs:241:16 | 241 | impl<'a, 'tcx> ItemLikeVisitor<'tcx> for FunctionVisitor<'a> { | ^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:58:20 | 58 | pub(super) ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:89:45 | 89 | pub(super) fn elem_ty_and_len(self, ty: Ty<'tcx>, tcx: TyCtxt<'_, 'tcx, '_>) -> (Ty<'tcx>, u64) { | ^^ not found in this scope error[E0412]: cannot find type `TyCtxt` in this scope --> src/place.rs:89:60 | 89 | pub(super) fn elem_ty_and_len(self, ty: Ty<'tcx>, tcx: TyCtxt<'_, 'tcx, '_>) -> (Ty<'tcx>, u64) { | ^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:89:86 | 89 | pub(super) fn elem_ty_and_len(self, ty: Ty<'tcx>, tcx: TyCtxt<'_, 'tcx, '_>) -> (Ty<'tcx>, u64) { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:111:37 | 111 | pub(super) fn uninitialized(ty: Ty<'tcx>) -> Self { | ^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Local` in this scope --> src/place.rs:128:13 | 128 | Local(mir::RETURN_PLACE) => Err(EvalError::ReadFromReturnPointer), | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Local` in this scope --> src/place.rs:130:13 | 130 | Local(local) => self.frame().get_local(local).map(Some), | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Static` in this scope --> src/place.rs:132:13 | 132 | Static(ref static_) => { | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Projection` in this scope --> src/place.rs:137:13 | 137 | Projection(ref proj) => self.try_read_place_projection(proj), | ^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:146:18 | 146 | base_ty: Ty<'tcx>, | ^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope --> src/place.rs:192:13 | 192 | Field(field, _) => Ok(Some(self.read_field(base, None, field, base_ty)?.value)), | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope --> src/place.rs:194:13 | 194 | Downcast(..) | | ^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `Subslice` in this scope --> src/place.rs:195:13 | 195 | Subslice { .. } | | ^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope --> src/place.rs:197:13 | 197 | ConstantIndex { .. } | Index(_) | | ^^^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope --> src/place.rs:197:36 | 197 | ConstantIndex { .. } | Index(_) | | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Local` in this scope --> src/place.rs:247:13 | 247 | Local(mir::RETURN_PLACE) => self.frame().return_place, | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Local` in this scope --> src/place.rs:248:13 | 248 | Local(local) => Place::Local { frame: self.stack.len() - 1, local }, | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Static` in this scope --> src/place.rs:250:13 | 250 | Static(ref static_) => { | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Projection` in this scope --> src/place.rs:255:13 | 255 | Projection(ref proj) => { | ^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/place.rs:273:22 | 273 | base_layout: TyLayout<'tcx>, | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/place.rs:274:41 | 274 | ) -> EvalResult<'tcx, (Place<'tcx>, TyLayout<'tcx>)> { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `TyLayout` in this scope --> src/place.rs:275:26 | 275 | let base_layout: TyLayout<'tcx> = match base { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:342:55 | 342 | pub(super) fn val_to_place(&self, val: Value, ty: Ty<'tcx>) -> EvalResult<'tcx, Place<'tcx>> { | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:365:19 | 365 | outer_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:434:18 | 434 | base_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:435:59 | 435 | proj_elem: &mir::ProjectionElem<'tcx, mir::Local, Ty<'tcx>>, | ^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope --> src/place.rs:439:13 | 439 | Field(field, _) => { | ^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope --> src/place.rs:444:13 | 444 | Downcast(_, variant) => { | ^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope --> src/place.rs:463:13 | 463 | Index(local) => { | ^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope --> src/place.rs:470:13 | 470 | ConstantIndex { | ^^^^^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `Subslice` in this scope --> src/place.rs:495:13 | 495 | Subslice { from, to } => { | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/place.rs:519:64 | 519 | pub(super) fn place_ty(&self, place: &mir::Place<'tcx>) -> Ty<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:117:64 | 117 | pub fn wrapping_signed_offset<'tcx>(self, i: i64, layout: &TargetDataLayout) -> Self { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:126:68 | 126 | pub fn overflowing_signed_offset<'tcx>(self, i: i128, layout: &TargetDataLayout) -> (Self, bool) { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:136:55 | 136 | pub fn signed_offset<'tcx>(self, i: i64, layout: &TargetDataLayout) -> EvalResult<'tcx, Self> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:145:60 | 145 | pub fn overflowing_offset<'tcx>(self, i: u64, layout: &TargetDataLayout) -> (Self, bool) { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:155:48 | 155 | pub fn offset<'tcx>(self, i: u64, layout: &TargetDataLayout) -> EvalResult<'tcx, Self> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:203:21 | 203 | pub layout: &'a TargetDataLayout, | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/memory.rs:226:28 | 226 | pub fn new(layout: &'a TargetDataLayout, max_memory: u64) -> Self { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/operator.rs:45:18 | 45 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/operator.rs:60:18 | 60 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/operator.rs:129:18 | 129 | left_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/operator.rs:131:19 | 131 | right_ty: Ty<'tcx>, | ^^ not found in this scope error[E0425]: cannot find value `Shl` in this scope --> src/operator.rs:238:22 | 238 | if bin_op == Shl || bin_op == Shr { | ^^^ not found in this scope error[E0425]: cannot find value `Shr` in this scope --> src/operator.rs:238:39 | 238 | if bin_op == Shl || bin_op == Shr { | ^^^ not found in this scope error[E0412]: cannot find type `Single` in this scope --> src/operator.rs:274:45 | 274 | FloatTy::F32 => float_math!(Single), | ^^^^^^ not found in this scope error[E0412]: cannot find type `Double` in this scope --> src/operator.rs:275:45 | 275 | FloatTy::F64 => float_math!(Double), | ^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Assign` in this scope --> src/step.rs:90:13 | 90 | Assign(ref place, ref rvalue) => self.eval_rvalue_into_place(rvalue, place)?, | ^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `SetDiscriminant` in this scope --> src/step.rs:92:13 | 92 | SetDiscriminant { | ^^^^^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `StorageLive` in this scope --> src/step.rs:102:13 | 102 | StorageLive(_) | | ^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `StorageDead` in this scope --> src/step.rs:103:13 | 103 | StorageDead(_) => {} | ^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `ReadForMatch` in this scope --> src/step.rs:107:13 | 107 | ReadForMatch(..) => {} | ^^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Validate` in this scope --> src/step.rs:110:13 | 110 | Validate(_op, ref _places) => { | ^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `UserAssertTy` in this scope --> src/step.rs:114:13 | 114 | UserAssertTy(..) => {} | ^^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `EndRegion` in this scope --> src/step.rs:115:13 | 115 | EndRegion(..) => {} | ^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `InlineAsm` in this scope --> src/step.rs:121:13 | 121 | InlineAsm { .. } => return Err(EvalError::InlineAsm), | ^^^^^^^^^ not found in this scope | help: consider importing one of these items | 5 | use EvalError::InlineAsm; | 5 | use StaticEvalError::InlineAsm; | error[E0412]: cannot find type `Span` in this scope --> src/step.rs:146:11 | 146 | span: Span, | ^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/step.rs:156:17 | 156 | def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/step.rs:158:15 | 158 | span: Span, | ^^^^ not found in this scope error[E0405]: cannot find trait `Visitor` in this scope --> src/step.rs:198:20 | 198 | impl<'a, 'b, 'tcx> Visitor<'tcx> for ConstantExtractor<'a, 'b, 'tcx> { | ^^^^^^^ not found in this scope error[E0412]: cannot find type `PlaceContext` in this scope --> src/step.rs:234:18 | 234 | context: PlaceContext<'tcx>, | ^^^^^^^^^^^^ help: a struct with a similar name exists: `EvalContext` | ::: src/eval_context.rs:19:1 | 19 | pub struct EvalContext<'a, 'tcx: 'a> { | ------------------------------------ similarly named struct `EvalContext` defined here error[E0412]: cannot find type `Ty` in this scope --> src/terminator/drop.rs:12:94 | 12 | pub(crate) fn drop_place(&mut self, lval: Place<'tcx>, instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/terminator/drop.rs:12:110 | 12 | pub(crate) fn drop_place(&mut self, lval: Place<'tcx>, instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/terminator/drop.rs:28:85 | 28 | pub(crate) fn drop(&mut self, arg: Value, mut instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/terminator/drop.rs:28:101 | 28 | pub(crate) fn drop(&mut self, arg: Value, mut instance: ty::Instance<'tcx>, ty: Ty<'tcx>, span: Span) -> EvalResult<'tcx> { | ^^^^ not found in this scope error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/drop.rs:65:42 | 65 | let dest = self.eval_place(&mir::Place::Local(arg_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0412]: cannot find type `Ty` in this scope --> src/terminator/intrinsic.rs:18:18 | 18 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `Size` in this scope --> src/terminator/intrinsic.rs:495:28 | 495 | ) -> EvalResult<'tcx, (Size, Align)> { | ^^^^ | help: a trait with a similar name exists | 495 | ) -> EvalResult<'tcx, (Sized, Align)> { | ~~~~~ help: you might be missing a type parameter | 12 | impl<'a, 'tcx, Size> EvalContext<'a, 'tcx> { | ++++++ error[E0412]: cannot find type `Align` in this scope --> src/terminator/intrinsic.rs:495:34 | 12 | impl<'a, 'tcx> EvalContext<'a, 'tcx> { | - help: you might be missing a type parameter: `, Align` ... 495 | ) -> EvalResult<'tcx, (Size, Align)> { | ^^^^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/terminator/intrinsic.rs:581:24 | 581 | param_substs: &Substs<'tcx>, | ^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `Goto` in this scope --> src/terminator/mod.rs:43:13 | 43 | Goto { target } => { | ^^^^ not found in this scope | help: consider importing this variant | 1 | use StackPopCleanup::Goto; | error[E0422]: cannot find struct, variant or union type `SwitchInt` in this scope --> src/terminator/mod.rs:48:13 | 48 | SwitchInt { ref discr, ref values, ref targets, .. } => { | ^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `Call` in this scope --> src/terminator/mod.rs:105:13 | 105 | Call { ref func, ref args, ref destination, .. } => { | ^^^^ not found in this scope error[E0574]: expected struct, variant or union type, found trait `Drop` --> src/terminator/mod.rs:147:13 | 147 | Drop { ref location, target, .. } => { | ^^^^ not a struct, variant or union type error[E0422]: cannot find struct, variant or union type `Assert` in this scope --> src/terminator/mod.rs:159:13 | 159 | Assert { ref cond, expected, ref msg, target, .. } => { | ^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `BoundsCheck` in this scope --> src/terminator/mod.rs:169:29 | 169 | ... BoundsCheck { ref len, ref index } => { | ^^^^^^^^^^^ not found in this scope error[E0531]: cannot find tuple struct or tuple variant `Overflow` in this scope --> src/terminator/mod.rs:179:29 | 179 | ... Overflow(op) => Err(EvalError::Overflow(op)), | ^^^^^^^^ not found in this scope | help: consider importing one of these items | 1 | use EvalError::Overflow; | 1 | use StaticEvalError::Overflow; | error[E0422]: cannot find struct, variant or union type `BoundsCheck` in this scope --> src/terminator/mod.rs:211:29 | 211 | ... BoundsCheck { ref len, ref index } => { | ^^^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `DropAndReplace` in this scope --> src/terminator/mod.rs:235:13 | 235 | DropAndReplace { .. } => unimplemented!(), | ^^^^^^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `Yield` in this scope --> src/terminator/mod.rs:239:13 | 239 | Yield { .. } => unimplemented!(), | ^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `FalseEdges` in this scope --> src/terminator/mod.rs:241:13 | 241 | FalseEdges { .. } => unimplemented!(), | ^^^^^^^^^^ not found in this scope error[E0422]: cannot find struct, variant or union type `FalseUnwind` in this scope --> src/terminator/mod.rs:242:13 | 242 | FalseUnwind { .. } => unimplemented!(), | ^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/terminator/mod.rs:314:15 | 314 | span: Span, | ^^^^ not found in this scope error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:354:62 | 354 | ... let dest = self.eval_place(&mir::Place::Local(arg_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:366:62 | 366 | ... let dest = self.eval_place(&mir::Place::Local(local).field(mir::Field::new(i), | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:412:62 | 412 | ... let dest = self.eval_place(&mir::Place::Local(arg_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:421:62 | 421 | ... let dest = self.eval_place(&mir::Place::Local(first_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:436:71 | 436 | ... self.eval_place(&mir::Place::Local(arg_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:454:75 | 454 | ... self.eval_place(&mir::Place::Local(arg_local))?; | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0433]: failed to resolve: use of undeclared crate or module `mir` --> src/terminator/mod.rs:469:43 | 469 | ... &mir::Place::Local(arg_locals.next().unwrap()), | ^^^^^ not found in `mir` | help: consider importing this enum | 1 | use Place; | error[E0412]: cannot find type `Span` in this scope --> src/terminator/mod.rs:516:15 | 516 | span: Span, | ^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/terminator/mod.rs:871:17 | 871 | def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/terminator/mod.rs:874:18 | 874 | dest_ty: Ty<'tcx>, | ^^ not found in this scope error[E0412]: cannot find type `InferCtxt` in this scope --> src/traits.rs:19:60 | 19 | fn drain_fulfillment_cx_or_panic<'a, 'gcx, 'tcx, T>(ifcx: &InferCtxt<'a, 'gcx, 'tcx>, | ^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Span` in this scope --> src/traits.rs:20:59 | 20 | ... span: Span, | ^^^^ not found in this scope error[E0425]: cannot find value `DUMMY_SP` in this scope --> src/traits.rs:60:47 | 60 | traits::ObligationCause::misc(DUMMY_SP, ast::DUMMY_NODE_ID), | ^^^^^^^^ not found in this scope error[E0425]: cannot find value `DUMMY_SP` in this scope --> src/traits.rs:72:51 | 72 | drain_fulfillment_cx_or_panic(&infcx, DUMMY_SP, &mut fulfill_cx, &vtable) | ^^^^^^^^ not found in this scope error[E0412]: cannot find type `Ty` in this scope --> src/traits.rs:82:38 | 82 | pub fn get_vtable(&mut self, ty: Ty<'tcx>, trait_ref: ty::PolyTraitRef<'tcx>) -> EvalResult<'tcx, MemoryPointer> { | ^^ not found in this scope error[E0412]: cannot find type `Size` in this scope --> src/traits.rs:128:28 | 128 | ) -> EvalResult<'tcx, (Size, Align)> { | ^^^^ | help: a trait with a similar name exists | 128 | ) -> EvalResult<'tcx, (Sized, Align)> { | ~~~~~ help: you might be missing a type parameter | 51 | impl<'a, 'tcx, Size> EvalContext<'a, 'tcx> { | ++++++ error[E0412]: cannot find type `Align` in this scope --> src/traits.rs:128:34 | 51 | impl<'a, 'tcx> EvalContext<'a, 'tcx> { | - help: you might be missing a type parameter: `, Align` ... 128 | ) -> EvalResult<'tcx, (Size, Align)> { | ^^^^^ not found in this scope error[E0412]: cannot find type `DefId` in this scope --> src/traits.rs:137:17 | 137 | def_id: DefId, | ^^^^^ not found in this scope error[E0412]: cannot find type `Substs` in this scope --> src/traits.rs:138:23 | 138 | substs: &'tcx Substs<'tcx>, | ^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:246:49 | 246 | pub fn signed_offset(self, i: i64, layout: &TargetDataLayout) -> EvalResult<'tcx, Self> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:258:42 | 258 | pub fn offset(self, i: u64, layout: &TargetDataLayout) -> EvalResult<'tcx, Self> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:270:58 | 270 | pub fn wrapping_signed_offset(self, i: i64, layout: &TargetDataLayout) -> EvalResult<'tcx, Self> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:284:68 | 284 | pub fn overflowing_signed_offset<'tcx>(val: u64, i: i128, layout: &TargetDataLayout) -> (u64, bool) { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:296:60 | 296 | pub fn overflowing_offset<'tcx>(val: u64, i: u64, layout: &TargetDataLayout) -> (u64, bool) { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:302:55 | 302 | pub fn signed_offset<'tcx>(val: u64, i: i64, layout: &TargetDataLayout) -> EvalResult<'tcx, u64> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:311:48 | 311 | pub fn offset<'tcx>(val: u64, i: u64, layout: &TargetDataLayout) -> EvalResult<'tcx, u64> { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `TargetDataLayout` in this scope --> src/value.rs:320:64 | 320 | pub fn wrapping_signed_offset<'tcx>(val: u64, i: i64, layout: &TargetDataLayout) -> u64 { | ^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `RustcDefaultCalls` in this scope --> src/driver.rs:12:30 | 12 | struct SeerCompilerCalls(Box, ::ExecutionConfig); | - ^^^^^^^^^^^^^^^^^ not found in this scope | | | help: you might be missing a type parameter: `` error[E0405]: cannot find trait `CompilerCalls` in this scope --> src/driver.rs:14:10 | 14 | impl<'a> CompilerCalls<'a> for SeerCompilerCalls { | ^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `ErrorOutputType` in this scope --> src/driver.rs:21:17 | 21 | output: ErrorOutputType | ^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Compilation` in this scope --> src/driver.rs:22:10 | 22 | ) -> Compilation { | ^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Input` in this scope --> src/driver.rs:33:18 | 33 | ) -> Option<(Input, Option)> { | ^^^^^ not found in this scope | help: consider importing this trait | 1 | use regex::internal::Input; | error[E0412]: cannot find type `Session` in this scope --> src/driver.rs:40:16 | 40 | sess: &Session, | ^^^^^^^ not found in this scope error[E0412]: cannot find type `CrateStore` in this scope --> src/driver.rs:41:18 | 41 | cstore: &CrateStore, | ^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Input` in this scope --> src/driver.rs:42:17 | 42 | input: &Input, | ^^^^^ not found in this scope | help: consider importing this trait | 1 | use regex::internal::Input; | error[E0412]: cannot find type `Compilation` in this scope --> src/driver.rs:45:10 | 45 | ) -> Compilation { | ^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `Session` in this scope --> src/driver.rs:48:49 | 48 | fn build_controller(self: Box, sess: &Session, matches: &getopts::Matches) -> CompileController<'a> { | ^^^^^^^ not found in this scope error[E0412]: cannot find type `CompileController` in this scope --> src/driver.rs:48:89 | 48 | fn build_controller(self: Box, sess: &Session, matches: &getopts::Matches) -> CompileController<'a> { | ^^^^^^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `CompileState` in this scope --> src/driver.rs:58:35 | 58 | fn after_hir_lowering(state: &mut CompileState) { | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `CompileState` in this scope --> src/driver.rs:64:20 | 63 | fn after_analysis_run_main<'a, 'tcx>(config: ::ExecutionConfig) | - help: you might be missing a type parameter: `, CompileState` 64 | -> Box | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `CompileState` in this scope --> src/driver.rs:66:32 | 66 | Box::new(move |state: &mut CompileState| { | ^^^^^^^^^^^^ not found in this scope error[E0412]: cannot find type `CompileState` in this scope --> src/driver.rs:86:44 | 86 | fn resource_limits_from_attributes(state: &CompileState) -> ::ResourceLimits { | ^^^^^^^^^^^^ not found in this scope error[E0425]: cannot find value `RustcDefaultCalls` in this scope --> src/driver.rs:147:75 | 147 | rustc_driver::run_compiler(&args, Box::new(SeerCompilerCalls(Box::new(RustcDefaultCalls), config)), | ^^^^^^^^^^^^^^^^^ not found in this scope error[E0554]: `#![feature]` may not be used on the stable release channel --> src/lib.rs:1:1 | 1 | / #![feature( 2 | | inclusive_range, 3 | | inclusive_range_methods, 4 | | rustc_private, 5 | | )] | |__^ Some errors have detailed explanations: E0405, E0408, E0412, E0422, E0425, E0433, E0463, E0531, E0532... For more information about an error, try `rustc --explain E0405`. error: could not compile `seer` due to 865 previous errors warning: build failed, waiting for other jobs to finish... error: build failed ==> ERROR: A failure occurred in build(). Aborting...