Merge pull request #134 from spastorino/smir-to-formality

Smir to formality basic set-up

Author: nikomatsakis

Cargo.lock

@@ -23,6 +23,7 @@ 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" }
 ui_test = "0.12"
 
 [workspace]
@@ -33,6 +34,7 @@ members = [
     "crates/formality-check",
     "crates/formality-rust",
     "crates/formality-prove",
+    "crates/formality-smir",
 ]
 
 [[test]]

Cargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "formality-smir"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+formality-types = { path = "../formality-types" }

crates/formality-smir/Cargo.toml

@@ -0,0 +1,28 @@
+#![feature(rustc_private)]
+
+extern crate rustc_driver;
+extern crate rustc_smir;
+
+use rustc_smir::stable_mir;
+
+/// Trait used to convert from Stable MIR to Formality types.
+pub trait ToFormality {
+    /// The formality representation of the stable MIR type implementing ToFormality.
+    type T;
+    /// Converts an object to the equivalent Formality representation.
+    fn formality(&self) -> Self::T;
+}
+
+impl ToFormality for stable_mir::ty::GenericParamDefKind {
+    type T = formality_types::derive_links::ParameterKind;
+
+    fn formality(&self) -> Self::T {
+        use formality_types::derive_links::ParameterKind;
+
+        match self {
+            stable_mir::ty::GenericParamDefKind::Lifetime => ParameterKind::Lt,
+            stable_mir::ty::GenericParamDefKind::Type { .. } => ParameterKind::Ty,
+            stable_mir::ty::GenericParamDefKind::Const { .. } => ParameterKind::Const,
+        }
+    }
+}

crates/formality-smir/src/lib.rs

@@ -1,2 +1,3 @@
 [toolchain]
-channel = "stable"
+channel = "nightly"
+components = [ "rustc-dev", "llvm-tools" ]