[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] documenting 2over12/rure against 1.61.0 for beta-1.62-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2F2over12%2Frure" "/workspace/builds/worker-22/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-22/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/2over12/rure on toolchain 1.61.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.61.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-22/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.61.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 filetime v0.2.4
[INFO] [stderr]   Downloaded tester v0.5.0
[INFO] [stderr]   Downloaded rustfix v0.4.4
[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-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6fdcc890447b5a00f9a072d1f3815f84d4f6927c49d335a4de69b78173ff6c5c
[INFO] running `Command { std: "docker" "start" "-a" "6fdcc890447b5a00f9a072d1f3815f84d4f6927c49d335a4de69b78173ff6c5c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6fdcc890447b5a00f9a072d1f3815f84d4f6927c49d335a4de69b78173ff6c5c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6fdcc890447b5a00f9a072d1f3815f84d4f6927c49d335a4de69b78173ff6c5c", kill_on_drop: false }`
[INFO] [stdout] 6fdcc890447b5a00f9a072d1f3815f84d4f6927c49d335a4de69b78173ff6c5c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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" "RUSTDOCFLAGS=--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:d190cb871061d98bc6d0581d85cb2ecb09a0f8a142ba5463de30be9999fc3251" "/opt/rustwide/cargo-home/bin/cargo" "+1.61.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 258d93a826acf7ff6bfb91a82d2bfc911e4641a7d9ccc7422914fd579d783f2b
[INFO] running `Command { std: "docker" "start" "-a" "258d93a826acf7ff6bfb91a82d2bfc911e4641a7d9ccc7422914fd579d783f2b", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.50
[INFO] [stderr]    Compiling autocfg v0.1.2
[INFO] [stderr]     Checking cfg-if v0.1.7
[INFO] [stderr]     Checking rustc-demangle v0.1.13
[INFO] [stderr]     Checking text_io v0.1.7
[INFO] [stderr]    Compiling backtrace-sys v0.1.28
[INFO] [stderr]    Compiling backtrace v0.3.14
[INFO] [stderr]     Checking error-chain v0.12.0
[INFO] [stderr]     Checking rsmt2 v0.10.0
[INFO] [stderr]  Documenting 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.61.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.61.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.61.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.61.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 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: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 `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[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<Place<'tcx>,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<Item = Local>, 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<Item = Local>, 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<Item = Local>, 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: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: `<DefId>`
[INFO] [stdout] ...
[INFO] [stdout] 143 |     fn get_block_data<'tcx>(&self, mirs: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &'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<DefId,&'tcx Mir<'tcx>>) -> &'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<DefId,&'tcx Mir<'tcx>>) -> &'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: `<DefId>`
[INFO] [stdout] ...
[INFO] [stdout] 147 |     fn get_statements<'tcx>(&self,mirs: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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:147:59
[INFO] [stdout]     |
[INFO] [stdout] 147 |     fn get_statements<'tcx>(&self,mirs: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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 `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<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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:151:38
[INFO] [stdout]     |
[INFO] [stdout] 151 |     fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &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: `<DefId>`
[INFO] [stdout] ...
[INFO] [stdout] 151 |     fn get_local_decl<'tcx>(&self, lcl: Local, mir: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>) -> &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<Item = Frame<'tcx>> {
[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<Basi...
[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: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<Basi...
[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: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<BasicBlock>, ...
[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<Frame<'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:244:54
[INFO] [stdout]     |
[INFO] [stdout] 244 |     fn block_to_frame(&self, generator: NodeId, target: BasicBlock, precondition: Option<Expr>,memory: Memory<'tcx>) -> Option<Frame<'t...
[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: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<DefId,&'tcx Mir<'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:263:54
[INFO] [stdout]     |
[INFO] [stdout] 263 |     fn get_block_data(&self, mirs: &HashMap<DefId,&'tcx Mir<'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:263:70
[INFO] [stdout]     |
[INFO] [stdout] 263 |     fn get_block_data(&self, mirs: &HashMap<DefId,&'tcx Mir<'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: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<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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:267:53
[INFO] [stdout]     |
[INFO] [stdout] 267 |     fn get_statements(&self,mirs: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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 `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<DefId,&'tcx Mir<'tcx>>) -> &Vec<Statement<'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:272:32
[INFO] [stdout]     |
[INFO] [stdout] 272 |     fn get_local_decl(&self, lcl: Local, mir: &HashMap<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>) -> &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<DefId,&'tcx Mir<'tcx>>, 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<DefId,&'tcx Mir<'tcx>>, 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<DefId,&'tcx Mir<'tcx>>, 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<Rvalue<'tcx>>, 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<Rvalue<'tcx>>, 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<Rvalue<'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 `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<DefId,&'tcx Mir<'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:327:28
[INFO] [stdout]     |
[INFO] [stdout] 327 |     mirs: HashMap<DefId,&'tcx Mir<'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:345:34
[INFO] [stdout]     |
[INFO] [stdout] 345 |     pub fn create_from_entry(entry: DefId, mirs: HashMap<DefId,&'tcx Mir<'tcx>>) -> 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<DefId,&'tcx Mir<'tcx>>) -> 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<DefId,&'tcx Mir<'tcx>>) -> 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 `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<Statement<'tcx>>) -> 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<MirVariableProp>, Option<(DefId,Local)>);
[INFO] [stdout]     |                       -                                     ^^^^^ not found in this scope
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       help: you might be missing a type parameter: `<DefId>`
[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<MirVariableProp>, Option<(DefId,Local)>);
[INFO] [stdout]     |                       -                                           ^^^^^ not found in this scope
[INFO] [stdout]     |                       |
[INFO] [stdout]     |                       help: you might be missing a type parameter: `<Local>`
[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: `<DefId>`
[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: `<Local>`
[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: `<DefId>`
[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: `<Local>`
[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<Expr>) -> Option<HashMap<(DefId,Local),SymTy>> {
[INFO] [stdout]    |                 - help: you might be missing a type parameter: `<DefId>`                         ^^^^^ 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<Expr>) -> Option<HashMap<(DefId,Local),SymTy>> {
[INFO] [stdout]    |                 - help: you might be missing a type parameter: `<Local>`                               ^^^^^ 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: `<DefId>`
[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: `<Local>`
[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[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<HirId>,
[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<DefId> {
[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<DefId> {
[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<DefId> {
[INFO] [stdout]     |                           -                   ^^^^^ not found in this scope
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           help: you might be missing a type parameter: `<DefId>`
[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<Location>
[INFO] [stdout]     | 
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: Compilation failed, aborting rustdoc
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 111 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0433, E0463, E0554.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0405`.
[INFO] [stdout] 
[INFO] [stderr] error: could not document `rure`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-type lib --crate-name rure src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=4e8bf16c63c36b5c -L dependency=/opt/rustwide/target/debug/deps --extern rsmt2=/opt/rustwide/target/debug/deps/librsmt2-138e5d9b5eb5265b.rmeta --extern text_io=/opt/rustwide/target/debug/deps/libtext_io-8d94e17c4b32a2da.rmeta --cap-lints=warn --crate-version 0.1.0` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "258d93a826acf7ff6bfb91a82d2bfc911e4641a7d9ccc7422914fd579d783f2b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "258d93a826acf7ff6bfb91a82d2bfc911e4641a7d9ccc7422914fd579d783f2b", kill_on_drop: false }`
[INFO] [stdout] 258d93a826acf7ff6bfb91a82d2bfc911e4641a7d9ccc7422914fd579d783f2b