Type check generic native types

7 files changed, 0 insertions, 47 deletions

diff --git a/examples/13-imports/output/rust/.gitignore b/examples/13-imports/output/rust/.gitignore
deleted file mode 100644
index ea8c4bf..0000000
--- a/examples/13-imports/output/rust/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/target
diff --git a/examples/13-imports/output/rust/Cargo.lock b/examples/13-imports/output/rust/Cargo.lock
deleted file mode 100644
index 9dc6e3e..0000000
--- a/examples/13-imports/output/rust/Cargo.lock
+++ /dev/null
@@ -1,7 +0,0 @@
-# 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/13-imports/output/rust/Cargo.toml b/examples/13-imports/output/rust/Cargo.toml
deleted file mode 100644
index 5d4c622..0000000
--- a/examples/13-imports/output/rust/Cargo.toml
+++ /dev/null
@@ -1,6 +0,0 @@
-[package]
-name = "example"
-version = "0.1.0"
-edition = "2024"
-
-[dependencies]
diff --git a/examples/13-imports/output/rust/rust-toolchain.toml b/examples/13-imports/output/rust/rust-toolchain.toml
deleted file mode 100644
index 4fedb95..0000000
--- a/examples/13-imports/output/rust/rust-toolchain.toml
+++ /dev/null
@@ -1,2 +0,0 @@
-[toolchain]
-channel = "1.96"
diff --git a/examples/13-imports/output/rust/src/lib.rs b/examples/13-imports/output/rust/src/lib.rs
deleted file mode 100644
index ffbcbf4..0000000
--- a/examples/13-imports/output/rust/src/lib.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-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/13-imports/output/rust/src/line.rs b/examples/13-imports/output/rust/src/line.rs
deleted file mode 100644
index 8561605..0000000
--- a/examples/13-imports/output/rust/src/line.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-// 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/13-imports/output/rust/src/point.rs b/examples/13-imports/output/rust/src/point.rs
deleted file mode 100644
index 6d9b010..0000000
--- a/examples/13-imports/output/rust/src/point.rs
+++ /dev/null
@@ -1,8 +0,0 @@
-// Generated by hobgoblin.
-
-/// A 2D point.
-#[derive(Clone, Debug, Hash, PartialEq)]
-pub struct Point {
-    pub x: ::core::primitive::i32,
-    pub y: ::core::primitive::i32,
-}