Type check generic native types

7 files changed, 47 insertions, 0 deletions

diff --git a/examples/14-imports/output/rust/.gitignore b/examples/14-imports/output/rust/.gitignore
new file mode 100644
index 0000000..ea8c4bf
--- /dev/null
+++ b/examples/14-imports/output/rust/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/examples/14-imports/output/rust/Cargo.lock b/examples/14-imports/output/rust/Cargo.lock
new file mode 100644
index 0000000..9dc6e3e
--- /dev/null
+++ b/examples/14-imports/output/rust/Cargo.lock
@@ -0,0 +1,7 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "example"
+version = "0.1.0"
diff --git a/examples/14-imports/output/rust/Cargo.toml b/examples/14-imports/output/rust/Cargo.toml
new file mode 100644
index 0000000..5d4c622
--- /dev/null
+++ b/examples/14-imports/output/rust/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "example"
+version = "0.1.0"
+edition = "2024"
+
+[dependencies]
diff --git a/examples/14-imports/output/rust/rust-toolchain.toml b/examples/14-imports/output/rust/rust-toolchain.toml
new file mode 100644
index 0000000..4fedb95
--- /dev/null
+++ b/examples/14-imports/output/rust/rust-toolchain.toml
@@ -0,0 +1,2 @@
+[toolchain]
+channel = "1.96"
diff --git a/examples/14-imports/output/rust/src/lib.rs b/examples/14-imports/output/rust/src/lib.rs
new file mode 100644
index 0000000..ffbcbf4
--- /dev/null
+++ b/examples/14-imports/output/rust/src/lib.rs
@@ -0,0 +1,15 @@
+mod line;
+mod point;
+
+#[cfg(test)]
+mod test {
+    use super::line::Line;
+    use super::point::Point;
+
+    #[test]
+    fn can_construct_line() {
+        let start = Point { x: 10, y: 25 };
+        let end = Point { x: 10, y: 25 };
+        let line = Line { start, end };
+    }
+}
diff --git a/examples/14-imports/output/rust/src/line.rs b/examples/14-imports/output/rust/src/line.rs
new file mode 100644
index 0000000..8561605
--- /dev/null
+++ b/examples/14-imports/output/rust/src/line.rs
@@ -0,0 +1,8 @@
+// Generated by hobgoblin.
+
+/// A straight line from one point to another.
+#[derive(Clone, Debug, Hash, PartialEq)]
+pub struct Line {
+    pub start: crate::point::Point,
+    pub end: crate::point::Point,
+}
diff --git a/examples/14-imports/output/rust/src/point.rs b/examples/14-imports/output/rust/src/point.rs
new file mode 100644
index 0000000..6d9b010
--- /dev/null
+++ b/examples/14-imports/output/rust/src/point.rs
@@ -0,0 +1,8 @@
+// Generated by hobgoblin.
+
+/// A 2D point.
+#[derive(Clone, Debug, Hash, PartialEq)]
+pub struct Point {
+    pub x: ::core::primitive::i32,
+    pub y: ::core::primitive::i32,
+}