Skip to content

Instantly share code, notes, and snippets.

@thomvil
Created February 27, 2022 07:36
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save thomvil/0e04a74b54e7696a14b2967b8949c88f to your computer and use it in GitHub Desktop.
Save thomvil/0e04a74b54e7696a14b2967b8949c88f to your computer and use it in GitHub Desktop.
output install flowistry v0.5.8
$ cargo install-update -a
Updating registry 'https://github.com/rust-lang/crates.io-index'
Package Installed Latest Needs update
flowistry_ide v0.5.4 v0.5.8 Yes
Updating flowistry_ide
Updating crates.io index
Installing flowistry_ide v0.5.8
Compiling cfg-if v1.0.0
Compiling autocfg v1.1.0
Compiling proc-macro2 v1.0.36
Compiling unicode-xid v0.2.2
Compiling libc v0.2.119
Compiling syn v1.0.86
Compiling serde_derive v1.0.136
Compiling lazy_static v1.4.0
Compiling serde v1.0.136
Compiling crossbeam-utils v0.8.7
Compiling crossbeam-epoch v0.9.7
Compiling scopeguard v1.1.0
Compiling log v0.4.14
Compiling rayon-core v1.9.1
Compiling camino v1.0.7
Compiling anyhow v1.0.55
Compiling semver v1.0.6
Compiling serde_json v1.0.79
Compiling hashbrown v0.11.2
Compiling itoa v1.0.1
Compiling utf8-width v0.1.5
Compiling either v1.6.1
Compiling ryu v1.0.9
Compiling ppv-lite86 v0.2.16
Compiling unicode-width v0.1.9
Compiling textwrap v0.14.2
Compiling fluid-let v1.0.0
Compiling bitflags v1.3.2
Compiling unicode-segmentation v1.9.0
Compiling fixedbitset v0.4.1
Compiling memoffset v0.6.5
Compiling indexmap v1.8.0
Compiling rayon v1.5.1
Compiling html-escape v0.2.9
Compiling itertools v0.10.3
Compiling textwrap v0.11.0
Compiling clap v2.34.0
Compiling env_logger v0.9.0
Compiling crossbeam-channel v0.5.2
Compiling getrandom v0.2.5
Compiling num_cpus v1.13.1
Compiling quote v1.0.15
Compiling flowistry v0.5.8
error[E0463]: can't find crate for `either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:53:1
|
53 | extern crate either;
| ^^^^^^^^^^^^^^^^^^^^ can't find crate
error[E0463]: can't find crate for `rustc_borrowck`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:54:1
|
54 | extern crate rustc_borrowck;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_data_structures`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:55:1
|
55 | extern crate rustc_data_structures;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_driver`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:56:1
|
56 | extern crate rustc_driver;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_graphviz`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:57:1
|
57 | extern crate rustc_graphviz;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_hir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:58:1
|
58 | extern crate rustc_hir;
| ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_hir_pretty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:59:1
|
59 | extern crate rustc_hir_pretty;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_index`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:60:1
|
60 | extern crate rustc_index;
| ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_infer`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:61:1
|
61 | extern crate rustc_infer;
| ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_interface`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:62:1
|
62 | extern crate rustc_interface;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_macros`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:63:1
|
63 | extern crate rustc_macros;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_middle`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:64:1
|
64 | extern crate rustc_middle;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_mir_dataflow`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:65:1
|
65 | extern crate rustc_mir_dataflow;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_mir_transform`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:66:1
|
66 | extern crate rustc_mir_transform;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_serialize`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:67:1
|
67 | extern crate rustc_serialize;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_session`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:68:1
|
68 | extern crate rustc_session;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_span`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:69:1
|
69 | extern crate rustc_span;
| ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_target`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:70:1
|
70 | extern crate rustc_target;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `rustc_trait_selection`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:71:1
|
71 | extern crate rustc_trait_selection;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
|
= help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview`
error[E0463]: can't find crate for `smallvec`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/lib.rs:72:1
|
72 | extern crate smallvec;
| ^^^^^^^^^^^^^^^^^^^^^^ can't find crate
error[E0432]: unresolved import `crate::indexed::impls::LocationIndex`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:28:29
|
28 | impls::{LocationDomain, LocationIndex, LocationSet, PlaceSet},
| ^^^^^^^^^^^^^
| |
| no `LocationIndex` in `indexed::impls`
| help: a similar name exists in the module: `LocationSet`
error[E0432]: unresolved imports `crate::indexed::impls::LocationIndex`, `rustc_graphviz`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:26:27
|
26 | impls::{LocationDomain, LocationIndex},
| ^^^^^^^^^^^^^
| |
| no `LocationIndex` in `indexed::impls`
| help: a similar name exists in the module: `LocationSet`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:16:5
|
16 | use rustc_graphviz as dot;
| ^^^^^^^^^^^^^^^^^^^^^
error[E0432]: unresolved import `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:132:13
|
132 | use ProjectionElem::*;
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error: cannot find derive macro `Encodable` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/extensions.rs:7:45
|
7 | #[derive(Debug, PartialEq, Eq, Clone, Copy, Encodable, Hash)]
| ^^^^^^^^^
error: cannot find derive macro `Encodable` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/extensions.rs:13:45
|
13 | #[derive(Debug, PartialEq, Eq, Clone, Copy, Encodable, Hash)]
| ^^^^^^^^^
error: cannot find derive macro `Encodable` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/extensions.rs:19:45
|
19 | #[derive(Debug, PartialEq, Eq, Clone, Copy, Encodable, Hash)]
| ^^^^^^^^^
error: cannot find derive macro `Encodable` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/extensions.rs:25:45
|
25 | #[derive(Debug, PartialEq, Eq, Clone, Copy, Encodable, Hash)]
| ^^^^^^^^^
error: cannot find derive macro `Encodable` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:69:10
|
69 | #[derive(Encodable, Debug, Clone, Hash, PartialEq, Eq, Default)]
| ^^^^^^^^^
error[E0433]: failed to resolve: use of undeclared type `BasicBlock`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:36:21
|
36 | let arg_block = BasicBlock::from_usize(body.basic_blocks().len());
| ^^^^^^^^^^ use of undeclared type `BasicBlock`
error[E0433]: failed to resolve: use of undeclared type `Local`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:112:16
|
112 | .then(|| Local::from_usize(location.statement_index))
| ^^^^^ use of undeclared type `Local`
error[E0433]: failed to resolve: use of undeclared type `IndexVec`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:94:26
|
94 | let index_to_value = IndexVec::from_raw(domain);
| ^^^^^^^^ use of undeclared type `IndexVec`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:123:11
|
123 | Place::make(mutated.local, &projection, self.tcx),
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:137:14
|
137 | if let TerminatorKind::SwitchInt { discr, .. } = &terminator.kind {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:177:51
|
177 | !matches!(ty.ref_mutability(), Some(Mutability::Not))
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:243:34
|
243 | if matches!(terminator.kind, TerminatorKind::Call { .. })
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:181:7
|
181 | TerminatorKind::SwitchInt { .. } => {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `Span`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:272:7
|
272 | Span::merge_overlaps(all_spans)
| ^^^^ use of undeclared type `Span`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:88:7
|
88 | TerminatorKind::Call {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:127:7
|
127 | TerminatorKind::DropAndReplace { place, value, .. } => {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:27:7
|
27 | TerminatorKind::Call {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:46:7
|
46 | TyKind::FnDef(def_id, _) => def_id,
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `GenericArgKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:92:9
|
92 | GenericArgKind::Type(ty) => match ty.kind() {
| ^^^^^^^^^^^^^^ use of undeclared type `GenericArgKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:93:11
|
93 | TyKind::Closure(_, substs) => matches!(
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `ClosureKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:95:13
|
95 | ClosureKind::FnOnce | ClosureKind::FnMut
| ^^^^^^^^^^^ use of undeclared type `ClosureKind`
error[E0433]: failed to resolve: use of undeclared type `ClosureKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:95:35
|
95 | ClosureKind::FnOnce | ClosureKind::FnMut
| ^^^^^^^^^^^ use of undeclared type `ClosureKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:130:11
|
130 | TerminatorKind::Return => Some(body.terminator_loc(bb)),
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:169:34
|
169 | let parent_arg_projected = Place::make(parent_toplevel_arg.local, &projection, tcx);
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Rvalue`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:53:12
|
53 | if let Rvalue::Ref(region_pat!(region), kind, borrowed_place) = rvalue {
| ^^^^^^ use of undeclared type `Rvalue`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:42:21
|
42 | Region(Interned(RegionKind::ReVar($name), _))
| ^^^^^^^^^^ use of undeclared type `RegionKind`
...
53 | if let Rvalue::Ref(region_pat!(region), kind, borrowed_place) = rvalue {
| ------------------- in this macro invocation
|
= note: this error originates in the macro `region_pat` (in Nightly builds, run with -Z macro-backtrace for more info)
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:70:22
|
70 | self.places.push(Place::from_local(local, self.tcx));
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Rvalue`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:90:38
|
90 | let is_borrow = matches!(rvalue, Rvalue::Ref(..));
| ^^^^^^ use of undeclared type `Rvalue`
error[E0433]: failed to resolve: use of undeclared type `Rvalue`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:96:12
|
96 | if let Rvalue::Aggregate(box AggregateKind::Adt(def_id, idx, substs, _, _), _) =
| ^^^^^^ use of undeclared type `Rvalue`
error[E0433]: failed to resolve: use of undeclared type `AggregateKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:96:34
|
96 | if let Rvalue::Aggregate(box AggregateKind::Adt(def_id, idx, substs, _, _), _) =
| ^^^^^^^^^^^^^ use of undeclared type `AggregateKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:103:25
|
103 | projection.push(ProjectionElem::Field(
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Field`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:104:11
|
104 | Field::from_usize(i),
| ^^^^^ use of undeclared type `Field`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:107:9
|
107 | Place::make(place.local, &projection, self.tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:117:7
|
117 | TerminatorKind::Call { args, .. } => {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `RegionVid`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:133:39
|
133 | pub const UNKNOWN_REGION: RegionVid = RegionVid::MAX;
| ^^^^^^^^^ use of undeclared type `RegionVid`
error[E0433]: failed to resolve: use of undeclared type `RegionVid`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:166:25
|
166 | let static_region = RegionVid::from_usize(0);
| ^^^^^^^^^ use of undeclared type `RegionVid`
error[E0433]: failed to resolve: use of undeclared type `SparseBitMatrix`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:176:22
|
176 | let mut subset = SparseBitMatrix::new(num_regions);
| ^^^^^^^^^^^^^^^ use of undeclared type `SparseBitMatrix`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:192:24
|
192 | for (k, vs) in Place::from_local(local, tcx).interior_pointers(tcx, body, def_id)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:238:9
|
238 | Place::from_local(arg, tcx).interior_pointers(tcx, body, def_id)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:257:9
|
257 | Place::from_local(local, tcx).interior_pointers(tcx, body, def_id)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `VecGraph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:281:24
|
281 | let subset_graph = VecGraph::new(num_regions, edge_pairs);
| ^^^^^^^^ use of undeclared type `VecGraph`
error[E0433]: failed to resolve: use of undeclared type `Sccs`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:282:23
|
282 | let subset_sccs = Sccs::<RegionVid, RegionSccIndex>::new(&subset_graph);
| ^^^^ use of undeclared type `Sccs`
Compiling rand_core v0.6.3
error[E0433]: failed to resolve: use of undeclared type `IndexVec`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:284:7
|
284 | IndexVec::from_elem_n(HybridBitSet::new_empty(num_regions), subset_sccs.num_sccs());
| ^^^^^^^^ use of undeclared type `IndexVec`
error[E0433]: failed to resolve: use of undeclared type `HybridBitSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:284:29
|
284 | IndexVec::from_elem_n(HybridBitSet::new_empty(num_regions), subset_sccs.num_sccs());
| ^^^^^^^^^^^^ use of undeclared type `HybridBitSet`
error[E0433]: failed to resolve: use of undeclared type `RegionVid`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:286:15
|
286 | let r = RegionVid::from_usize(i);
| ^^^^^^^^^ use of undeclared type `RegionVid`
error[E0433]: failed to resolve: use of undeclared type `RegionVid`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:317:22
|
317 | contains.entry(RegionVid::from_usize(i)).or_default();
| ^^^^^^^^^ use of undeclared type `RegionVid`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:341:19
|
341 | Place::make(p.local, tcx.intern_place_elems(&full_proj), tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:416:9
|
416 | TyKind::RawPtr(TypeAndMut { ty, .. }) => (UNKNOWN_REGION, *ty),
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:417:9
|
417 | TyKind::Ref(Region(Interned(RegionKind::ReVar(region), _)), ty, _) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:417:37
|
417 | TyKind::Ref(Region(Interned(RegionKind::ReVar(region), _)), ty, _) => {
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:439:11
|
439 | Place::make(loan.local, &projection, self.tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `PlaceElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:464:53
|
464 | .take_while(|(_, elem)| !matches!(elem, PlaceElem::Deref))
| ^^^^^^^^^ use of undeclared type `PlaceElem`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:465:35
|
465 | .map(|(place_ref, _)| Place::from_ref(place_ref, self.tcx));
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:499:19
|
499 | let place = Place::from_local(local, self.tcx);
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared crate or module `ty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:36:5
|
36 | ty::WithOptConstParam::unknown(def_id),
| ^^ use of undeclared crate or module `ty`
error[E0433]: failed to resolve: use of undeclared type `Providers`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:49:23
|
49 | let mut providers = Providers::default();
| ^^^^^^^^^ use of undeclared type `Providers`
error[E0433]: failed to resolve: use of undeclared crate or module `dominators`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:22:7
|
22 | ) -> (dominators::Dominators<BasicBlock>, BodyReversed) {
| ^^^^^^^^^^ use of undeclared crate or module `dominators`
error[E0433]: failed to resolve: use of undeclared type `BasicBlock`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:24:19
|
24 | let exit_node = BasicBlock::from_usize(nblocks);
| ^^^^^^^^^^ use of undeclared type `BasicBlock`
error[E0433]: failed to resolve: use of undeclared type `BitSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:26:22
|
26 | let mut exit_set = BitSet::new_empty(nblocks);
| ^^^^^^ use of undeclared type `BitSet`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:28:44
|
28 | if matches!(bb_data.terminator().kind, TerminatorKind::Return) {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `BitSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:37:18
|
37 | unreachable: BitSet::new_empty(nblocks),
| ^^^^^^ use of undeclared type `BitSet`
error[E0433]: failed to resolve: use of undeclared crate or module `iterate`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:40:19
|
40 | let reachable = iterate::post_order_from(&graph, graph.exit_node);
| ^^^^^^^ use of undeclared crate or module `iterate`
error[E0433]: failed to resolve: use of undeclared crate or module `dominators`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:48:4
|
48 | (dominators::dominators(graph.clone()), graph)
| ^^^^^^^^^^ use of undeclared crate or module `dominators`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:51:6
|
51 | impl graph::DirectedGraph for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:55:6
|
55 | impl graph::WithNumNodes for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:62:6
|
62 | impl graph::WithStartNode for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:68:6
|
68 | impl graph::WithSuccessors for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:69:54
|
69 | fn successors(&self, node: Self::Node) -> <Self as graph::GraphSuccessors<'_>>::Iter {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:78:6
|
78 | impl graph::GraphSuccessors<'graph> for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:83:6
|
83 | impl graph::GraphPredecessors<'graph> for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:88:6
|
88 | impl graph::WithPredecessors for BodyReversed<'_> {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared crate or module `graph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:92:17
|
92 | ) -> <Self as graph::GraphPredecessors<'_>>::Iter {
| ^^^^^ use of undeclared crate or module `graph`
error[E0433]: failed to resolve: use of undeclared type `VecGraph`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:151:26
|
151 | let dominator_tree = VecGraph::new(n + 1, edges);
| ^^^^^^^^ use of undeclared type `VecGraph`
error[E0433]: failed to resolve: use of undeclared crate or module `iterate`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:152:21
|
152 | let traversal = iterate::post_order_from(&dominator_tree, body_reversed.exit_node);
| ^^^^^^^ use of undeclared crate or module `iterate`
error[E0433]: failed to resolve: use of undeclared type `IndexVec`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:155:18
|
155 | let mut df = IndexVec::from_elem_n(HybridBitSet::new_empty(n), n);
| ^^^^^^^^ use of undeclared type `IndexVec`
error[E0433]: failed to resolve: use of undeclared type `HybridBitSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:155:40
|
155 | let mut df = IndexVec::from_elem_n(HybridBitSet::new_empty(n), n);
| ^^^^^^^^^^^^ use of undeclared type `HybridBitSet`
error[E0433]: failed to resolve: use of undeclared type `SparseBitMatrix`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:172:18
|
172 | let mut cd = SparseBitMatrix::new(n);
| ^^^^^^^^^^^^^^^ use of undeclared type `SparseBitMatrix`
error[E0433]: failed to resolve: use of undeclared type `SparseBitMatrix`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:179:28
|
179 | let mut cd_transpose = SparseBitMatrix::new(n);
| ^^^^^^^^^^^^^^^ use of undeclared type `SparseBitMatrix`
error[E0433]: failed to resolve: use of undeclared crate or module `traversal`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:41:26
|
41 | for (block, data) in traversal::reachable(body) {
| ^^^^^^^^^ use of undeclared crate or module `traversal`
error[E0433]: failed to resolve: use of undeclared type `IndexVec`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:87:19
|
87 | let mut state = IndexVec::from_elem_n(bottom_value, num_locs);
| ^^^^^^^^ use of undeclared type `IndexVec`
error[E0433]: failed to resolve: use of undeclared type `Location`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:90:69
|
90 | .initialize_start_block(body, &mut state[location_domain.index(&Location::START)]);
| ^^^^^^^^ use of undeclared type `Location`
error[E0433]: failed to resolve: use of undeclared type `WorkQueue`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:92:51
|
92 | let mut dirty_queue: WorkQueue<LocationIndex> = WorkQueue::with_none(num_locs);
| ^^^^^^^^^ use of undeclared type `WorkQueue`
error[E0433]: failed to resolve: use of undeclared crate or module `traversal`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:94:26
|
94 | for (block, data) in traversal::reverse_postorder(body) {
| ^^^^^^^^^ use of undeclared crate or module `traversal`
error[E0433]: failed to resolve: use of undeclared type `Either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:107:7
|
107 | Either::Left(statement) => {
| ^^^^^^ use of undeclared type `Either`
error[E0433]: failed to resolve: use of undeclared type `Either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:111:7
|
111 | Either::Right(terminator) => {
| ^^^^^^ use of undeclared type `Either`
error[E0433]: failed to resolve: use of undeclared type `Operand`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:49:7
|
49 | Operand::Copy(place) | Operand::Move(place) => Some(*place),
| ^^^^^^^ use of undeclared type `Operand`
error[E0433]: failed to resolve: use of undeclared type `Operand`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:49:30
|
49 | Operand::Copy(place) | Operand::Move(place) => Some(*place),
| ^^^^^^^ use of undeclared type `Operand`
error[E0433]: failed to resolve: use of undeclared type `Operand`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:50:7
|
50 | Operand::Constant(_) => None,
| ^^^^^^^ use of undeclared type `Operand`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:73:15
|
73 | Mutability::Mut => Some(place),
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:74:15
|
74 | Mutability::Not => ignore_mut.then(|| place),
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0416]: identifier `Deref` is bound more than once in the same pattern
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:134:19
|
134 | (Deref, Deref) => true,
| ^^^^^ used in a pattern more than once
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:153:34
|
153 | .any(|elem| matches!(elem, ProjectionElem::Deref))
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Rvalue`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:187:7
|
187 | Rvalue::Aggregate(box AggregateKind::Adt(def_id, idx, substs, _, _), ops) => {
| ^^^^^^ use of undeclared type `Rvalue`
error[E0433]: failed to resolve: use of undeclared type `AggregateKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:187:29
|
187 | Rvalue::Aggregate(box AggregateKind::Adt(def_id, idx, substs, _, _), ops) => {
| ^^^^^^^^^^^^^ use of undeclared type `AggregateKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:201:15
|
201 | ProjectionElem::Field(Field::from_usize(i), field.ty(self.tcx, substs));
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Field`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:201:37
|
201 | ProjectionElem::Field(Field::from_usize(i), field.ty(self.tcx, substs));
| ^^^^^ use of undeclared type `Field`
error[E0433]: failed to resolve: use of undeclared crate or module `graphviz`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:238:45
|
238 | graphviz::Formatter::new(body, results, graphviz::OutputStyle::AfterOnly);
| ^^^^^^^^ use of undeclared crate or module `graphviz`
error[E0433]: failed to resolve: use of undeclared type `Either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:252:5
|
252 | Either::Left(stmt) => format!("{:?}", stmt.kind),
| ^^^^^^ use of undeclared type `Either`
error[E0433]: failed to resolve: use of undeclared type `Either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:253:5
|
253 | Either::Right(terminator) => format!("{:?}", terminator.kind),
| ^^^^^^ use of undeclared type `Either`
error[E0433]: failed to resolve: use of undeclared type `StatementKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:264:11
|
264 | StatementKind::StorageLive(..) | StatementKind::StorageDead(..)
| ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
error[E0433]: failed to resolve: use of undeclared type `StatementKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:264:44
|
264 | StatementKind::StorageLive(..) | StatementKind::StorageDead(..)
| ^^^^^^^^^^^^^ use of undeclared type `StatementKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:270:9
|
270 | TerminatorKind::FalseEdge { real_target, .. } => TerminatorKind::Goto {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:270:58
|
270 | TerminatorKind::FalseEdge { real_target, .. } => TerminatorKind::Goto {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:273:9
|
273 | TerminatorKind::FalseUnwind { real_target, .. } => TerminatorKind::Goto {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:273:60
|
273 | TerminatorKind::FalseUnwind { real_target, .. } => TerminatorKind::Goto {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:320:5
|
320 | Place::make(local, &[], tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:338:9
|
338 | ProjectionElem::Deref => {
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:360:27
|
360 | .map(|(ptr, _)| Place::from_ref(ptr, tcx)),
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `VarDebugInfoContents`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:423:11
|
423 | VarDebugInfoContents::Place(place) if place.local == self.local => info
| ^^^^^^^^^^^^^^^^^^^^ use of undeclared type `VarDebugInfoContents`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:435:9
|
435 | ProjectionElem::Deref => format!("*{s}"),
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:436:9
|
436 | ProjectionElem::Field(f, _) => {
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `AdtKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:441:15
|
441 | AdtKind::Struct => {
| ^^^^^^^ use of undeclared type `AdtKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:451:9
|
451 | ProjectionElem::Downcast(sym, _) => format!(
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:455:9
|
455 | ProjectionElem::Index(_) => format!("{s}[]"),
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `ObligationCause`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:477:11
|
477 | ObligationCause::dummy(),
| ^^^^^^^^^^^^^^^ use of undeclared type `ObligationCause`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:489:9
|
489 | ProjectionElem::Index(_) | ProjectionElem::ConstantIndex { .. } => {
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:489:36
|
489 | ProjectionElem::Index(_) | ProjectionElem::ConstantIndex { .. } => {
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:490:16
|
490 | Some(ProjectionElem::Index(Local::from_usize(0)))
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Local`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:490:38
|
490 | Some(ProjectionElem::Index(Local::from_usize(0)))
| ^^^^^ use of undeclared type `Local`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:494:9
|
494 | ProjectionElem::Subslice { .. } => None,
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:499:5
|
499 | Place::make(place.local, &projection, tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:530:7
|
530 | Place::make(self.local, &self.place_stack, self.tcx)
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:537:46
|
537 | self.visit_region(self.tcx.mk_region(RegionKind::ReVar(UNKNOWN_REGION)));
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:538:31
|
538 | self.place_stack.push(ProjectionElem::Deref);
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:543:7
|
543 | TyKind::Tuple(fields) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:545:33
|
545 | self.place_stack.push(ProjectionElem::Field(
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Field`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:546:13
|
546 | Field::from_usize(i),
| ^^^^^ use of undeclared type `Field`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:554:7
|
554 | TyKind::Adt(adt_def, subst) => match adt_def.adt_kind() {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared crate or module `ty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:555:9
|
555 | ty::AdtKind::Struct => {
| ^^ use of undeclared crate or module `ty`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:564:21
|
564 | .push(ProjectionElem::Field(Field::from_usize(i), ty));
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Field`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:564:43
|
564 | .push(ProjectionElem::Field(Field::from_usize(i), ty));
| ^^^^^ use of undeclared type `Field`
error[E0433]: failed to resolve: use of undeclared crate or module `ty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:569:9
|
569 | ty::AdtKind::Union => {
| ^^ use of undeclared crate or module `ty`
error[E0433]: failed to resolve: use of undeclared crate or module `ty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:572:9
|
572 | ty::AdtKind::Enum => {
| ^^ use of undeclared crate or module `ty`
error[E0433]: failed to resolve: use of undeclared type `VariantIdx`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:574:33
|
574 | let variant_index = VariantIdx::from_usize(i);
| ^^^^^^^^^^ use of undeclared type `VariantIdx`
error[E0433]: failed to resolve: use of undeclared type `PlaceElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:575:24
|
575 | let cast = PlaceElem::Downcast(
| ^^^^^^^^^ use of undeclared type `PlaceElem`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:582:27
|
582 | let field = ProjectionElem::Field(Field::from_usize(j), ty);
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Field`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:582:49
|
582 | let field = ProjectionElem::Field(Field::from_usize(j), ty);
| ^^^^^ use of undeclared type `Field`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:592:7
|
592 | TyKind::Array(elem_ty, _) | TyKind::Slice(elem_ty) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:592:35
|
592 | TyKind::Array(elem_ty, _) | TyKind::Slice(elem_ty) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:595:17
|
595 | .push(ProjectionElem::Index(Local::from_usize(0)));
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `Local`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:595:39
|
595 | .push(ProjectionElem::Index(Local::from_usize(0)));
| ^^^^^ use of undeclared type `Local`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:600:7
|
600 | TyKind::Ref(region, elem_ty, _) => match self.stop_at {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:603:33
|
603 | self.place_stack.push(ProjectionElem::Deref);
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:613:7
|
613 | TyKind::Closure(_, substs) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:617:7
|
617 | TyKind::RawPtr(TypeAndMut { ty, .. }) => {
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:618:46
|
618 | self.visit_region(self.tcx.mk_region(RegionKind::ReVar(UNKNOWN_REGION)));
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `ProjectionElem`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:619:31
|
619 | self.place_stack.push(ProjectionElem::Deref);
| ^^^^^^^^^^^^^^ use of undeclared type `ProjectionElem`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:624:7
|
624 | TyKind::Projection(_)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:625:9
|
625 | | TyKind::FnDef(_, _)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:626:9
|
626 | | TyKind::FnPtr(_)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:627:9
|
627 | | TyKind::Opaque(_, _)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:628:9
|
628 | | TyKind::Foreign(_)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:629:9
|
629 | | TyKind::Dynamic(_, _)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:630:9
|
630 | | TyKind::Param(_)
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `TyKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:631:9
|
631 | | TyKind::Never => {}
| ^^^^^^ use of undeclared type `TyKind`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:641:21
|
641 | places.insert(Place::make(self.local, &self.place_stack, self.tcx));
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared crate or module `ty`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:652:38
|
652 | fn visit_region(&mut self, region: ty::Region<'tcx>) -> ControlFlow<Self::BreakTy> {
| ^^ use of undeclared crate or module `ty`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:655:7
|
655 | RegionKind::ReVar(region) => region,
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:656:7
|
656 | RegionKind::ReStatic => RegionVid::from_usize(0),
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `RegionVid`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:656:31
|
656 | RegionKind::ReStatic => RegionVid::from_usize(0),
| ^^^^^^^^^ use of undeclared type `RegionVid`
error[E0433]: failed to resolve: use of undeclared type `RegionKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:657:7
|
657 | RegionKind::ReErased => {
| ^^^^^^^^^^ use of undeclared type `RegionKind`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:666:64
|
666 | .any(|ty| ty.is_ref() && ty.ref_mutability().unwrap() == Mutability::Not)
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:668:7
|
668 | Mutability::Not
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0433]: failed to resolve: use of undeclared type `Mutability`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:670:7
|
670 | Mutability::Mut
| ^^^^^^^^^^ use of undeclared type `Mutability`
error[E0433]: failed to resolve: use of undeclared type `Place`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:673:17
|
673 | let place = Place::make(self.local, &self.place_stack, self.tcx);
| ^^^^^ use of undeclared type `Place`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:719:9
|
719 | TerminatorKind::Return => Some(Location {
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `VarDebugInfoContents`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:757:9
|
757 | VarDebugInfoContents::Place(place) => Some((place.local, info.name)),
| ^^^^^^^^^^^^^^^^^^^^ use of undeclared type `VarDebugInfoContents`
error[E0433]: failed to resolve: use of undeclared type `Span`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:803:21
|
803 | child_spans = Span::merge_overlaps(child_spans);
| ^^^^ use of undeclared type `Span`
error[E0433]: failed to resolve: use of undeclared type `SyntaxContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:853:30
|
853 | *span = span.with_ctxt(SyntaxContext::root());
| ^^^^^^^^^^^^^ use of undeclared type `SyntaxContext`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:29:7
|
29 | intravisit::walk_body(self, self.tcx.hir().body(id));
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `Visitor`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:47:16
|
47 | <Self as Visitor<'tcx>>::visit_item(self, item);
| ^^^^^^^ use of undeclared type `Visitor`
error[E0433]: failed to resolve: use of undeclared type `Visitor`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:51:16
|
51 | <Self as Visitor<'tcx>>::visit_impl_item(self, impl_item);
| ^^^^^^^ use of undeclared type `Visitor`
error[E0433]: failed to resolve: use of undeclared type `FileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:134:7
|
134 | FileName::Real(RealFileName::LocalPath(filename)) => {
| ^^^^^^^^ use of undeclared type `FileName`
error[E0433]: failed to resolve: use of undeclared type `RealFileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:134:22
|
134 | FileName::Real(RealFileName::LocalPath(filename)) => {
| ^^^^^^^^^^^^ use of undeclared type `RealFileName`
error[E0433]: failed to resolve: use of undeclared type `FileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:159:9
|
159 | FileName::Real(RealFileName::LocalPath(other)) => {
| ^^^^^^^^ use of undeclared type `FileName`
error[E0433]: failed to resolve: use of undeclared type `RealFileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:159:24
|
159 | FileName::Real(RealFileName::LocalPath(other)) => {
| ^^^^^^^^^^^^ use of undeclared type `RealFileName`
error[E0433]: failed to resolve: use of undeclared type `FileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:173:15
|
173 | FileName::Real(RealFileName::LocalPath(other)) =>
| ^^^^^^^^ use of undeclared type `FileName`
error[E0433]: failed to resolve: use of undeclared type `RealFileName`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:173:30
|
173 | FileName::Real(RealFileName::LocalPath(other)) =>
| ^^^^^^^^^^^^ use of undeclared type `RealFileName`
error[E0433]: failed to resolve: use of undeclared type `Span`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:194:8
|
194 | Ok(Span::with_root_ctxt(
| ^^^^ use of undeclared type `Span`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:46:7
|
46 | ExprKind::Block(..) => {
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:47:9
|
47 | intravisit::walk_expr(self, ex);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:49:7
|
49 | ExprKind::Match(_, arms, MatchSource::ForLoopDesugar) => {
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared type `MatchSource`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:49:32
|
49 | ExprKind::Match(_, arms, MatchSource::ForLoopDesugar) => {
| ^^^^^^^^^^^ use of undeclared type `MatchSource`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:51:11
|
51 | intravisit::walk_arm(self, arm);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:106:5
|
106 | intravisit::walk_expr(self, expr);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:111:7
|
111 | ExprKind::Loop(_, _, _, header) => {
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:114:7
|
114 | ExprKind::Break(..) => {
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:122:9
|
122 | intravisit::walk_expr(&mut visitor, expr);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:144:13
|
144 | node: Node::Expr(expr),
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:149:5
|
149 | intravisit::walk_stmt(self, stmt);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:157:5
|
157 | intravisit::walk_stmt(&mut visitor, stmt);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:163:13
|
163 | node: Node::Stmt(stmt),
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:168:5
|
168 | intravisit::walk_param(self, param);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:181:13
|
181 | node: Node::Param(param),
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:188:14
|
188 | pub place: mir::Place<'tcx>,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:190:17
|
190 | pub location: mir::Location,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:198:13
|
198 | place: &mir::Place<'tcx>,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:200:15
|
200 | location: mir::Location,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared type `PlaceContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:214:7
|
214 | PlaceContext::MutatingUse(MutatingUseContext::Store)
| ^^^^^^^^^^^^ use of undeclared type `PlaceContext`
error[E0433]: failed to resolve: use of undeclared type `MutatingUseContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:214:33
|
214 | PlaceContext::MutatingUse(MutatingUseContext::Store)
| ^^^^^^^^^^^^^^^^^^ use of undeclared type `MutatingUseContext`
error[E0433]: failed to resolve: use of undeclared type `PlaceContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:215:9
|
215 | | PlaceContext::NonMutatingUse(NonMutatingUseContext::Inspect) => {
| ^^^^^^^^^^^^ use of undeclared type `PlaceContext`
error[E0433]: failed to resolve: use of undeclared type `NonMutatingUseContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:215:38
|
215 | | PlaceContext::NonMutatingUse(NonMutatingUseContext::Inspect) => {
| ^^^^^^^^^^^^^^^^^^^^^ use of undeclared type `NonMutatingUseContext`
error[E0433]: failed to resolve: use of undeclared type `PlaceContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:219:7
|
219 | PlaceContext::NonUse(NonUseContext::VarDebugInfo)
| ^^^^^^^^^^^^ use of undeclared type `PlaceContext`
error[E0433]: failed to resolve: use of undeclared type `NonUseContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:219:28
|
219 | PlaceContext::NonUse(NonUseContext::VarDebugInfo)
| ^^^^^^^^^^^^^ use of undeclared type `NonUseContext`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:248:17
|
248 | statement: &mir::Statement<'tcx>,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:249:15
|
249 | location: mir::Location,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:253:12
|
253 | if let mir::StatementKind::Assign(box (lhs, _)) = &statement.kind {
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:267:18
|
267 | terminator: &mir::Terminator<'tcx>,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:268:15
|
268 | location: mir::Location,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:273:7
|
273 | mir::TerminatorKind::Call {
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:277:7
|
277 | mir::TerminatorKind::DropAndReplace { place, .. } => *place,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:300:13
|
300 | body: &'a mir::Body<'tcx>,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:355:15
|
355 | location: mir::Location,
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:401:49
|
401 | add_first_where!(|node| matches!(node.node, Node::Stmt(_)));
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:407:9
|
407 | Node::Expr(hir::Expr {
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared type `Either`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:414:17
|
414 | if let Some(Either::Right(mir::Terminator {
| ^^^^^^ use of undeclared type `Either`
error[E0433]: failed to resolve: use of undeclared crate or module `mir`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:414:31
|
414 | if let Some(Either::Right(mir::Terminator {
| ^^^ use of undeclared crate or module `mir`
error[E0433]: failed to resolve: use of undeclared type `TerminatorKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:415:13
|
415 | kind: TerminatorKind::SwitchInt { .. },
| ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind`
error[E0433]: failed to resolve: use of undeclared type `Node`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:423:11
|
423 | Node::Expr(hir::Expr {
| ^^^^ use of undeclared type `Node`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:424:19
|
424 | kind: ExprKind::If(..) | ExprKind::Loop(..),
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared type `ExprKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:424:38
|
424 | kind: ExprKind::If(..) | ExprKind::Loop(..),
| ^^^^^^^^ use of undeclared type `ExprKind`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:534:5
|
534 | intravisit::walk_item(self, item);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared crate or module `intravisit`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:538:5
|
538 | intravisit::walk_impl_item(self, impl_item);
| ^^^^^^^^^^ use of undeclared crate or module `intravisit`
error[E0433]: failed to resolve: use of undeclared type `ItemKind`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:72:9
|
72 | ItemKind::Fn(_, _, body) => Some(body),
| ^^^^^^^^ use of undeclared type `ItemKind`
error[E0433]: failed to resolve: use of undeclared type `Span`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:190:3
|
190 | Span::new(
| ^^^^ use of undeclared type `Span`
error[E0433]: failed to resolve: use of undeclared type `SyntaxContext`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:193:5
|
193 | SyntaxContext::root(),
| ^^^^^^^^^^^^^ use of undeclared type `SyntaxContext`
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/cached.rs:7:35
|
7 | pub struct Cache<In, Out>(RefCell<HashMap<In, Pin<Box<Out>>>>);
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/cached.rs:29:24
|
29 | Cache(RefCell::new(HashMap::default()))
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/cached.rs:33:39
|
33 | pub struct CopyCache<In, Out>(RefCell<HashMap<In, Out>>);
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/cached.rs:50:28
|
50 | CopyCache(RefCell::new(HashMap::default()))
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:16:16
|
16 | to_index_impl!(Location);
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:18:23
|
18 | impl IndexedValue for Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `LocationIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:19:16
|
19 | type Index = LocationIndex;
| ^^^^^^^^^^^^^ help: a type alias with a similar name exists: `LocationSet`
...
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| --------------------------------------------------------------------- similarly named type alias `LocationSet` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:23:35
|
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:23:57
|
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `LocationIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:25:25
|
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| --------------------------------------------------------------------- similarly named type alias `LocationSet` defined here
24 | pub struct LocationDomain {
25 | domain: DefaultDomain<LocationIndex, Location>,
| ^^^^^^^^^^^^^
|
help: a type alias with a similar name exists
|
25 | domain: DefaultDomain<LocationSet, Location>,
| ~~~~~~~~~~~
help: you might be missing a type parameter
|
24 | pub struct LocationDomain<LocationIndex> {
| +++++++++++++++
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:25:40
|
25 | domain: DefaultDomain<LocationIndex, Location>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:26:14
|
26 | arg_block: BasicBlock,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:33:21
|
33 | pub fn new(body: &Body<'tcx>) -> Rc<Self> {
| ^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:63:55
|
63 | let arg_locations = (0 .. body.arg_count).map(|i| Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:101:40
|
101 | pub fn arg_to_location(&self, local: Local) -> LocationIndex {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `LocationIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:101:50
|
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| --------------------------------------------------------------------- similarly named type alias `LocationSet` defined here
...
101 | pub fn arg_to_location(&self, local: Local) -> LocationIndex {
| ^^^^^^^^^^^^^ help: a type alias with a similar name exists: `LocationSet`
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:102:20
|
102 | let location = Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:109:58
|
109 | pub fn location_to_local(&self, location: impl ToIndex<Location>) -> Option<Local> {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:109:79
|
32 | impl LocationDomain {
| - help: you might be missing a type parameter: `<Local>`
...
109 | pub fn location_to_local(&self, location: impl ToIndex<Location>) -> Option<Local> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `LocationIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:117:16
|
23 | pub type LocationSet<S = OwnedSet<Location>> = IndexSet<Location, S>;
| --------------------------------------------------------------------- similarly named type alias `LocationSet` defined here
...
117 | type Index = LocationIndex;
| ^^^^^^^^^^^^^ help: a type alias with a similar name exists: `LocationSet`
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:118:16
|
118 | type Value = Location;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `IndexVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:132:24
|
132 | fn as_vec(&self) -> &IndexVec<Self::Index, Self::Value> {
| ^^^^^^^^ help: a struct with a similar name exists: `IndexSet`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:188:1
|
188 | pub struct IndexSet<T: IndexedValue, S = OwnedSet<T>> {
| ----------------------------------------------------- similarly named struct `IndexSet` defined here
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:137:27
|
137 | pub type PlaceSet<'tcx> = HashSet<Place<'tcx>>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/impls.rs:137:35
|
137 | pub type PlaceSet<'tcx> = HashSet<Place<'tcx>>;
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Idx` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:20:15
|
20 | type Index: Idx + ToIndex<Self>;
| ^^^ not found in this scope
error[E0405]: cannot find trait `Idx` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:67:15
|
67 | type Index: Idx = <Self::Value as IndexedValue>::Index;
| ^^^ not found in this scope
error[E0412]: cannot find type `IndexVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:71:24
|
71 | fn as_vec(&self) -> &IndexVec<Self::Index, Self::Value>;
| ^^^^^^^^ help: a struct with a similar name exists: `IndexSet`
...
188 | pub struct IndexSet<T: IndexedValue, S = OwnedSet<T>> {
| ----------------------------------------------------- similarly named struct `IndexSet` defined here
error[E0405]: cannot find trait `Idx` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:87:29
|
87 | pub struct DefaultDomain<I: Idx, T> {
| ^^^ not found in this scope
error[E0412]: cannot find type `IndexVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:88:19
|
88 | index_to_value: IndexVec<I, T>,
| ^^^^^^^^ help: a struct with a similar name exists: `IndexSet`
...
188 | pub struct IndexSet<T: IndexedValue, S = OwnedSet<T>> {
| ----------------------------------------------------- similarly named struct `IndexSet` defined here
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:89:19
|
89 | value_to_index: HashMap<T, I>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0405]: cannot find trait `Idx` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:92:9
|
92 | impl<I: Idx, T: IndexedValue> DefaultDomain<I, T> {
| ^^^ not found in this scope
error[E0405]: cannot find trait `Idx` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:106:9
|
106 | impl<I: Idx, T: IndexedValue> IndexedDomain for DefaultDomain<I, T> {
| ^^^ not found in this scope
error[E0412]: cannot find type `IndexVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:125:24
|
125 | fn as_vec(&self) -> &IndexVec<Self::Index, Self::Value> {
| ^^^^^^^^ help: a struct with a similar name exists: `IndexSet`
...
188 | pub struct IndexSet<T: IndexedValue, S = OwnedSet<T>> {
| ----------------------------------------------------- similarly named struct `IndexSet` defined here
error[E0412]: cannot find type `BitSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:130:28
|
130 | pub type IndexSetImpl<T> = BitSet<T>;
| ^^^^^^ help: a struct with a similar name exists: `MutSet`
...
136 | pub struct MutSet<'a, T: IndexedValue>(&'a mut IndexSetImpl<T::Index>);
| ----------------------------------------------------------------------- similarly named struct `MutSet` defined here
error[E0405]: cannot find trait `JoinSemiLattice` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:285:39
|
285 | impl<T: IndexedValue, S: ToSetMut<T>> JoinSemiLattice for IndexSet<T, S> {
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `DebugWithContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:330:52
|
330 | impl<T: IndexedValue + fmt::Debug, S: ToSet<T>, C> DebugWithContext<C> for IndexSet<T, S>
| ^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:392:11
|
392 | matrix: HashMap<R, IndexSetImpl<C::Index>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:402:15
|
402 | matrix: HashMap::default(),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0405]: cannot find trait `JoinSemiLattice` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:491:37
|
491 | impl<R: RowBounds, C: IndexedValue> JoinSemiLattice for IndexMatrix<R, C> {
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `DebugWithContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/indexed/mod.rs:543:68
|
543 | impl<R: RowBounds + fmt::Debug, C: IndexedValue + fmt::Debug, Ctx> DebugWithContext<Ctx>
| ^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:35:41
|
35 | pub type FlowDomain<'tcx> = IndexMatrix<Place<'tcx>, Location>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:35:54
|
35 | pub type FlowDomain<'tcx> = IndexMatrix<Place<'tcx>, Location>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:38:12
|
38 | pub tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:39:15
|
39 | pub def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:40:17
|
40 | pub body: &'a Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:43:32
|
43 | crate recurse_cache: RefCell<HashMap<BodyId, FlowResults<'a, 'tcx>>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:43:40
|
37 | pub struct FlowAnalysis<'a, 'tcx> {
| - help: you might be missing a type parameter: `, BodyId`
...
43 | crate recurse_cache: RefCell<HashMap<BodyId, FlowResults<'a, 'tcx>>>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:48:10
|
48 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:49:13
|
49 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:50:15
|
50 | body: &'a Body<'tcx>,
| ^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:54:38
|
54 | let recurse_cache = RefCell::new(HashMap::default());
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:72:14
|
72 | mutated: Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:73:16
|
73 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:73:36
|
73 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:74:15
|
74 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:97:28
|
97 | let add_deps = |place: Place<'tcx>, location_deps: &mut LocationSet| {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:181:22
|
181 | .collect::<HashSet<_>>();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0405]: cannot find trait `AnalysisDomain` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:194:6
|
194 | impl AnalysisDomain<'tcx> for FlowAnalysis<'a, 'tcx> {
| ^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Forward` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:196:20
|
196 | type Direction = Forward;
| ^^^^^^^ not found in this scope
|
help: there is an enum variant `crate::infoflow::Direction::Forward`; try using the variant's enum
|
196 | type Direction = crate::infoflow::Direction;
| ~~~~~~~~~~~~~~~~~~~~~~~~~~
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:199:34
|
199 | fn bottom_value(&self, _body: &Body<'tcx>) -> Self::Domain {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:203:44
|
203 | fn initialize_start_block(&self, _body: &Body<'tcx>, state: &mut Self::Domain) {
| ^^^^ not found in this scope
error[E0405]: cannot find trait `Analysis` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:216:6
|
216 | impl Analysis<'tcx> for FlowAnalysis<'a, 'tcx> {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Statement` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:220:17
|
220 | statement: &Statement<'tcx>,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:221:15
|
221 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:227:17
|
227 | |mutated: Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:228:19
|
228 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:228:39
|
228 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:229:18
|
229 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Terminator` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:240:18
|
240 | terminator: &Terminator<'tcx>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:241:15
|
241 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:254:17
|
254 | |mutated: Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:255:19
|
255 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:255:39
|
255 | inputs: &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:256:18
|
256 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/analysis.rs:267:13
|
267 | _block: BasicBlock,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:37:19
|
37 | targets: Vec<(Place<'tcx>, Location)>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:37:32
|
37 | targets: Vec<(Place<'tcx>, Location)>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:88:26
|
88 | opt_location: Option<Location>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0405]: cannot find trait `ResultsVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:136:6
|
136 | impl ResultsVisitor<'mir, 'tcx> for DepVisitor<'_, 'mir, 'tcx> {
| ^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlockData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:142:24
|
142 | _block_data: &'mir BasicBlockData<'tcx>,
| ^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:143:12
|
143 | block: BasicBlock,
| ^^^^^^^^^^ not found in this scope
error[E0425]: cannot find value `START_BLOCK` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:145:17
|
145 | if block == START_BLOCK {
| ^^^^^^^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:148:28
|
148 | let mut to_check = HashSet::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Statement` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:158:22
|
158 | statement: &'mir Statement<'tcx>,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:159:15
|
159 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:178:15
|
178 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:182:63
|
182 | let to_check = state.rows().map(|(p, _)| p).collect::<HashSet<_>>();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:204:21
|
204 | targets: Vec<Vec<(Place<'tcx>, Location)>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:204:34
|
204 | targets: Vec<Vec<(Place<'tcx>, Location)>>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:239:21
|
239 | targets: Vec<Vec<(Place<'tcx>, Location)>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:239:34
|
239 | targets: Vec<Vec<(Place<'tcx>, Location)>>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/dependencies.rs:242:14
|
237 | pub fn compute_dependency_spans(
| - help: you might be missing a type parameter: `<Span>`
...
242 | ) -> Vec<Vec<Span>> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:23:5
|
23 | Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:24:8
|
24 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:24:28
|
24 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:25:5
|
25 | Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:30:8
|
30 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:31:13
|
31 | body: &'a Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:32:11
|
32 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:38:5
|
38 | Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:39:8
|
39 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:39:28
|
39 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:40:5
|
40 | Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:44:19
|
44 | pub fn new(tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, def_id: DefId, f: F) -> Self {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:44:43
|
44 | pub fn new(tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, def_id: DefId, f: F) -> Self {
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:44:63
|
44 | pub fn new(tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, def_id: DefId, f: F) -> Self {
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Visitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:54:15
|
54 | impl<'tcx, F> Visitor<'tcx> for ModularMutationVisitor<'_, 'tcx, F>
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:57:5
|
57 | Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:58:8
|
58 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:58:28
|
58 | &[(Place<'tcx>, Option<PlaceElem<'tcx>>)],
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:59:5
|
59 | Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:65:13
|
65 | place: &Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Rvalue` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:66:14
|
66 | rvalue: &Rvalue<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:67:15
|
67 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Terminator` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:83:47
|
83 | fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:83:75
|
83 | fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mutation.rs:94:36
|
94 | let inputs_for_arg = |arg: Place<'tcx>| {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TerminatorKind` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:22:12
|
22 | call: &TerminatorKind<'tcx>,
| ^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:23:15
|
23 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:139:45
|
139 | let translate_child_to_parent = |child: Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:141:16
|
141 | -> Option<Place<'tcx>> {
| ^^^^^ not found in this scope
error[E0425]: cannot find value `RETURN_PLACE` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:142:25
|
142 | if child.local == RETURN_PLACE && child.projection.len() == 0 {
| ^^^^^^^^^^^^ not found in this scope
error[E0425]: cannot find value `RETURN_PLACE` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/recursive.rs:176:41
|
176 | let was_return = child.local == RETURN_PLACE;
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mod.rs:36:38
|
36 | pub static BODY_STACK: RefCell<Vec<BodyId>> =
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mod.rs:44:8
|
44 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mod.rs:45:12
|
45 | body_id: BodyId,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/infoflow/mod.rs:46:24
|
46 | body_with_facts: &'a BodyWithBorrowckFacts<'tcx>,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:37:17
|
36 | struct GatherBorrows<'tcx> {
| - help: you might be missing a type parameter: `, RegionVid`
37 | borrows: Vec<(RegionVid, BorrowKind, Place<'tcx>)>,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BorrowKind` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:37:28
|
36 | struct GatherBorrows<'tcx> {
| - help: you might be missing a type parameter: `, BorrowKind`
37 | borrows: Vec<(RegionVid, BorrowKind, Place<'tcx>)>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:37:40
|
37 | borrows: Vec<(RegionVid, BorrowKind, Place<'tcx>)>,
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Visitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:46:6
|
46 | impl Visitor<'tcx> for GatherBorrows<'tcx> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:49:14
|
49 | _place: &Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Rvalue` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:50:14
|
50 | rvalue: &Rvalue<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:51:16
|
51 | _location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0531]: cannot find tuple struct or tuple variant `Region` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:42:5
|
42 | Region(Interned(RegionKind::ReVar($name), _))
| ^^^^^^ not found in this scope
...
53 | if let Rvalue::Ref(region_pat!(region), kind, borrowed_place) = rvalue {
| ------------------- in this macro invocation
|
= note: this error originates in the macro `region_pat` (in Nightly builds, run with -Z macro-backtrace for more info)
error[E0531]: cannot find tuple struct or tuple variant `Interned` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:42:12
|
42 | Region(Interned(RegionKind::ReVar($name), _))
| ^^^^^^^^ not found in this scope
...
53 | if let Rvalue::Ref(region_pat!(region), kind, borrowed_place) = rvalue {
| ------------------- in this macro invocation
|
= note: this error originates in the macro `region_pat` (in Nightly builds, run with -Z macro-backtrace for more info)
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:60:8
|
60 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:61:13
|
61 | body: &'a Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:62:11
|
62 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:63:15
|
63 | places: Vec<Place<'tcx>>,
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Visitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:66:6
|
66 | impl Visitor<'tcx> for FindPlaces<'_, 'tcx> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:69:41
|
69 | fn visit_local_decl(&mut self, local: Local, _local_decl: &LocalDecl<'tcx>) {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `LocalDecl` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:69:62
|
69 | fn visit_local_decl(&mut self, local: Local, _local_decl: &LocalDecl<'tcx>) {
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:75:13
|
75 | place: &Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:76:15
|
76 | _context: PlaceContext,
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:77:16
|
77 | _location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:84:13
|
84 | place: &Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Rvalue` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:85:14
|
85 | rvalue: &Rvalue<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:86:15
|
86 | location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Terminator` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:113:47
|
113 | fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:113:75
|
113 | fn visit_terminator(&mut self, terminator: &Terminator<'tcx>, location: Location) {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:131:22
|
131 | type LoanMap<'tcx> = HashMap<RegionVid, HashSet<Place<'tcx>>>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:131:30
|
131 | type LoanMap<'tcx> = HashMap<RegionVid, HashSet<Place<'tcx>>>;
| - ^^^^^^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `, RegionVid`
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:131:41
|
131 | type LoanMap<'tcx> = HashMap<RegionVid, HashSet<Place<'tcx>>>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:131:49
|
131 | type LoanMap<'tcx> = HashMap<RegionVid, HashSet<Place<'tcx>>>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:133:27
|
133 | pub const UNKNOWN_REGION: RegionVid = RegionVid::MAX;
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:137:12
|
137 | pub tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:138:17
|
138 | pub body: &'a Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:139:15
|
139 | pub def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:146:31
|
146 | normalized_cache: CopyCache<Place<'tcx>, Place<'tcx>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:146:44
|
146 | normalized_cache: CopyCache<Place<'tcx>, Place<'tcx>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:147:24
|
147 | aliases_cache: Cache<Place<'tcx>, PlaceSet<'tcx>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:148:26
|
148 | conflicts_cache: Cache<Place<'tcx>, PlaceSet<'tcx>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:149:26
|
149 | reachable_cache: Cache<Place<'tcx>, PlaceSet<'tcx>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:160:10
|
160 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:161:13
|
161 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:162:26
|
162 | body_with_facts: &'a BodyWithBorrowckFacts<'tcx>,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:190:35
|
190 | let mut region_to_pointers: HashMap<_, Vec<_>> = HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:190:56
|
190 | let mut region_to_pointers: HashMap<_, Vec<_>> = HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:209:39
|
209 | let mut contains: LoanMap<'tcx> = HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:210:23
|
210 | let mut definite: HashMap<RegionVid, (Ty<'tcx>, Vec<PlaceElem<'tcx>>)> =
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:210:31
|
158 | impl Aliases<'a, 'tcx> {
| - help: you might be missing a type parameter: `<RegionVid>`
...
210 | let mut definite: HashMap<RegionVid, (Ty<'tcx>, Vec<PlaceElem<'tcx>>)> =
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Ty` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:210:43
|
210 | let mut definite: HashMap<RegionVid, (Ty<'tcx>, Vec<PlaceElem<'tcx>>)> =
| ^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:210:57
|
210 | let mut definite: HashMap<RegionVid, (Ty<'tcx>, Vec<PlaceElem<'tcx>>)> =
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:282:1
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:211:7
|
211 | HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:282:30
|
158 | impl Aliases<'a, 'tcx> {
| - help: you might be missing a type parameter: `<RegionVid>`
...
282 | let subset_sccs = Sccs::<RegionVid, RegionSccIndex>::new(&subset_graph);
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `RegionSccIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:282:41
|
158 | impl Aliases<'a, 'tcx> {
| - help: you might be missing a type parameter: `<RegionSccIndex>`
...
282 | let subset_sccs = Sccs::<RegionVid, RegionSccIndex>::new(&subset_graph);
| ^^^^^^^^^^^^^^ not found in this scope
error[E0425]: cannot find function `reverse_post_order` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:290:21
|
290 | let scc_order = reverse_post_order(&subset_sccs, subset_sccs.scc(static_region));
| ^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:366:10
|
366 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:367:13
|
367 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:368:26
|
368 | body_with_facts: &'a BodyWithBorrowckFacts<'tcx>,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:391:34
|
391 | pub fn normalize(&self, place: Place<'tcx>) -> Place<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:391:50
|
391 | pub fn normalize(&self, place: Place<'tcx>) -> Place<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:397:32
|
397 | pub fn aliases(&self, place: Place<'tcx>) -> &PlaceSet<'tcx> {
| ^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:401:25
|
401 | let mut aliases = HashSet::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0422]: cannot find struct, variant or union type `TypeAndMut` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:416:24
|
416 | TyKind::RawPtr(TypeAndMut { ty, .. }) => (UNKNOWN_REGION, *ty),
| ^^^^^^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Region` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:417:21
|
417 | TyKind::Ref(Region(Interned(RegionKind::ReVar(region), _)), ty, _) => {
| ^^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Interned` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:417:28
|
417 | TyKind::Ref(Region(Interned(RegionKind::ReVar(region), _)), ty, _) => {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:451:33
|
451 | pub fn children(&self, place: Place<'tcx>) -> PlaceSet<'tcx> {
| ^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:452:5
|
452 | HashSet::from_iter(place.interior_places(self.tcx, self.body, self.def_id))
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:455:34
|
455 | pub fn conflicts(&self, place: Place<'tcx>) -> &PlaceSet<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:472:41
|
472 | pub fn reachable_values(&self, place: Place<'tcx>) -> &PlaceSet<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:496:54
|
496 | pub fn all_args(&'a self) -> impl Iterator<Item = (Place<'tcx>, LocationIndex)> + 'a {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:522:28
|
522 | state: &'a IndexMatrix<Place<'tcx>, Location>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:522:41
|
522 | state: &'a IndexMatrix<Place<'tcx>, Location>,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:523:12
|
523 | place: Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:524:31
|
524 | ) -> LocationSet<RefSet<'a, Location>> {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:530:8
|
530 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:531:10
|
531 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:532:24
|
532 | region_to_pointers: &HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:532:32
|
529 | pub fn generate_conservative_constraints<'tcx>(
| - help: you might be missing a type parameter: `, RegionVid`
...
532 | region_to_pointers: &HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:532:48
|
532 | region_to_pointers: &HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Mutability` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:532:61
|
529 | pub fn generate_conservative_constraints<'tcx>(
| - help: you might be missing a type parameter: `, Mutability`
...
532 | region_to_pointers: &HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:533:11
|
529 | pub fn generate_conservative_constraints<'tcx>(
| - help: you might be missing a type parameter: `, RegionVid`
...
533 | ) -> Vec<(RegionVid, RegionVid)> {
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/aliases.rs:533:22
|
529 | pub fn generate_conservative_constraints<'tcx>(
| - help: you might be missing a type parameter: `, RegionVid`
...
533 | ) -> Vec<(RegionVid, RegionVid)> {
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Providers` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:18:15
|
18 | local: &mut Providers,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `ExternProviders` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:19:19
|
19 | _external: &mut ExternProviders,
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `LocalDefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:25:28
|
25 | static MIR_BODIES: Cache<LocalDefId, BodyWithBorrowckFacts<'static>> = Cache::default();
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:25:40
|
25 | static MIR_BODIES: Cache<LocalDefId, BodyWithBorrowckFacts<'static>> = Cache::default();
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:28:28
|
28 | fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> mir_borrowck<'tcx> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `LocalDefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:28:50
|
28 | fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> mir_borrowck<'tcx> {
| ^^^^^^^^^^ not found in this scope
error[E0573]: expected type, found function `mir_borrowck`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:28:65
|
28 | fn mir_borrowck<'tcx>(tcx: TyCtxt<'tcx>, def_id: LocalDefId) -> mir_borrowck<'tcx> {
| ^^^^^^^^^^^^^^^^^^ not a type
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:43:24
|
43 | let body_with_facts: BodyWithBorrowckFacts<'static> =
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:56:8
|
56 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `LocalDefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:57:11
|
57 | def_id: LocalDefId,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:58:12
|
58 | ) -> &'tcx BodyWithBorrowckFacts<'tcx> {
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:64:10
|
64 | &BodyWithBorrowckFacts<'static>,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/borrowck_facts.rs:65:15
|
65 | &'tcx BodyWithBorrowckFacts<'tcx>,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:14:9
|
14 | body: Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:15:14
|
15 | exit_node: BasicBlock,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BitSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:16:13
|
16 | exit_set: BitSet<BasicBlock>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:16:20
|
13 | pub struct BodyReversed<'tcx> {
| - help: you might be missing a type parameter: `, BasicBlock`
...
16 | exit_set: BitSet<BasicBlock>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BitSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:17:16
|
17 | unreachable: BitSet<BasicBlock>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:17:23
|
13 | pub struct BodyReversed<'tcx> {
| - help: you might be missing a type parameter: `, BasicBlock`
...
17 | unreachable: BitSet<BasicBlock>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:21:9
|
21 | body: Body,
| ^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:22:30
|
20 | pub fn compute_post_dominators(
| - help: you might be missing a type parameter: `<BasicBlock>`
21 | body: Body,
22 | ) -> (dominators::Dominators<BasicBlock>, BodyReversed) {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:52:15
|
52 | type Node = BasicBlock;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:79:15
|
79 | type Item = BasicBlock;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:80:39
|
78 | impl graph::GraphSuccessors<'graph> for BodyReversed<'_> {
| - help: you might be missing a type parameter: `<BasicBlock>`
79 | type Item = BasicBlock;
80 | type Iter = Box<dyn Iterator<Item = BasicBlock> + 'graph>;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:84:15
|
84 | type Item = BasicBlock;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:85:39
|
83 | impl graph::GraphPredecessors<'graph> for BodyReversed<'_> {
| - help: you might be missing a type parameter: `<BasicBlock>`
84 | type Item = BasicBlock;
85 | type Iter = Box<dyn Iterator<Item = BasicBlock> + 'graph>;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `SparseBitMatrix` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:106:32
|
106 | pub struct ControlDependencies(SparseBitMatrix<BasicBlock, BasicBlock>);
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:106:48
|
106 | pub struct ControlDependencies(SparseBitMatrix<BasicBlock, BasicBlock>);
| - ^^^^^^^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `<BasicBlock>`
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:106:60
|
106 | pub struct ControlDependencies(SparseBitMatrix<BasicBlock, BasicBlock>);
| - ^^^^^^^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `<BasicBlock>`
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:136:22
|
136 | pub fn build(body: Body) -> Self {
| ^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:191:37
|
191 | pub fn dependent_on(&self, block: BasicBlock) -> Option<&HybridBitSet<BasicBlock>> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `HybridBitSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:191:60
|
191 | pub fn dependent_on(&self, block: BasicBlock) -> Option<&HybridBitSet<BasicBlock>> {
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/control_dependencies.rs:191:73
|
132 | impl ControlDependencies {
| - help: you might be missing a type parameter: `<BasicBlock>`
...
191 | pub fn dependent_on(&self, block: BasicBlock) -> Option<&HybridBitSet<BasicBlock>> {
| ^^^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `Analysis` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:30:37
|
30 | pub struct AnalysisResults<'tcx, A: Analysis<'tcx>> {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `IndexVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:33:10
|
33 | state: IndexVec<LocationIndex, A::Domain>,
| ^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `Analysis` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:36:9
|
36 | impl<A: Analysis<'tcx>> AnalysisResults<'tcx, A> {
| ^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `ResultsVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:39:8
|
39 | V: ResultsVisitor<'mir, 'tcx, FlowState = A::Domain>,
| ^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:37:59
|
37 | pub fn visit_reachable_with<'mir, V>(&self, body: &'mir Body<'tcx>, visitor: &mut V)
| ^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:43:24
|
43 | let location = Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
14 | use core::panic::Location;
|
14 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:71:36
|
71 | pub fn state_at(&self, location: Location) -> &A::Domain {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
14 | use core::panic::Location;
|
14 | use std::panic::Location;
|
error[E0405]: cannot find trait `Analysis` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:76:37
|
76 | pub fn iterate_to_fixpoint<'tcx, A: Analysis<'tcx>>(
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:77:9
|
77 | _tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:78:10
|
78 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `WorkQueue` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:92:24
|
92 | let mut dirty_queue: WorkQueue<LocationIndex> = WorkQueue::with_none(num_locs);
| ^^^^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:96:51
|
96 | dirty_queue.insert(location_domain.index(&Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
14 | use core::panic::Location;
|
14 | use std::panic::Location;
|
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/engine.rs:115:24
|
115 | .map(|block| Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
14 | use core::panic::Location;
|
14 | use std::panic::Location;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:43:32
|
43 | fn to_place(&self) -> Option<Place<'tcx>>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Operand` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:46:27
|
46 | impl OperandExt<'tcx> for Operand<'tcx> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:47:32
|
47 | fn to_place(&self) -> Option<Place<'tcx>> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:56:19
|
56 | args: &[(usize, Place<'tcx>)],
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:57:8
|
57 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:58:10
|
58 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:59:11
|
59 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:60:18
|
60 | ) -> Vec<(usize, Place<'tcx>)> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Operand` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:82:33
|
82 | pub fn arg_places<'tcx>(args: &[Operand<'tcx>]) -> Vec<(usize, Place<'tcx>)> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:82:64
|
82 | pub fn arg_places<'tcx>(args: &[Operand<'tcx>]) -> Vec<(usize, Place<'tcx>)> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:91:11
|
91 | mut h1: HashMap<K, V>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:92:7
|
92 | h2: HashMap<K, V>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:94:6
|
94 | ) -> HashMap<K, V> {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:121:25
|
121 | pub fn of(part_place: Place<'tcx>, whole_place: Place<'tcx>) -> Self {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:121:51
|
121 | pub fn of(part_place: Place<'tcx>, whole_place: Place<'tcx>) -> Self {
| ^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:135:12
|
135 | (Field(f1, _), Field(f2, _)) => f1 == f2,
| ^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Field` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:135:26
|
135 | (Field(f1, _), Field(f2, _)) => f1 == f2,
| ^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:136:12
|
136 | (Index(_), Index(_)) => true,
| ^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Index` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:136:22
|
136 | (Index(_), Index(_)) => true,
| ^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:137:12
|
137 | (ConstantIndex { .. }, ConstantIndex { .. }) => true,
| ^^^^^^^^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `ConstantIndex` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:137:34
|
137 | (ConstantIndex { .. }, ConstantIndex { .. }) => true,
| ^^^^^^^^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Subslice` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:138:12
|
138 | (Subslice { .. }, Subslice { .. }) => true,
| ^^^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Subslice` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:138:29
|
138 | (Subslice { .. }, Subslice { .. }) => true,
| ^^^^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:139:12
|
139 | (Downcast(_, v1), Downcast(_, v2)) => v1 == v2,
| ^^^^^^^^ not found in this scope
error[E0531]: cannot find tuple struct or tuple variant `Downcast` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:139:29
|
139 | (Downcast(_, v1), Downcast(_, v2)) => v1 == v2,
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:171:12
|
171 | pub tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:172:20
|
172 | pub places: Vec<(Place<'tcx>, Option<PlaceElem<'tcx>>)>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:172:40
|
172 | pub places: Vec<(Place<'tcx>, Option<PlaceElem<'tcx>>)>,
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
...
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
error[E0405]: cannot find trait `Visitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:175:6
|
175 | impl Visitor<'tcx> for PlaceCollector<'tcx> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:178:13
|
178 | place: &Place<'tcx>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:179:15
|
179 | _context: PlaceContext,
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:180:16
|
180 | _location: Location,
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Rvalue` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:185:39
|
185 | fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:185:63
|
185 | fn visit_rvalue(&mut self, rvalue: &Rvalue<'tcx>, location: Location) {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0405]: cannot find trait `Analysis` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:234:6
|
234 | A: Analysis<'tcx>,
| ^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `DebugWithContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:235:14
|
235 | A::Domain: DebugWithContext<A>,
| ^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:228:10
|
228 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `Results` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:229:13
|
229 | results: &Results<'tcx, A>,
| ^^^^^^^ help: a type alias with a similar name exists: `Result`
|
::: /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/anyhow-1.0.55/src/lib.rs:449:1
|
449 | pub type Result<T, E = Error> = core::result::Result<T, E>;
| ----------------------------------------------------------- similarly named type alias `Result` defined here
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:230:12
|
230 | _def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:231:9
|
231 | _tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared crate or module `graphviz`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:238:15
|
238 | graphviz::Formatter::new(body, results, graphviz::OutputStyle::AfterOnly);
| ^^^^^^^^^ not found in `graphviz`
|
help: consider importing one of these items
|
1 | use core::fmt::Formatter;
|
1 | use std::fmt::Formatter;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:250:37
|
250 | pub fn location_to_string(location: Location, body: &Body<'_>) -> String {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:250:54
|
250 | pub fn location_to_string(location: Location, body: &Body<'_>) -> String {
| ^^^^ not found in this scope
error[E0405]: cannot find trait `MirPass` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:258:6
|
258 | impl MirPass<'tcx> for SimplifyMir {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:259:28
|
259 | fn run_pass(&self, _tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:259:53
|
259 | fn run_pass(&self, _tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:283:18
|
283 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:283:39
|
283 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:283:62
|
283 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:284:22
|
284 | fn from_ref(place: PlaceRef<'tcx>, tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:284:43
|
284 | fn from_ref(place: PlaceRef<'tcx>, tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:285:24
|
285 | fn from_local(local: Local, tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:285:36
|
285 | fn from_local(local: Local, tcx: TyCtxt<'tcx>) -> Self;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:286:27
|
286 | fn is_arg(&self, body: &Body<'tcx>) -> bool;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:287:30
|
287 | fn is_direct(&self, body: &Body<'tcx>) -> bool;
| ^^^^ not found in this scope
error[E0412]: cannot find type `SmallVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:288:35
|
288 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]>;
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:288:46
|
288 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]>;
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:288:64
|
288 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]>;
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:289:47
|
289 | fn place_and_refs_in_projection(&self, tcx: TyCtxt<'tcx>)
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `SmallVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:290:8
|
290 | -> SmallVec<[Place<'tcx>; 2]>;
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:290:18
|
290 | -> SmallVec<[Place<'tcx>; 2]>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:293:10
|
293 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:294:12
|
294 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:295:13
|
295 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:296:8
|
296 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:296:16
|
282 | pub trait PlaceExt<'tcx> {
| - help: you might be missing a type parameter: `, RegionVid`
...
296 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>;
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:296:32
|
296 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Mutability` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:296:45
|
282 | pub trait PlaceExt<'tcx> {
| - help: you might be missing a type parameter: `, Mutability`
...
296 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:299:10
|
299 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:300:12
|
300 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:301:13
|
301 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:302:12
|
302 | ) -> Vec<Place<'tcx>>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:303:28
|
303 | fn to_string(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>) -> Option<String>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:303:49
|
303 | fn to_string(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>) -> Option<String>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:304:28
|
304 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:304:50
|
304 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:304:60
|
304 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:307:25
|
307 | impl PlaceExt<'tcx> for Place<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:308:18
|
308 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:308:39
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
...
308 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:308:62
|
308 | fn make(local: Local, projection: &[PlaceElem<'tcx>], tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:309:5
|
309 | Place {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:315:22
|
315 | fn from_ref(place: PlaceRef<'tcx>, tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:315:43
|
315 | fn from_ref(place: PlaceRef<'tcx>, tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:319:24
|
319 | fn from_local(local: Local, tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:319:36
|
319 | fn from_local(local: Local, tcx: TyCtxt<'tcx>) -> Self {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:323:27
|
323 | fn is_arg(&self, body: &Body<'tcx>) -> bool {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:328:30
|
328 | fn is_direct(&self, body: &Body<'tcx>) -> bool {
| ^^^^ not found in this scope
error[E0412]: cannot find type `SmallVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:332:35
|
332 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]> {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:332:46
|
332 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]> {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:332:64
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
...
332 | fn refs_in_projection(&self) -> SmallVec<[(PlaceRef<'tcx>, &[PlaceElem<'tcx>]); 2]> {
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
error[E0422]: cannot find struct, variant or union type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:339:21
|
339 | let ptr = PlaceRef {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:353:10
|
353 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `SmallVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:354:8
|
354 | ) -> SmallVec<[Place<'tcx>; 2]> {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:354:18
|
354 | ) -> SmallVec<[Place<'tcx>; 2]> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:367:10
|
367 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:368:12
|
368 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:369:13
|
369 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:370:8
|
370 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>> {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:370:16
|
307 | impl PlaceExt<'tcx> for Place<'tcx> {
| - help: you might be missing a type parameter: `<RegionVid>`
...
370 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>> {
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:370:32
|
370 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Mutability` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:370:45
|
307 | impl PlaceExt<'tcx> for Place<'tcx> {
| - help: you might be missing a type parameter: `<Mutability>`
...
370 | ) -> HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>> {
| ^^^^^^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:378:16
|
378 | regions: HashMap::default(),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:395:10
|
395 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:396:12
|
396 | body: &Body<'tcx>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:397:13
|
397 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:398:12
|
398 | ) -> Vec<Place<'tcx>> {
| ^^^^^ not found in this scope
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:406:16
|
406 | regions: HashMap::default(),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:407:20
|
407 | places: Some(HashSet::default()),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:415:28
|
415 | fn to_string(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>) -> Option<String> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:415:49
|
415 | fn to_string(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>) -> Option<String> {
| ^^^^ not found in this scope
error[E0425]: cannot find value `RETURN_PLACE` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:416:39
|
416 | let local_name = if self.local == RETURN_PLACE {
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceRef` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:434:35
|
434 | |s: String, (place, elem): (PlaceRef<'tcx>, PlaceElem<'tcx>)| match elem {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:434:51
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
...
434 | |s: String, (place, elem): (PlaceRef<'tcx>, PlaceElem<'tcx>)| match elem {
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:466:28
|
466 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:466:50
|
466 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:466:60
|
466 | fn normalize(&self, tcx: TyCtxt<'tcx>, def_id: DefId) -> Place<'tcx> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:511:8
|
511 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `DefId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:512:11
|
512 | def_id: DefId,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:513:10
|
513 | local: Local,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceElem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:514:20
|
282 | pub trait PlaceExt<'tcx> {
| ------------------------ similarly named trait `PlaceExt` defined here
...
514 | place_stack: Vec<PlaceElem<'tcx>>,
| ^^^^^^^^^ help: a trait with a similar name exists: `PlaceExt`
error[E0412]: cannot find type `Ty` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:515:17
|
515 | ty_stack: Vec<Ty<'tcx>>,
| ^^ not found in this scope
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:516:18
|
516 | places: Option<HashSet<Place<'tcx>>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:516:26
|
516 | places: Option<HashSet<Place<'tcx>>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:517:17
|
517 | types: Option<HashSet<Ty<'tcx>>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashSet;
|
error[E0412]: cannot find type `Ty` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:517:25
|
517 | types: Option<HashSet<Ty<'tcx>>>,
| ^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:518:12
|
518 | regions: HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `RegionVid` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:518:20
|
510 | struct CollectRegions<'tcx> {
| - help: you might be missing a type parameter: `, RegionVid`
...
518 | regions: HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Place` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:518:36
|
518 | regions: HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Mutability` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:518:49
|
510 | struct CollectRegions<'tcx> {
| - help: you might be missing a type parameter: `, Mutability`
...
518 | regions: HashMap<RegionVid, Vec<(Place<'tcx>, Mutability)>>,
| ^^^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `TypeVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:522:6
|
522 | impl TypeVisitor<'tcx> for CollectRegions<'tcx> {
| ^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Ty` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:523:30
|
523 | fn visit_ty(&mut self, ty: Ty<'tcx>) -> ControlFlow<Self::BreakTy> {
| ^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `TypeAndMut` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:617:22
|
617 | TyKind::RawPtr(TypeAndMut { ty, .. }) => {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:691:44
|
691 | type AllReturnsIter<'a>: Iterator<Item = Location>
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:696:46
|
696 | type AllLocationsIter<'a>: Iterator<Item = Location>
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:701:39
|
701 | type LocationsIter: Iterator<Item = Location>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:702:39
|
702 | fn locations_in_block(&self, block: BasicBlock) -> Self::LocationsIter;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:704:36
|
704 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:704:44
|
690 | pub trait BodyExt<'tcx> {
| - help: you might be missing a type parameter: `, Local`
...
704 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol>;
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Symbol` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:704:51
|
690 | pub trait BodyExt<'tcx> {
| - help: you might be missing a type parameter: `, Symbol`
...
704 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:706:28
|
706 | fn to_string(&self, tcx: TyCtxt<'tcx>) -> Result<String>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:709:24
|
709 | impl BodyExt<'tcx> for Body<'tcx> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:713:26
|
713 | = impl Iterator<Item = Location>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:719:40
|
719 | TerminatorKind::Return => Some(Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:730:26
|
730 | = impl Iterator<Item = Location>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:736:69
|
736 | (0 .. data.statements.len() + 1).map(move |statement_index| Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:743:45
|
743 | type LocationsIter = impl Iterator<Item = Location>;
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `BasicBlock` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:744:39
|
744 | fn locations_in_block(&self, block: BasicBlock) -> Self::LocationsIter {
| ^^^^^^^^^^ not found in this scope
error[E0422]: cannot find struct, variant or union type `Location` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:746:50
|
746 | (0 ..= num_stmts).map(move |statement_index| Location {
| ^^^^^^^^ not found in this scope
|
help: consider importing one of these items
|
1 | use core::panic::Location;
|
1 | use std::panic::Location;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:752:36
|
752 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol> {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
1 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Local` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:752:44
|
709 | impl BodyExt<'tcx> for Body<'tcx> {
| - help: you might be missing a type parameter: `<Local>`
...
752 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol> {
| ^^^^^ not found in this scope
error[E0412]: cannot find type `Symbol` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:752:51
|
709 | impl BodyExt<'tcx> for Body<'tcx> {
| - help: you might be missing a type parameter: `<Symbol>`
...
752 | fn debug_info_name_map(&self) -> HashMap<Local, Symbol> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:763:28
|
763 | fn to_string(&self, tcx: TyCtxt<'tcx>) -> Result<String> {
| ^^^^^^ not found in this scope
error[E0425]: cannot find function `write_mir_fn` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:765:5
|
765 | write_mir_fn(tcx, self, &mut |_, _| Ok(()), &mut buffer)?;
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:771:39
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
771 | fn subtract(&self, child_spans: Vec<Span>) -> Vec<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:771:53
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
771 | fn subtract(&self, child_spans: Vec<Span>) -> Vec<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:772:27
|
772 | fn as_local(&self, tcx: TyCtxt<'tcx>) -> Option<Span>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:772:51
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
771 | fn subtract(&self, child_spans: Vec<Span>) -> Vec<Span>;
772 | fn as_local(&self, tcx: TyCtxt<'tcx>) -> Option<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:773:39
|
773 | fn overlaps_inclusive(&self, other: Span) -> bool;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:774:29
|
774 | fn trim_end(&self, other: Span) -> Option<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:774:45
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
...
774 | fn trim_end(&self, other: Span) -> Option<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:775:32
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
...
775 | fn merge_overlaps(spans: Vec<Span>) -> Vec<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:775:46
|
770 | pub trait SpanExt {
| - help: you might be missing a type parameter: `<Span>`
...
775 | fn merge_overlaps(spans: Vec<Span>) -> Vec<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:776:28
|
776 | fn to_string(&self, tcx: TyCtxt<'_>) -> String;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:780:18
|
780 | impl SpanExt for Span {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:781:29
|
781 | fn trim_end(&self, other: Span) -> Option<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:781:45
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
781 | fn trim_end(&self, other: Span) -> Option<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:797:43
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
...
797 | fn subtract(&self, mut child_spans: Vec<Span>) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:797:57
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
...
797 | fn subtract(&self, mut child_spans: Vec<Span>) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:825:27
|
825 | fn as_local(&self, tcx: TyCtxt<'_>) -> Option<Span> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:825:49
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
...
825 | fn as_local(&self, tcx: TyCtxt<'_>) -> Option<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:842:39
|
842 | fn overlaps_inclusive(&self, other: Span) -> bool {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:848:36
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
...
848 | fn merge_overlaps(mut spans: Vec<Span>) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:848:50
|
780 | impl SpanExt for Span {
| - help: you might be missing a type parameter: `<Span>`
...
848 | fn merge_overlaps(mut spans: Vec<Span>) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:873:28
|
873 | fn to_string(&self, tcx: TyCtxt<'_>) -> String {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/mir/utils.rs:896:22
|
896 | impl SpanDataExt for SpanData {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:20:27
|
20 | pub fn qpath_to_span(tcx: TyCtxt, qpath: String) -> Result<Span> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:20:60
|
20 | pub fn qpath_to_span(tcx: TyCtxt, qpath: String) -> Result<Span> {
| - ^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `<Span>`
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:22:10
|
22 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:24:18
|
21 | struct Finder<'tcx> {
| - help: you might be missing a type parameter: `, Span`
...
24 | span: Option<Span>,
| ^^^^ not found in this scope
error[E0405]: cannot find trait `Visitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:27:8
|
27 | impl Visitor<'tcx> for Finder<'tcx> {
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:28:41
|
28 | fn visit_nested_body(&mut self, id: BodyId) {
| ^^^^^^ not found in this scope
error[E0405]: cannot find trait `ItemLikeVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:42:8
|
42 | impl ItemLikeVisitor<'hir> for Finder<'tcx>
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:79:31
|
79 | spans: impl Iterator<Item = Span>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `SourceMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:80:16
|
80 | source_map: &SourceMap,
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:131:26
|
131 | pub fn from_span(span: Span, source_map: &SourceMap) -> Result<Self> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `SourceMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:131:45
|
131 | pub fn from_span(span: Span, source_map: &SourceMap) -> Result<Self> {
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `MappedReadGuard` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:151:16
|
151 | files: &'a MappedReadGuard<'_, MonotonicVec<Lrc<SourceFile>>>,
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `MonotonicVec` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:151:36
|
151 | files: &'a MappedReadGuard<'_, MonotonicVec<Lrc<SourceFile>>>,
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Lrc` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:151:49
|
151 | files: &'a MappedReadGuard<'_, MonotonicVec<Lrc<SourceFile>>>,
| ^^^ not found in this scope
error[E0412]: cannot find type `SourceFile` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:151:53
|
87 | impl Range {
| - help: you might be missing a type parameter: `<SourceFile>`
...
151 | files: &'a MappedReadGuard<'_, MonotonicVec<Lrc<SourceFile>>>,
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `SourceFile` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:152:19
|
87 | impl Range {
| - help: you might be missing a type parameter: `<SourceFile>`
...
152 | ) -> Result<&'a SourceFile> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:185:26
|
185 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span>;
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:185:50
|
184 | pub trait ToSpan: Send + Sync {
| - help: you might be missing a type parameter: `<Span>`
185 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span>;
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:189:26
|
189 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:189:50
|
188 | impl ToSpan for Range {
| - help: you might be missing a type parameter: `<Span>`
189 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span> {
| ^^^^ not found in this scope
error[E0425]: cannot find function, tuple struct or tuple variant `BytePos` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:195:16
|
195 | offset + BytePos(self.byte_start as u32),
| ^^^^^^^ not found in this scope
error[E0425]: cannot find function, tuple struct or tuple variant `BytePos` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:196:16
|
196 | offset + BytePos(self.byte_end as u32),
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:207:26
|
207 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/range.rs:207:50
|
206 | impl ToSpan for FunctionIdentifier {
| - help: you might be missing a type parameter: `<Span>`
207 | fn to_span(&self, tcx: TyCtxt<'tcx>) -> Result<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:38:14
|
37 | struct ChildExprSpans<'tcx> {
| - help: you might be missing a type parameter: `, Span`
38 | spans: Vec<Span>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:39:8
|
39 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0405]: cannot find trait `HirVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:41:6
|
41 | impl HirVisitor<'hir> for ChildExprSpans<'_> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:77:9
|
77 | full: SpanData,
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:78:14
|
76 | pub struct HirSpannedNode<'hir> {
| - help: you might be missing a type parameter: `, Span`
77 | full: SpanData,
78 | outer: Vec<Span>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:83:60
|
82 | impl HirSpannedNode<'_> {
| - help: you might be missing a type parameter: `<Span>`
83 | fn get_spans(&self, span_type: EnclosingHirSpans) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0405]: cannot find trait `HirVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:104:6
|
104 | impl HirVisitor<'hir> for HirSpanCollector<'_, '_, 'hir, '_> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Stmt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:148:40
|
148 | fn visit_stmt(&mut self, stmt: &'hir Stmt<'hir>) {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Param` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:167:42
|
167 | fn visit_param(&mut self, param: &'hir Param<'hir>) {
| ^^^^^ not found in this scope
|
help: there is an enum variant `core::fmt::rt::v1::Count::Param` and 1 other; try using the variant's enum
|
167 | fn visit_param(&mut self, param: &'hir core::fmt::rt::v1::Count) {
| ~~~~~~~~~~~~~~~~~~~~~~~~
167 | fn visit_param(&mut self, param: &'hir std::fmt::rt::v1::Count) {
| ~~~~~~~~~~~~~~~~~~~~~~~
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:189:13
|
189 | pub span: SpanData,
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:189:13
|
187 | pub struct MirSpannedPlace<'tcx> {
| - help: you might be missing a type parameter: `, SpanData`
188 | pub place: mir::Place<'tcx>,
189 | pub span: SpanData,
| ^^^^^^^^ not found in this scope
error[E0405]: cannot find trait `MirVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:195:6
|
195 | impl MirVisitor<'tcx> for MirSpanCollector<'_, '_, '_, 'tcx> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `PlaceContext` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:199:14
|
199 | context: PlaceContext,
| ^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:297:18
|
297 | pub body_span: Span,
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:298:18
|
298 | pub item_span: Span,
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:299:8
|
299 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:307:19
|
307 | pub fn new(tcx: TyCtxt<'tcx>, body_id: BodyId, body: &'a Body<'tcx>) -> Self {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:307:42
|
307 | pub fn new(tcx: TyCtxt<'tcx>, body_id: BodyId, body: &'a Body<'tcx>) -> Self {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Body` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:307:60
|
307 | pub fn new(tcx: TyCtxt<'tcx>, body_id: BodyId, body: &'a Body<'tcx>) -> Self {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:336:36
|
336 | pub fn invalid_span(&self, span: Span) -> bool {
| ^^^^ not found in this scope
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:343:24
|
343 | predicate: impl Fn(SpanData) -> bool,
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `SpanData` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:344:34
|
344 | spans: impl Iterator<Item = (SpanData, T)>,
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:358:12
|
303 | impl Spanner<'a, 'hir, 'tcx>
| - help: you might be missing a type parameter: `<Span>`
...
358 | ) -> Vec<Span> {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:431:34
|
431 | let format_spans = |spans: &[Span]| -> String {
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:451:11
|
451 | span: Span,
| ^^^^ not found in this scope
error[E0412]: cannot find type `Expr` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:488:24
|
488 | fn expr_to_string(ex: &Expr) -> String {
| ^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:493:8
|
493 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:494:16
|
492 | struct BodyFinder<'tcx> {
| - help: you might be missing a type parameter: `, Span`
493 | tcx: TyCtxt<'tcx>,
494 | bodies: Vec<(Span, BodyId)>,
| ^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:494:22
|
492 | struct BodyFinder<'tcx> {
| - help: you might be missing a type parameter: `, BodyId`
493 | tcx: TyCtxt<'tcx>,
494 | bodies: Vec<(Span, BodyId)>,
| ^^^^^^ not found in this scope
error[E0405]: cannot find trait `HirVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:497:6
|
497 | impl HirVisitor<'tcx> for BodyFinder<'tcx> {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `OnlyBodies` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:498:23
|
498 | type NestedFilter = OnlyBodies;
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:504:39
|
504 | fn visit_nested_body(&mut self, id: BodyId) {
| ^^^^^^ not found in this scope
error[E0405]: cannot find trait `ItemLikeVisitor` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:532:6
|
532 | impl ItemLikeVisitor<'tcx> for BodyFinder<'tcx> {
| ^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `Item` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:533:40
|
533 | fn visit_item(&mut self, item: &'tcx Item<'tcx>) {
| ^^^^ not found in this scope
error[E0412]: cannot find type `ImplItem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:537:50
|
537 | fn visit_impl_item(&mut self, impl_item: &'tcx ImplItem<'tcx>) {
| ^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TraitItem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:541:53
|
541 | fn visit_trait_item(&mut self, _trait_item: &'tcx TraitItem<'tcx>) {}
| ^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `ForeignItem` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:542:57
|
542 | fn visit_foreign_item(&mut self, _foreign_item: &'tcx ForeignItem<'tcx>) {}
| ^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:545:25
|
545 | pub fn find_bodies(tcx: TyCtxt<'tcx>) -> Vec<(Span, BodyId)> {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:545:47
|
545 | pub fn find_bodies(tcx: TyCtxt<'tcx>) -> Vec<(Span, BodyId)> {
| - ^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `<Span>`
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:545:53
|
545 | pub fn find_bodies(tcx: TyCtxt<'tcx>) -> Vec<(Span, BodyId)> {
| - ^^^^^^ not found in this scope
| |
| help: you might be missing a type parameter: `<BodyId>`
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:556:8
|
556 | tcx: TyCtxt<'tcx>,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:557:7
|
557 | sp: Span,
| ^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/source_map.rs:558:27
|
558 | ) -> impl Iterator<Item = BodyId> {
| ^^^^^^ not found in this scope
error[E0405]: cannot find trait `FileLoader` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:24:6
|
24 | impl FileLoader for StringLoader {
| ^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:49:35
|
49 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:49:49
|
49 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:49:58
|
49 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
Compiling crossbeam-deque v0.8.1
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:65:35
|
65 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyId` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:65:49
|
65 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `BodyWithBorrowckFacts` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:65:58
|
65 | callback: impl for<'tcx> FnOnce(TyCtxt<'tcx>, BodyId, &BodyWithBorrowckFacts<'tcx>) + Send,
| ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:86:64
|
86 | pub fn compile(input: impl Into<String>, callback: impl FnOnce(TyCtxt<'_>) + Send) {
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `TyCtxt` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:111:14
|
111 | Cb: FnOnce(TyCtxt<'_>),
| ^^^^^^ not found in this scope
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:130:21
|
130 | pub type RangeMap = HashMap<&'static str, Vec<(usize, usize)>>;
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:146:19
|
146 | let mut ranges: HashMap<_, Vec<_>> = HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0433]: failed to resolve: use of undeclared type `HashMap`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:146:40
|
146 | let mut ranges: HashMap<_, Vec<_>> = HashMap::default();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:189:47
|
189 | pub fn make_span((lo, hi): (usize, usize)) -> Span {
| ^^^^ not found in this scope
error[E0425]: cannot find function, tuple struct or tuple variant `BytePos` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:191:5
|
191 | BytePos(lo as u32),
| ^^^^^^^ not found in this scope
error[E0425]: cannot find function, tuple struct or tuple variant `BytePos` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:192:5
|
192 | BytePos(hi as u32),
| ^^^^^^^ not found in this scope
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:198:57
|
198 | pub fn color_ranges(prog: &str, all_ranges: Vec<(&str, &HashSet<Range>)>) -> String {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:228:31
|
228 | fn fmt_ranges(prog: &str, s: &HashSet<Range>) -> String {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:232:33
|
232 | pub fn compare_ranges(expected: HashSet<Range>, actual: HashSet<Range>, prog: &str) {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:232:57
|
232 | pub fn compare_ranges(expected: HashSet<Range>, actual: HashSet<Range>, prog: &str) {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:236:19
|
236 | let check = |s: HashSet<Range>, message: &str| {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:248:53
|
248 | pub fn bless(path: &Path, contents: String, actual: HashSet<Range>) -> Result<()> {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:272:22
|
272 | ) -> Result<(String, HashMap<&'static str, Vec<Range>>)> {
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `HashMap` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:286:16
|
286 | .collect::<HashMap<_, _>>();
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashMap;
|
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:296:7
|
296 | Span,
| ^^^^ not found in this scope
error[E0412]: cannot find type `Span` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:297:14
|
290 | pub fn test_command_output(
| - help: you might be missing a type parameter: `<Span>`
...
297 | ) -> Vec<Span>
| ^^^^ not found in this scope
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:335:29
|
335 | .collect::<Result<HashSet<_>>>()
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0412]: cannot find type `HashSet` in this scope
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:347:72
|
347 | Some(ranges) => ranges.clone().into_iter().collect::<HashSet<_>>(),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
error[E0433]: failed to resolve: use of undeclared type `HashSet`
--> /Users/thomvil/.cargo/registry/src/github.com-1ecc6299db9ec823/flowistry-0.5.8/src/test_utils.rs:348:27
|
348 | None => HashSet::default(),
| ^^^^^^^ not found in this scope
|
help: consider importing this struct
|
3 | use std::collections::HashSet;
|
Compiling rand_chacha v0.3.1
Some errors have detailed explanations: E0405, E0412, E0416, E0422, E0425, E0432, E0433, E0463, E0531...
For more information about an error, try `rustc --explain E0405`.
error: could not compile `flowistry` due to 771 previous errors
warning: build failed, waiting for other jobs to finish...
error: failed to compile `flowistry_ide v0.5.8`, intermediate artifacts can be found at `/var/folders/fv/wqry7np90s58_6rslbjz2z880000gn/T/cargo-installyUWR1L`
Caused by:
build failed
Updated 0 packages.
Failed to update flowistry_ide.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment