get it to build

source/rust_verify/Cargo.toml

@@ -20,6 +20,7 @@ internals_interface = { path = "../tools/internals_interface" }
 indicatif = "0.17.7"
 console = { version = "0.15", default-features = false, features = ["ansi-parsing"] }
 indexmap = { version = "1" }
+rustc_mir_build_verus = { path = "../rustc_mir_build" }
 
 [target.'cfg(windows)'.dependencies]
 win32job = "1"

source/rustc_mir_build/Cargo.toml

@@ -1,28 +1,10 @@
 [package]
-name = "rustc_mir_build"
+name = "rustc_mir_build_verus"
 version = "0.0.0"
 edition = "2021"
 
 [dependencies]
 # tidy-alphabetical-start
-either = "1.5.0"
 itertools = "0.12"
-rustc_apfloat = "0.2.0"
-rustc_arena = { path = "../rustc_arena" }
-rustc_ast = { path = "../rustc_ast" }
-rustc_data_structures = { path = "../rustc_data_structures" }
-rustc_errors = { path = "../rustc_errors" }
-rustc_fluent_macro = { path = "../rustc_fluent_macro" }
-rustc_hir = { path = "../rustc_hir" }
-rustc_index = { path = "../rustc_index" }
-rustc_infer = { path = "../rustc_infer" }
-rustc_lint = { path = "../rustc_lint" }
-rustc_macros = { path = "../rustc_macros" }
-rustc_middle = { path = "../rustc_middle" }
-rustc_pattern_analysis = { path = "../rustc_pattern_analysis" }
-rustc_session = { path = "../rustc_session" }
-rustc_span = { path = "../rustc_span" }
-rustc_target = { path = "../rustc_target" }
-rustc_trait_selection = { path = "../rustc_trait_selection" }
 tracing = "0.1"
 # tidy-alphabetical-end