From 8455bb19b7d4235e667cab9112aa276557969dcc Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 5 Aug 2026 18:44:26 +0100
Subject: Type check generic native types

---
 examples/12-shared/src/point.hob | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 examples/12-shared/src/point.hob

(limited to 'examples/12-shared/src')

diff --git a/examples/12-shared/src/point.hob b/examples/12-shared/src/point.hob
new file mode 100644
index 0000000..7b9a8e6
--- /dev/null
+++ b/examples/12-shared/src/point.hob
@@ -0,0 +1,11 @@
+/// A straight line from one point to another.
+struct Line {
+    field start: Shared[Point];
+    field end: Shared[Point];
+}
+
+/// A 2D point.
+struct Point {
+    field x: Int32;
+    field y: Int32;
+}
-- 
cgit v1.2.3