rename to a-mir-formality

formality is taken on crates.io

Author: nikomatsakis

Cargo.lock

@@ -1,5 +1,5 @@
 [package]
-name = "formality"
+name = "a-mir-formality"
 version = "0.1.0"
 edition = "2021"
 license = "MIT OR APACHE-2"

Cargo.toml

@@ -1,3 +1,3 @@
 fn main() -> anyhow::Result<()> {
-    formality_core::with_tracing_logs(formality::main)
+    formality_core::with_tracing_logs(a_mir_formality::main)
 }

src/main.rs

@@ -1,4 +1,4 @@
-use formality::test_where_clause;
+use a_mir_formality::test_where_clause;
 
 const MIRROR: &str = "[
     crate core {

tests/associated_type_normalization.rs

@@ -1,6 +1,6 @@
 #![allow(non_snake_case)] // we embed type names into the names for our test functions
 
-use formality::test_program_ok;
+use a_mir_formality::test_program_ok;
 use formality_macros::test;
 
 #[test]

tests/coherence_overlap.rs

@@ -1,4 +1,4 @@
-use formality::test_where_clause;
+use a_mir_formality::test_where_clause;
 
 const NORMALIZE_BASIC: &str = "[
     crate test {
@@ -260,7 +260,6 @@ const PROJECTION_EQUALITY: &str = "[
     }
 ]";
 
-
 #[test]
 fn projection_equality() {
     expect_test::expect![[r#"