Type check generic native types

3 files changed, 25 insertions, 0 deletions

diff --git a/examples/13-custom-code/output/rust/src/gen/shapes.rs b/examples/13-custom-code/output/rust/src/gen/shapes.rs
new file mode 100644
index 0000000..d1582ad
--- /dev/null
+++ b/examples/13-custom-code/output/rust/src/gen/shapes.rs
@@ -0,0 +1,6 @@
+// Generated by hobgoblin.
+
+#[derive(Clone, Debug, Hash, PartialEq)]
+pub struct Square {
+    pub width: ::core::primitive::i32,
+}
diff --git a/examples/13-custom-code/output/rust/src/lib.rs b/examples/13-custom-code/output/rust/src/lib.rs
new file mode 100644
index 0000000..1825d72
--- /dev/null
+++ b/examples/13-custom-code/output/rust/src/lib.rs
@@ -0,0 +1,12 @@
+mod shapes;
+
+#[cfg(test)]
+mod test {
+    use super::shapes::Square;
+
+    #[test]
+    fn can_use_custom_code() {
+        let square = Square { width: 10 };
+        assert_eq!(square.area(), 100);
+    }
+}
diff --git a/examples/13-custom-code/output/rust/src/shapes.rs b/examples/13-custom-code/output/rust/src/shapes.rs
new file mode 100644
index 0000000..f806bbb
--- /dev/null
+++ b/examples/13-custom-code/output/rust/src/shapes.rs
@@ -0,0 +1,7 @@
+include!("gen/shapes.rs");
+
+impl Square {
+    pub fn area(&self) -> i32 {
+        self.width * self.width
+    }
+}