[INFO] cloning repository https://github.com/2over12/rure [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/2over12/rure" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2over12%2Frure", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2over12%2Frure'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 7c0864e32d5a87a5d067c8340ba2c9dceb65bc56 [INFO] testing 2over12/rure against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2over12%2Frure" "/workspace/builds/worker-4/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/2over12/rure on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/2over12/rure [INFO] finished tweaking git repo https://github.com/2over12/rure [INFO] tweaked toml for git repo https://github.com/2over12/rure written to /workspace/builds/worker-4/source/Cargo.toml [INFO] crate git repo https://github.com/2over12/rure already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded socket2 v0.3.8 [INFO] [stderr] Downloaded rustfix v0.4.4 [INFO] [stderr] Downloaded filetime v0.2.4 [INFO] [stderr] Downloaded tester v0.5.0 [INFO] [stderr] Downloaded compiletest_rs v0.3.19 [INFO] [stderr] Downloaded rsmt2 v0.10.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] ad7f4f04bc8a6ee8e335fd2cd6e6b84d37eb7804e717f01e98bb95ab6851521d [INFO] running `Command { std: "docker" "start" "-a" "ad7f4f04bc8a6ee8e335fd2cd6e6b84d37eb7804e717f01e98bb95ab6851521d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ad7f4f04bc8a6ee8e335fd2cd6e6b84d37eb7804e717f01e98bb95ab6851521d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad7f4f04bc8a6ee8e335fd2cd6e6b84d37eb7804e717f01e98bb95ab6851521d", kill_on_drop: false }` [INFO] [stdout] ad7f4f04bc8a6ee8e335fd2cd6e6b84d37eb7804e717f01e98bb95ab6851521d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b492b1bf32bc0d8409f4b4ce392041b6138b0f35b5f09b3680beb635a1f6738d [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "b492b1bf32bc0d8409f4b4ce392041b6138b0f35b5f09b3680beb635a1f6738d", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.50 [INFO] [stderr] Compiling cc v1.0.31 [INFO] [stderr] Compiling autocfg v0.1.2 [INFO] [stderr] Compiling cfg-if v0.1.7 [INFO] [stderr] Compiling rustc-demangle v0.1.13 [INFO] [stderr] Compiling text_io v0.1.7 [INFO] [stderr] Compiling backtrace v0.3.14 [INFO] [stderr] Compiling backtrace-sys v0.1.28 [INFO] [stderr] Compiling error-chain v0.12.0 [INFO] [stderr] Compiling rsmt2 v0.10.0 [INFO] [stderr] Compiling rure v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0463]: can't find crate for `rustc_driver` [INFO] [stdout] --> src/lib.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | extern crate rustc_driver; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0462]: found staticlib `rustc` instead of rlib or dylib [INFO] [stdout] --> src/lib.rs:4:1 [INFO] [stdout] | [INFO] [stdout] 4 | extern crate rustc; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: please recompile that crate using --crate-type lib [INFO] [stdout] = note: the following crate versions were found: [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.tsan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.msan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.asan.a [INFO] [stdout] crate `rustc`: /opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc-stable_rt.lsan.a [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_interface` [INFO] [stdout] --> src/lib.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | extern crate rustc_interface; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_mir` [INFO] [stdout] --> src/lib.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | extern crate rustc_mir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `syntax_pos` [INFO] [stdout] --> src/lib.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | extern crate syntax_pos; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:44:4 [INFO] [stdout] | [INFO] [stdout] 44 | Operand::Copy(plc) => Expr::Ref(self.copy_val(&plc,nid,sir)), [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:45:4 [INFO] [stdout] | [INFO] [stdout] 45 | Operand::Move(plc) => Expr::Ref(self.move_val(&plc,nid,sir)), [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:46:4 [INFO] [stdout] | [INFO] [stdout] 46 | Operand::Constant(cst) => Expr::Value(SymTy::from_scalar(match cst.literal.val { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ConstValue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:47:5 [INFO] [stdout] | [INFO] [stdout] 47 | ConstValue::Scalar(sc) => match sc { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `ConstValue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Scalar` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:48:6 [INFO] [stdout] | [INFO] [stdout] 48 | Scalar::Bits{bits, size:_} => bits, [INFO] [stdout] | ^^^^^^ use of undeclared type `Scalar` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:77:4 [INFO] [stdout] | [INFO] [stdout] 77 | Place::Base(_) => *self.assignments.get(plc).unwrap(), [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:78:4 [INFO] [stdout] | [INFO] [stdout] 78 | Place::Projection(proj) => match proj.elem { [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ProjectionElem` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:79:5 [INFO] [stdout] | [INFO] [stdout] 79 | ProjectionElem::Deref => { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:95:20 [INFO] [stdout] | [INFO] [stdout] 95 | let return_plc = Place::Base(PlaceBase::Local(Local::from(0 as usize))); [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PlaceBase` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:95:32 [INFO] [stdout] | [INFO] [stdout] 95 | let return_plc = Place::Base(PlaceBase::Local(Local::from(0 as usize))); [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PlaceBase` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Local` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:95:49 [INFO] [stdout] | [INFO] [stdout] 95 | let return_plc = Place::Base(PlaceBase::Local(Local::from(0 as usize))); [INFO] [stdout] | ^^^^^ use of undeclared type `Local` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Local` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:96:60 [INFO] [stdout] | [INFO] [stdout] 96 | let return_decl = Declaration::decl_from(mir.local_decls[Local::from(0 as usize)].ty,Some((did,Local::from(0 as usize)))); [INFO] [stdout] | ^^^^^ use of undeclared type `Local` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Local` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:96:98 [INFO] [stdout] | [INFO] [stdout] 96 | let return_decl = Declaration::decl_from(mir.local_decls[Local::from(0 as usize)].ty,Some((did,Local::from(0 as usize)))); [INFO] [stdout] | ^^^^^ use of undeclared type `Local` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:102:14 [INFO] [stdout] | [INFO] [stdout] 102 | let plc = Place::Base(PlaceBase::Local(arg)); [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PlaceBase` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:102:26 [INFO] [stdout] | [INFO] [stdout] 102 | let plc = Place::Base(PlaceBase::Local(arg)); [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PlaceBase` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:192:4 [INFO] [stdout] | [INFO] [stdout] 192 | TerminatorKind::Goto {target} => if let Some(conv) = self.derive_goto(nid,*target) { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:197:4 [INFO] [stdout] | [INFO] [stdout] 197 | TerminatorKind::Call {func:_,args:_,destination:_,cleanup:_,from_hir_call:_} => unimplemented!(), [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:198:4 [INFO] [stdout] | [INFO] [stdout] 198 | ... TerminatorKind::SwitchInt{discr, switch_ty,values,targets} => self.derive_switch_int(nid,discr, switch_ty, values,targets.clone(),s... [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:199:4 [INFO] [stdout] | [INFO] [stdout] 199 | TerminatorKind::Assert{expected,cond,msg:_,target, cleanup:_} => { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:209:4 [INFO] [stdout] | [INFO] [stdout] 209 | TerminatorKind::Return => vec![].into_iter(), [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:260:35 [INFO] [stdout] | [INFO] [stdout] 260 | self.current_memory.remove_var(&Place::Base(PlaceBase::Local(lcl))); [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PlaceBase` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:260:47 [INFO] [stdout] | [INFO] [stdout] 260 | self.current_memory.remove_var(&Place::Base(PlaceBase::Local(lcl))); [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PlaceBase` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `PlaceBase` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:277:13 [INFO] [stdout] | [INFO] [stdout] 277 | let plc = PlaceBase::Local(lcl); [INFO] [stdout] | ^^^^^^^^^ use of undeclared type `PlaceBase` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Place` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:279:35 [INFO] [stdout] | [INFO] [stdout] 279 | self.current_memory.add_new_var(Place::Base(plc), dcl.ty,sir, Some((self.current_loc.get_def_id(),lcl))); [INFO] [stdout] | ^^^^^ use of undeclared type `Place` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:291:4 [INFO] [stdout] | [INFO] [stdout] 291 | Rvalue::Use(rand) => self.current_memory.process_operand(rand,nid,sir), [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:292:4 [INFO] [stdout] | [INFO] [stdout] 292 | Rvalue::BinaryOp(binop, rand1, rand2) => Expr::BinOp(Rator::from_mir_bin(&binop), [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:294:4 [INFO] [stdout] | [INFO] [stdout] 294 | Rvalue::UnaryOp(unop, rand) => Expr::UnOp(Rator::from_mir_un(&unop), Box::new(self.current_memory.process_operand(rand... [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:295:4 [INFO] [stdout] | [INFO] [stdout] 295 | Rvalue::Cast(_,rand,_) => self.current_memory.process_operand(rand,nid,sir), [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:296:4 [INFO] [stdout] | [INFO] [stdout] 296 | Rvalue::Ref(_,_,plc) => Expr::Ref(self.current_memory.process_plc(&plc,nid, sir)), [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:297:4 [INFO] [stdout] | [INFO] [stdout] 297 | Rvalue::CheckedBinaryOp(binop,rand1,rand2) => Expr::BinOp(Rator::from_mir_bin(&binop), [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BasicBlock` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:304:13 [INFO] [stdout] | [INFO] [stdout] 304 | let bid = BasicBlock::from(0 as usize); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared type `BasicBlock` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:382:5 [INFO] [stdout] | [INFO] [stdout] 382 | StatementKind::Assign(to,from) => curr_frame.assign(to,from, nid, &mut self.result), [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `StatementKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:383:5 [INFO] [stdout] | [INFO] [stdout] 383 | StatementKind::StorageLive(lcl) => {curr_frame.add_var(*lcl,&self.mirs, &mut self.result)}, [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `StatementKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:384:5 [INFO] [stdout] | [INFO] [stdout] 384 | StatementKind::StorageDead(lcl) => {curr_frame.remove_var(*lcl)}, [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `StatementKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:385:5 [INFO] [stdout] | [INFO] [stdout] 385 | StatementKind::Nop => (), [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `StatementKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:267:27 [INFO] [stdout] | [INFO] [stdout] 267 | pub fn from_mir_bin(op: &mir::BinOp) -> Rator { [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 267 | pub fn from_mir_bin(op: &sir::BinOp) -> Rator { [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:269:4 [INFO] [stdout] | [INFO] [stdout] 269 | mir::BinOp::Add => Rator::Add, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 269 | sir::BinOp::Add => Rator::Add, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:270:4 [INFO] [stdout] | [INFO] [stdout] 270 | mir::BinOp::Sub => Rator::Sub, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 270 | sir::BinOp::Sub => Rator::Sub, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:271:4 [INFO] [stdout] | [INFO] [stdout] 271 | mir::BinOp::Mul => Rator::Mul, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 271 | sir::BinOp::Mul => Rator::Mul, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:272:4 [INFO] [stdout] | [INFO] [stdout] 272 | mir::BinOp::Div => Rator::Div, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 272 | sir::BinOp::Div => Rator::Div, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:273:4 [INFO] [stdout] | [INFO] [stdout] 273 | mir::BinOp::Rem => Rator::Mod, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 273 | sir::BinOp::Rem => Rator::Mod, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:274:4 [INFO] [stdout] | [INFO] [stdout] 274 | mir::BinOp::Eq => Rator::Eq, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 274 | sir::BinOp::Eq => Rator::Eq, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:275:4 [INFO] [stdout] | [INFO] [stdout] 275 | mir::BinOp::Lt => Rator::LessThan, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 275 | sir::BinOp::Lt => Rator::LessThan, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:276:4 [INFO] [stdout] | [INFO] [stdout] 276 | mir::BinOp::Le => Rator::LessEqual, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 276 | sir::BinOp::Le => Rator::LessEqual, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:277:4 [INFO] [stdout] | [INFO] [stdout] 277 | mir::BinOp::Gt => Rator::GreaterThan, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 277 | sir::BinOp::Gt => Rator::GreaterThan, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:278:4 [INFO] [stdout] | [INFO] [stdout] 278 | mir::BinOp::Ge => Rator::GreaterEqual, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 278 | sir::BinOp::Ge => Rator::GreaterEqual, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:279:4 [INFO] [stdout] | [INFO] [stdout] 279 | mir::BinOp::Ne => Rator::NotEqual, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 279 | sir::BinOp::Ne => Rator::NotEqual, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:284:26 [INFO] [stdout] | [INFO] [stdout] 284 | pub fn from_mir_un(op: &mir::UnOp) -> Rator { [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 284 | pub fn from_mir_un(op: &sir::UnOp) -> Rator { [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:286:4 [INFO] [stdout] | [INFO] [stdout] 286 | mir::UnOp::Not => Rator::Not, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 286 | sir::UnOp::Not => Rator::Not, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `mir` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:287:4 [INFO] [stdout] | [INFO] [stdout] 287 | mir::UnOp::Neg => Rator::Neg, [INFO] [stdout] | ^^^ use of undeclared crate or module `mir` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 287 | sir::UnOp::Neg => Rator::Neg, [INFO] [stdout] | ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:295:4 [INFO] [stdout] | [INFO] [stdout] 295 | TyKind::Bool => SymTy::Bool(false), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:296:4 [INFO] [stdout] | [INFO] [stdout] 296 | TyKind::Int(_) => SymTy::Integer(0), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:297:4 [INFO] [stdout] | [INFO] [stdout] 297 | TyKind::Uint(_) => SymTy::Integer(0), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:298:4 [INFO] [stdout] | [INFO] [stdout] 298 | TyKind::RawPtr(_) => SymTy::Integer(0), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:323:4 [INFO] [stdout] | [INFO] [stdout] 323 | TyKind::Int(_) | TyKind::RawPtr(_) | TyKind::Uint(_) => SymTy::Integer(sc), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:323:21 [INFO] [stdout] | [INFO] [stdout] 323 | TyKind::Int(_) | TyKind::RawPtr(_) | TyKind::Uint(_) => SymTy::Integer(sc), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:323:41 [INFO] [stdout] | [INFO] [stdout] 323 | TyKind::Int(_) | TyKind::RawPtr(_) | TyKind::Uint(_) => SymTy::Integer(sc), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:324:4 [INFO] [stdout] | [INFO] [stdout] 324 | TyKind::Bool => SymTy::Bool(if sc == 1 { [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Local` [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:35:23 [INFO] [stdout] | [INFO] [stdout] 35 | let mp = (entry_id,Local::from(lcl)); [INFO] [stdout] | ^^^^^ use of undeclared type `Local` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `InstanceDef` [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:93:14 [INFO] [stdout] | [INFO] [stdout] 93 | instance: InstanceDef::Item(start), [INFO] [stdout] | ^^^^^^^^^^^ use of undeclared type `InstanceDef` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `intravisit` [INFO] [stdout] --> src/exec/driver/mod.rs:56:16 [INFO] [stdout] | [INFO] [stdout] 56 | impl <'tcx,'v> intravisit::Visitor<'v> for ContainsUsafe<'v,'tcx> { [INFO] [stdout] | ^^^^^^^^^^ use of undeclared crate or module `intravisit` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `NestedVisitorMap` [INFO] [stdout] --> src/exec/driver/mod.rs:59:9 [INFO] [stdout] | [INFO] [stdout] 59 | NestedVisitorMap::OnlyBodies(self.ctx) [INFO] [stdout] | ^^^^^^^^^^^^^^^^ use of undeclared type `NestedVisitorMap` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BlockCheckMode` [INFO] [stdout] --> src/exec/driver/mod.rs:63:23 [INFO] [stdout] | [INFO] [stdout] 63 | if b.rules != BlockCheckMode::DefaultBlock { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `BlockCheckMode` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `intravisit` [INFO] [stdout] --> src/exec/driver/mod.rs:67:13 [INFO] [stdout] | [INFO] [stdout] 67 | intravisit::walk_block(&mut v, b); [INFO] [stdout] | ^^^^^^^^^^ use of undeclared crate or module `intravisit` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ItemKind` [INFO] [stdout] --> src/exec/driver/mod.rs:96:16 [INFO] [stdout] | [INFO] [stdout] 96 | if let ItemKind::Fn(decl,hdr,gen,bid) = &item.node { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `ItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Unsafety` [INFO] [stdout] --> src/exec/driver/mod.rs:97:32 [INFO] [stdout] | [INFO] [stdout] 97 | if hdr.unsafety == Unsafety::Normal { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `Unsafety` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `FnKind` [INFO] [stdout] --> src/exec/driver/mod.rs:99:28 [INFO] [stdout] | [INFO] [stdout] 99 | v.visit_fn(FnKind::ItemFn(item.ident, &gen,*hdr,&item.vis,&item.attrs),&decl,*bid,item.span,item.hir_id); [INFO] [stdout] | ^^^^^^ use of undeclared type `FnKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `ImplItemKind` [INFO] [stdout] --> src/exec/driver/mod.rs:113:20 [INFO] [stdout] | [INFO] [stdout] 113 | if let ImplItemKind::Method(sig,bid) = &impl_item.node { [INFO] [stdout] | ^^^^^^^^^^^^ use of undeclared type `ImplItemKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Unsafety` [INFO] [stdout] --> src/exec/driver/mod.rs:114:39 [INFO] [stdout] | [INFO] [stdout] 114 | if sig.header.unsafety == Unsafety::Normal { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `Unsafety` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `FnKind` [INFO] [stdout] --> src/exec/driver/mod.rs:116:28 [INFO] [stdout] | [INFO] [stdout] 116 | ... v.visit_fn(FnKind::Method(impl_item.ident, &sig,Some(&impl_item.vis),&impl_item.attrs),&sig.decl,*bid,impl_item.span,impl_item.hir_... [INFO] [stdout] | ^^^^^^ use of undeclared type `FnKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:37:23 [INFO] [stdout] | [INFO] [stdout] 37 | assignments: HashMap,Name>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:42:38 [INFO] [stdout] | [INFO] [stdout] 42 | fn process_operand(&mut self, rand: Operand<'tcx>, nid: NodeId, sir: &mut Sir) -> Expr { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:57:35 [INFO] [stdout] | [INFO] [stdout] 57 | fn new_assignment(&mut self, to: Place<'tcx>, nid: NodeId, sir: &mut Sir) -> Name { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:65:32 [INFO] [stdout] | [INFO] [stdout] 65 | fn move_val(&mut self, plc: &Place<'tcx>,nid: NodeId, sir: &mut Sir) -> Name { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:70:32 [INFO] [stdout] | [INFO] [stdout] 70 | fn copy_val(&mut self, plc: &Place<'tcx>,nid: NodeId, sir: &mut Sir) -> Name { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:75:34 [INFO] [stdout] | [INFO] [stdout] 75 | fn process_plc(&mut self, plc: &Place<'tcx>, nid: NodeId, sir: &mut Sir) -> Name { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:91:42 [INFO] [stdout] | [INFO] [stdout] 91 | fn from_args(args: impl Iterator, did: DefId, mir: &Mir, sir: &mut Sir) -> Memory<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:91:55 [INFO] [stdout] | [INFO] [stdout] 91 | fn from_args(args: impl Iterator, did: DefId, mir: &Mir, sir: &mut Sir) -> Memory<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:91:68 [INFO] [stdout] | [INFO] [stdout] 91 | fn from_args(args: impl Iterator, did: DefId, mir: &Mir, sir: &mut Sir) -> Memory<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:114:33 [INFO] [stdout] | [INFO] [stdout] 114 | fn add_new_var(&mut self, plc: Place<'tcx>, ty: Ty<'tcx>,sir: &mut Sir, did: Option<(DefId,Local)>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:114:50 [INFO] [stdout] | [INFO] [stdout] 114 | fn add_new_var(&mut self, plc: Place<'tcx>, ty: Ty<'tcx>,sir: &mut Sir, did: Option<(DefId,Local)>) { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:114:87 [INFO] [stdout] | [INFO] [stdout] 40 | impl <'tcx> Memory <'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 114 | fn add_new_var(&mut self, plc: Place<'tcx>, ty: Ty<'tcx>,sir: &mut Sir, did: Option<(DefId,Local)>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:114:93 [INFO] [stdout] | [INFO] [stdout] 40 | impl <'tcx> Memory <'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] ... [INFO] [stdout] 114 | fn add_new_var(&mut self, plc: Place<'tcx>, ty: Ty<'tcx>,sir: &mut Sir, did: Option<(DefId,Local)>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:119:33 [INFO] [stdout] | [INFO] [stdout] 119 | fn remove_var(&mut self, plc: &Place<'tcx>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:127:11 [INFO] [stdout] | [INFO] [stdout] 127 | mir_def: DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:128:9 [INFO] [stdout] | [INFO] [stdout] 128 | block: BasicBlock [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:127:11 [INFO] [stdout] | [INFO] [stdout] 126 | struct Location { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 127 | mir_def: DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:128:9 [INFO] [stdout] | [INFO] [stdout] 126 | struct Location { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 127 | mir_def: DefId, [INFO] [stdout] 128 | block: BasicBlock [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:132:18 [INFO] [stdout] | [INFO] [stdout] 132 | fn new(mir_def: DefId, block: BasicBlock) -> Location { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:132:33 [INFO] [stdout] | [INFO] [stdout] 132 | fn new(mir_def: DefId, block: BasicBlock) -> Location { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:139:26 [INFO] [stdout] | [INFO] [stdout] 139 | fn get_def_id(&self) -> DefId { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:143:48 [INFO] [stdout] | [INFO] [stdout] 131 | impl Location { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 143 | fn get_block_data<'tcx>(&self, mirs: &HashMap>) -> &'tcx BasicBlockData<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:143:60 [INFO] [stdout] | [INFO] [stdout] 143 | fn get_block_data<'tcx>(&self, mirs: &HashMap>) -> &'tcx BasicBlockData<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlockData` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:143:81 [INFO] [stdout] | [INFO] [stdout] 143 | fn get_block_data<'tcx>(&self, mirs: &HashMap>) -> &'tcx BasicBlockData<'tcx> { [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:147:47 [INFO] [stdout] | [INFO] [stdout] 131 | impl Location { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 147 | fn get_statements<'tcx>(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:147:59 [INFO] [stdout] | [INFO] [stdout] 147 | fn get_statements<'tcx>(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:147:79 [INFO] [stdout] | [INFO] [stdout] 147 | fn get_statements<'tcx>(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:151:38 [INFO] [stdout] | [INFO] [stdout] 151 | fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:151:59 [INFO] [stdout] | [INFO] [stdout] 131 | impl Location { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 151 | fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:151:71 [INFO] [stdout] | [INFO] [stdout] 151 | fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `LocalDecl` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:151:87 [INFO] [stdout] | [INFO] [stdout] 151 | fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:156:30 [INFO] [stdout] | [INFO] [stdout] 156 | fn from_block(&self, block: BasicBlock) -> Location { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:190:55 [INFO] [stdout] | [INFO] [stdout] 190 | fn derive_next_frames(&mut self, nid: NodeId, term: &Terminator<'tcx>, sir: &mut Sir) -> impl Iterator> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:214:57 [INFO] [stdout] | [INFO] [stdout] 214 | fn derive_switch_int(&self, generator: NodeId, discr: &Operand<'tcx>, switch_ty: Ty, values: &Cow<'tcx,[u128]>, mut targets: Vec src/exec/driver/analysis_passes/symb_exec/mod.rs:214:83 [INFO] [stdout] | [INFO] [stdout] 214 | fn derive_switch_int(&self, generator: NodeId, discr: &Operand<'tcx>, switch_ty: Ty, values: &Cow<'tcx,[u128]>, mut targets: Vec src/exec/driver/analysis_passes/symb_exec/mod.rs:214:131 [INFO] [stdout] | [INFO] [stdout] 175 | ...tcx> Frame<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, BasicBlock` [INFO] [stdout] ... [INFO] [stdout] 214 | ...derive_switch_int(&self, generator: NodeId, discr: &Operand<'tcx>, switch_ty: Ty, values: &Cow<'tcx,[u128]>, mut targets: Vec, ... [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:240:51 [INFO] [stdout] | [INFO] [stdout] 240 | fn derive_goto(&self, generator: NodeId, target: BasicBlock ) -> Option> { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:244:54 [INFO] [stdout] | [INFO] [stdout] 244 | fn block_to_frame(&self, generator: NodeId, target: BasicBlock, precondition: Option,memory: Memory<'tcx>) -> Option src/exec/driver/analysis_passes/symb_exec/mod.rs:259:32 [INFO] [stdout] | [INFO] [stdout] 259 | fn remove_var(&mut self, lcl: Local) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:263:42 [INFO] [stdout] | [INFO] [stdout] 175 | impl <'tcx> Frame<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 263 | fn get_block_data(&self, mirs: &HashMap>) -> &BasicBlockData<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:263:54 [INFO] [stdout] | [INFO] [stdout] 263 | fn get_block_data(&self, mirs: &HashMap>) -> &BasicBlockData<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlockData` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:263:70 [INFO] [stdout] | [INFO] [stdout] 263 | fn get_block_data(&self, mirs: &HashMap>) -> &BasicBlockData<'tcx> { [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:267:41 [INFO] [stdout] | [INFO] [stdout] 175 | impl <'tcx> Frame<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 267 | fn get_statements(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:267:53 [INFO] [stdout] | [INFO] [stdout] 267 | fn get_statements(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:267:73 [INFO] [stdout] | [INFO] [stdout] 267 | fn get_statements(&self,mirs: &HashMap>) -> &Vec> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:272:32 [INFO] [stdout] | [INFO] [stdout] 272 | fn get_local_decl(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:272:53 [INFO] [stdout] | [INFO] [stdout] 175 | impl <'tcx> Frame<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 272 | fn get_local_decl(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:272:65 [INFO] [stdout] | [INFO] [stdout] 272 | fn get_local_decl(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `LocalDecl` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:272:81 [INFO] [stdout] | [INFO] [stdout] 272 | fn get_local_decl(&self, lcl: Local, mir: &HashMap>) -> &LocalDecl<'tcx> { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:276:29 [INFO] [stdout] | [INFO] [stdout] 276 | fn add_var(&mut self, lcl: Local, mir: &HashMap>, sir: &mut Sir) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:276:50 [INFO] [stdout] | [INFO] [stdout] 175 | impl <'tcx> Frame<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 276 | fn add_var(&mut self, lcl: Local, mir: &HashMap>, sir: &mut Sir) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:276:62 [INFO] [stdout] | [INFO] [stdout] 276 | fn add_var(&mut self, lcl: Local, mir: &HashMap>, sir: &mut Sir) { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:282:28 [INFO] [stdout] | [INFO] [stdout] 282 | fn assign(&mut self, to: &Place<'tcx>, from: &Box>, nid: NodeId, sir: &mut Sir) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:282:52 [INFO] [stdout] | [INFO] [stdout] 282 | fn assign(&mut self, to: &Place<'tcx>, from: &Box>, nid: NodeId, sir: &mut Sir) { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:289:41 [INFO] [stdout] | [INFO] [stdout] 289 | fn evaluate_rvalue(&mut self,rval: Box>, nid: NodeId, sir: &mut Sir) -> Expr { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:303:26 [INFO] [stdout] | [INFO] [stdout] 303 | fn create_entry(def_id: DefId, mir: &Mir<'tcx>, sir: &mut Sir) -> Frame<'tcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:303:39 [INFO] [stdout] | [INFO] [stdout] 303 | fn create_entry(def_id: DefId, mir: &Mir<'tcx>, sir: &mut Sir) -> Frame<'tcx> { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:327:16 [INFO] [stdout] | [INFO] [stdout] 326 | pub struct ExecutionContext<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] 327 | mirs: HashMap>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:327:28 [INFO] [stdout] | [INFO] [stdout] 327 | mirs: HashMap>, [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:345:34 [INFO] [stdout] | [INFO] [stdout] 345 | pub fn create_from_entry(entry: DefId, mirs: HashMap>) -> ExecutionContext { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:345:55 [INFO] [stdout] | [INFO] [stdout] 332 | impl <'tcx> ExecutionContext<'tcx> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 345 | pub fn create_from_entry(entry: DefId, mirs: HashMap>) -> ExecutionContext { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:345:67 [INFO] [stdout] | [INFO] [stdout] 345 | pub fn create_from_entry(entry: DefId, mirs: HashMap>) -> ExecutionContext { [INFO] [stdout] | ^^^ help: a struct with a similar name exists: `Sir` [INFO] [stdout] | [INFO] [stdout] ::: src/exec/driver/analysis_passes/sir/mod.rs:91:1 [INFO] [stdout] | [INFO] [stdout] 91 | pub struct Sir { [INFO] [stdout] | -------------- similarly named struct `Sir` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:361:17 [INFO] [stdout] | [INFO] [stdout] 361 | let stats:Vec> = curr_frame.get_statements(&self.mirs).clone().drain(..).collect(); [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlockData` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:362:11 [INFO] [stdout] | [INFO] [stdout] 362 | let blk:BasicBlockData<'tcx> = curr_frame.get_block_data(&self.mirs).clone(); [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlockData` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:371:38 [INFO] [stdout] | [INFO] [stdout] 371 | fn push_next_frames(&mut self, blk: BasicBlockData<'tcx>, curr_frame: &mut Frame<'tcx>, nid: NodeId) { [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:378:82 [INFO] [stdout] | [INFO] [stdout] 378 | fn perform_statements(&mut self, curr_frame: &mut Frame<'tcx>, statements: &Vec>) -> NodeId { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:206:61 [INFO] [stdout] | [INFO] [stdout] 206 | pub struct Declaration(SymTy, Vec, Option<(DefId,Local)>); [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:206:67 [INFO] [stdout] | [INFO] [stdout] 206 | pub struct Declaration(SymTy, Vec, Option<(DefId,Local)>); [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:221:41 [INFO] [stdout] | [INFO] [stdout] 208 | impl Declaration { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 221 | pub fn get_location(&self) -> &Option<(DefId,Local)> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:221:47 [INFO] [stdout] | [INFO] [stdout] 208 | impl Declaration { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 221 | pub fn get_location(&self) -> &Option<(DefId,Local)> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:293:23 [INFO] [stdout] | [INFO] [stdout] 293 | pub fn decl_from(ty: Ty, arg_loc: Option<(DefId,Local)>) -> Declaration { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:293:44 [INFO] [stdout] | [INFO] [stdout] 292 | impl Declaration { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 293 | pub fn decl_from(ty: Ty, arg_loc: Option<(DefId,Local)>) -> Declaration { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:293:50 [INFO] [stdout] | [INFO] [stdout] 292 | impl Declaration { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 293 | pub fn decl_from(ty: Ty, arg_loc: Option<(DefId,Local)>) -> Declaration { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Ty` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/sir/mod.rs:321:35 [INFO] [stdout] | [INFO] [stdout] 321 | pub fn from_scalar(sc: u128, ty: Ty) -> SymTy { [INFO] [stdout] | ^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/smt/mod.rs:22:98 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn solve_sir(sir: &Sir, entry: NodeId, additional_constraints: Vec) -> Option> { [INFO] [stdout] | - help: you might be missing a type parameter: `` ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/smt/mod.rs:22:104 [INFO] [stdout] | [INFO] [stdout] 22 | pub fn solve_sir(sir: &Sir, entry: NodeId, additional_constraints: Vec) -> Option> { [INFO] [stdout] | - help: you might be missing a type parameter: `` ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:24:10 [INFO] [stdout] | [INFO] [stdout] 24 | def_id: DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:25:8 [INFO] [stdout] | [INFO] [stdout] 25 | span: Span [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:29:20 [INFO] [stdout] | [INFO] [stdout] 29 | fn from(entry_id: DefId, model: HashMap<(DefId,Local), SymTy>, mir: &Mir, compiler: &TyCtxt) -> ErrorInfo { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:29:43 [INFO] [stdout] | [INFO] [stdout] 28 | impl ErrorInfo { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 29 | fn from(entry_id: DefId, model: HashMap<(DefId,Local), SymTy>, mir: &Mir, compiler: &TyCtxt) -> ErrorInfo { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:29:49 [INFO] [stdout] | [INFO] [stdout] 28 | impl ErrorInfo { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 29 | fn from(entry_id: DefId, model: HashMap<(DefId,Local), SymTy>, mir: &Mir, compiler: &TyCtxt) -> ErrorInfo { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:29:71 [INFO] [stdout] | [INFO] [stdout] 29 | fn from(entry_id: DefId, model: HashMap<(DefId,Local), SymTy>, mir: &Mir, compiler: &TyCtxt) -> ErrorInfo { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:29:87 [INFO] [stdout] | [INFO] [stdout] 29 | fn from(entry_id: DefId, model: HashMap<(DefId,Local), SymTy>, mir: &Mir, compiler: &TyCtxt) -> ErrorInfo { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:50:28 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn get_span(&self) -> Span { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:80:9 [INFO] [stdout] | [INFO] [stdout] 80 | start: DefId, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Mir` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:81:8 [INFO] [stdout] | [INFO] [stdout] 81 | code: Mir<'tcx>, [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:82:11 [INFO] [stdout] | [INFO] [stdout] 82 | ctx: &'a TyCtxt<'a,'gcx,'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:86:20 [INFO] [stdout] | [INFO] [stdout] 86 | pub fn new(start: DefId, ctx: &'a rustc::ty::TyCtxt<'_, 'tcx, 'gcx>) -> AnalysisHandler<'a,'tcx,'gcx> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Inline` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:88:15 [INFO] [stdout] | [INFO] [stdout] 88 | let liner = Inline { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `MirSource` in this scope [INFO] [stdout] --> src/exec/driver/analysis_passes/mod.rs:92:16 [INFO] [stdout] | [INFO] [stdout] 92 | let source = MirSource { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Callbacks` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:25:6 [INFO] [stdout] | [INFO] [stdout] 25 | impl Callbacks for GetTcntx { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Compiler` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:26:45 [INFO] [stdout] | [INFO] [stdout] 26 | fn after_analysis(&mut self, compiler: &Compiler) -> bool { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Map` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:53:14 [INFO] [stdout] | [INFO] [stdout] 53 | ctx: &'v Map<'tcx> [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 | use core::iter::Map; [INFO] [stdout] | [INFO] [stdout] 3 | use std::iter::Map; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `NestedVisitorMap` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:58:52 [INFO] [stdout] | [INFO] [stdout] 58 | fn nested_visit_map<'this>(&'this mut self) -> NestedVisitorMap<'this,'v> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Block` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:62:35 [INFO] [stdout] | [INFO] [stdout] 62 | fn visit_block(&mut self, b: &Block) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Map` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:74:30 [INFO] [stdout] | [INFO] [stdout] 74 | fn new<'a,'ctx>(ctx: &'a Map<'ctx>) -> ContainsUsafe<'a,'ctx> { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 | use core::iter::Map; [INFO] [stdout] | [INFO] [stdout] 3 | use std::iter::Map; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `HirId` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:89:18 [INFO] [stdout] | [INFO] [stdout] 88 | struct IdCollector<'a,'hir: 'a> { [INFO] [stdout] | - help: you might be missing a type parameter: `, HirId` [INFO] [stdout] 89 | ids: HashSet, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Map` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:90:19 [INFO] [stdout] | [INFO] [stdout] 90 | comp_ctx: &'a Map<'hir> [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 | use core::iter::Map; [INFO] [stdout] | [INFO] [stdout] 3 | use std::iter::Map; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `ItemLikeVisitor` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:94:21 [INFO] [stdout] | [INFO] [stdout] 94 | impl <'a, 'hir: 'a> ItemLikeVisitor<'hir> for IdCollector<'a,'hir> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Item` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:95:42 [INFO] [stdout] | [INFO] [stdout] 95 | fn visit_item(&mut self, item: &'hir Item) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TraitItem` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:108:55 [INFO] [stdout] | [INFO] [stdout] 108 | fn visit_trait_item(&mut self, _trait_item: &'hir TraitItem) { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `ImplItem` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:112:52 [INFO] [stdout] | [INFO] [stdout] 112 | fn visit_impl_item(&mut self, impl_item: &'hir ImplItem) { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Map` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:126:19 [INFO] [stdout] | [INFO] [stdout] 126 | fn new(m: &'a Map<'hir>) -> IdCollector<'a,'hir> { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 | use core::iter::Map; [INFO] [stdout] | [INFO] [stdout] 3 | use std::iter::Map; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:133:33 [INFO] [stdout] | [INFO] [stdout] 125 | impl <'a,'hir> IdCollector<'a, 'hir> { [INFO] [stdout] | - help: you might be missing a type parameter: `, DefId` [INFO] [stdout] ... [INFO] [stdout] 133 | fn get_ids(mut self) -> Vec { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `HirId` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:134:27 [INFO] [stdout] | [INFO] [stdout] 125 | impl <'a,'hir> IdCollector<'a, 'hir> { [INFO] [stdout] | - help: you might be missing a type parameter: `, HirId` [INFO] [stdout] ... [INFO] [stdout] 134 | let mut hids: Vec = self.ids.drain().collect(); [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Map` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:139:35 [INFO] [stdout] | [INFO] [stdout] 139 | fn collect_target_func_ids(code: &Map) -> Vec { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 3 | use core::iter::Map; [INFO] [stdout] | [INFO] [stdout] 3 | use std::iter::Map; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/exec/driver/mod.rs:139:47 [INFO] [stdout] | [INFO] [stdout] 139 | fn collect_target_func_ids(code: &Map) -> Vec { [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel [INFO] [stdout] --> src/lib.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(rustc_private)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel [INFO] [stdout] --> src/lib.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(type_alias_enum_variants)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: remove the attribute [INFO] [stdout] | [INFO] [stdout] = help: the feature `type_alias_enum_variants` has been stable since 1.37.0 and no longer requires an attribute to enable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around type [INFO] [stdout] --> src/exec/driver/analysis_passes/symb_exec/mod.rs:172:17 [INFO] [stdout] | [INFO] [stdout] 172 | return_to: Vec<(Location)> [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 172 - return_to: Vec<(Location)> [INFO] [stdout] 172 + return_to: Vec [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `rsmt2::print::Expr2Smt` [INFO] [stdout] --> src/exec/driver/analysis_passes/smt/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use rsmt2::print::Expr2Smt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Rator` [INFO] [stdout] --> src/exec/driver/analysis_passes/smt/mod.rs:14:18 [INFO] [stdout] | [INFO] [stdout] 14 | use super::sir::{Rator,Expr,SymTy,Name}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::sir::MirVariableProp` [INFO] [stdout] --> src/exec/driver/analysis_passes/smt/mod.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use super::sir::MirVariableProp; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `analysis_passes::AnalysisHandler` [INFO] [stdout] --> src/exec/driver/mod.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use analysis_passes::AnalysisHandler; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 184 previous errors; 5 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0422, E0433, E0463, E0554. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0405`. [INFO] [stdout] [INFO] [stderr] error: could not compile `rure` due to 185 previous errors; 5 warnings emitted [INFO] running `Command { std: "docker" "inspect" "b492b1bf32bc0d8409f4b4ce392041b6138b0f35b5f09b3680beb635a1f6738d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b492b1bf32bc0d8409f4b4ce392041b6138b0f35b5f09b3680beb635a1f6738d", kill_on_drop: false }` [INFO] [stdout] b492b1bf32bc0d8409f4b4ce392041b6138b0f35b5f09b3680beb635a1f6738d