kill formality-smir

Author: nikomatsakis

Cargo.lock

@@ -10,9 +10,6 @@ readme = "README.md"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
-[package.metadata.rust-analyzer]
-rustc_private=true
-
 [dev-dependencies]
 pretty_assertions = "1.3.0"
 expect-test = "1.4.0"
@@ -29,7 +26,6 @@ formality-types = { version = "0.1.0", path = "crates/formality-types" }
 formality-check = { version = "0.1.0", path = "crates/formality-check" }
 formality-prove = { version = "0.1.0", path = "crates/formality-prove" }
 formality-core = { version = "0.1.0", path = "crates/formality-core" }
-formality-smir = { version = "0.1.0", path = "crates/formality-smir" }
 expect-test = "1.4.0"
 
 [workspace]
@@ -40,5 +36,4 @@ members = [
     "crates/formality-check",
     "crates/formality-rust",
     "crates/formality-prove",
-    "crates/formality-smir",
 ]

Cargo.toml

@@ -1,4 +1,4 @@
 [toolchain]
-channel = "nightly-2024-06-16"
-components = ["rustc-dev", "rustfmt", "cargo", "llvm-tools"]
+channel = "nightly"
+components = ["rustc-dev", "rustfmt", "cargo"]
 profile = "minimal"

crates/formality-smir/Cargo.toml

@@ -1,13 +1,5 @@
-#![feature(rustc_private)]
 #![feature(control_flow_enum)]
 
-#[macro_use]
-extern crate rustc_smir;
-extern crate rustc_driver;
-extern crate rustc_interface;
-extern crate rustc_middle;
-extern crate stable_mir;
-
 use std::{path::PathBuf, sync::Arc};
 
 use clap::Parser;