delete formality-decl, formality-mir

Author: nikomatsakis

Cargo.lock

@@ -22,8 +22,6 @@ members = [
     "crates/formality-macros",
     "crates/formality-core",
     "crates/formality-types",
-    "crates/formality-decl",
-    "crates/formality-mir",
     "crates/formality-check",
     "crates/formality-rust",
     "crates/formality-main",

Cargo.toml

@@ -9,8 +9,7 @@ edition = "2021"
 formality-types = { path = "../formality-types" }
 formality-macros = { path = "../formality-macros" }
 formality-core = { path = "../formality-core" }
-formality-decl = { path = "../formality-decl" }
-formality-mir = { path = "../formality-mir" }
+formality-rust = { path = "../formality-rust" }
 tracing = "0.1"
 contracts = "0.6.3"
 anyhow = "1.0.66"